I hereby claim:
- I am 602p on github.
- I am 602p (https://keybase.io/602p) on keybase.
- I have a public key ASBR9rX55_VN4fdskGOq9yhh9ys7l9RKuLxBXMpH91vCQAo
To claim this, I am signing this object:
602p
/ copper.patch
Last active
May 30, 2019 15:47
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java b/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| index a8b2fa0..fbf2c87 100644 | |
| --- a/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| +++ b/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| @@ -286,6 +286,17 @@ public abstract class SingleDFAEngine<ROOT,EXCEPT extends Exception> implements | |
| return finalMatches; | |
| } | |
| } | |
| + else if(!finalMatches.terms.get(disambiguatedTerm)) | |
| + { |
602p
/ gist:fde78c879498c5a82d2c6cf605b234ed
Created
May 30, 2019 15:47
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java b/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| index a8b2fa0..fbf2c87 100644 | |
| --- a/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| +++ b/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| @@ -286,6 +286,17 @@ public abstract class SingleDFAEngine<ROOT,EXCEPT extends Exception> implements | |
| return finalMatches; | |
| } | |
| } | |
| + else if(!finalMatches.terms.get(disambiguatedTerm)) | |
| + { |
602p
/ example.sv
Created
May 29, 2019 18:24
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| grammar test ; | |
| terminal Id_t /a*/; | |
| ignore terminal WhiteSpace_t /[\t\r\n\ ]+/ ; | |
| nonterminal Root_c; | |
| synthesized attribute pp :: String occurs on Root_c; | |
| concrete production root_id_c |
602p
/ patch.diff
Created
May 29, 2019 17:59
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java b/src/edu.umn.cs.melt.coppe | |
| r.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| index a8b2fa0..5af827d 100644 | |
| --- a/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| +++ b/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| @@ -263,6 +263,16 @@ public abstract class SingleDFAEngine<ROOT,EXCEPT extends Exception> implements | |
| { | |
| functionalDisambiguationUsed = true; | |
| int disambiguatedTerm = runDisambiguationAction(currentState.pos,finalMatches); | |
| + if(!finalMatches.terms.get(disambiguatedTerm)) |
602p
/ gist:9d7b8a4c64704982b8f29cfe7d5e0749
Created
May 29, 2019 17:59
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java b/src/edu.umn.cs.melt.coppe | |
| r.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| index a8b2fa0..5af827d 100644 | |
| --- a/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| +++ b/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/engines/single/SingleDFAEngine.java | |
| @@ -263,6 +263,16 @@ public abstract class SingleDFAEngine<ROOT,EXCEPT extends Exception> implements | |
| { | |
| functionalDisambiguationUsed = true; | |
| int disambiguatedTerm = runDisambiguationAction(currentState.pos,finalMatches); | |
| + if(!finalMatches.terms.get(disambiguatedTerm)) |
602p
/ gist:3403f64fe9b264018a04d694edf049f8
Created
May 29, 2019 17:55
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| pluckissuesא$ ./silver-compile | |
| Found test | |
| [/home/louis/School/melt/pluck-issues/silver/generated/src/test/Silver.svi] | |
| Found core | |
| [/home/louis/School/melt/pluck-issues/silver/generated/src/core/Silver.svi] | |
| Found core:monad | |
| [/home/louis/School/melt/pluck-issues/silver/generated/src/core/monad/Silver.svi] | |
| Found core:reflect | |
| pluckissuesא$ cat test/main.sv | |
| grammar test ; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| grammar test ; | |
| terminal Id_t /[a-zA-Z][a-zA-Z0-9]*/; | |
| terminal IntLit_t /[0-9]+/; | |
| terminal If_t /if/; | |
| ignore terminal WhiteSpace_t /[\t\r\n\ ]+/ ; | |
| disambiguate Id_t, If_t { | |
| pluck IntLit_t; | |
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| scores=[ | |
| 150/150, | |
| 100/100, | |
| 124/124, | |
| 125/129, | |
| 87/100, | |
| 110/110, | |
| 73/75 | |
| ] |
602p
/ keybase.md
Created
April 26, 2018 00:10
602p
/ gist:0cdd2b9820e9cf831cd486f2a13e1acc
Created
April 30, 2017 19:34
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Running transformer pass 'apply_includes' | |
| Running transformer pass 'rewrite_namespaces' | |
| Running transformer pass 'elide_groupings' | |
| Running transformer pass 'fold_constants' | |
| Running transformer pass 'elide_branches' | |
| Running transformer pass 'strip_seps' | |
| Running transformer pass 'predefine_types' | |
| Running transformer pass 'define_types' | |
| FileNode: (N_Statements=28) |
NewerOlder