rascal
rascal copied to clipboard
usethesource
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
It's hard to refer to resources in Rascal in a consistent manner. * For source projects the `project` scheme works, but that is different from after deployment. * For deployed...
* this feature now floats on the lib scheme which is not easy to interpret due to possible ambiguity * the same information is already encoded in the `dependencies` XML...
1. This would eliminate possible ambiguity at run-time between different jars of different versions of the same library 2. It would also make use of the `lib` scheme less attractive...
**Is your feature request related to a problem? Please describe.** Currently the watch implementation assumes no backend can support recursive watches. So instead it recurses the directory itself, and adds...
There are four locations in Rascal, where someone wrote "unkown" instead of "unknown": - src/org/rascalmpl/interpreter/utils/ReadEvalPrintDialogMessages.java (2x) - src/org/rascalmpl/library/lang/smtlib2/Compiler.rsc - src/org/rascalmpl/library/lang/smtlib2/command/response/Ast.rsc Can they be replaced by the correct spelling or will...
**Describe the bug** * Comment out the part that executes the GenerateSources module and generates compile(d) tests. * Then run `mvn test`: ``` Tests run: 0, Failures: 0, Errors: 0,...
``` private static AbstractAST callMakerMethod(String sort, String cons, Object actuals[], Object keywordActuals[]) { try { String name = sort + '$' + cons; Constructor constructor = astConstructors.get(name); if (constructor ==...
**Describe the bug** ``` Error: [ERROR] Tests run: 5798, Failures: 0, Errors: 1, Skipped: 198, Time elapsed: 452.947 s
**Is your feature request related to a problem? Please describe.** The current type-checker prints a lot of debugging information,e.g: ``` getTPLReadLoc: DOES NOT EXIST ``` (run `mvn clean compile` in...
**Describe the bug** Currently the type-checker provides information about possibly ambiguous declarations, where one constructor name is used in different declarations of abstract data-types: ``` module vis::X data X =...
Metadata
Owner
Metadata
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)