rascal

rascal copied to clipboard

TPL files are never binary compatible due to references based on exact source locations

1

**Describe the bug** We have identified this before, but now I have an example stack trace that exemplifies the problem. Because tpl files depend on each other via the source...

jurgenvinju

Backward compatibility issues after releasing new standard library .tpl files

2

**Describe the bug** * There are new functions in ParseTree.rsc * This leads to a new ParseTree.tpl * This was released as `rascal-0.32.0` * Existing libraries like `typepal` itself have...

jurgenvinju

**Describe the bug** See https://github.com/usethesource/rascal-language-servers/issues/281 Such an unfound module should lead to a lucid error message (including perhaps the offending pathConfig), instead of a hard crash. The effect downstream is...

jurgenvinju

`"abc" + i` is Ambiguous ??

1

``` rascal>"abc" + i; org.rascalmpl.interpreter.asserts.Ambiguous: Ambiguous code (internal error), "abc" + i;(internal error) at $shell$(|main://$shell$|) org.rascalmpl.interpreter.asserts.Ambiguous: Ambiguous code (internal error), "abc" + i; at org.rascalmpl.parser.ASTBuilder.buildValue(ASTBuilder.java:149) at org.rascalmpl.parser.ASTBuilder.buildSort(ASTBuilder.java:131) at org.rascalmpl.parser.ASTBuilder.buildCommand(ASTBuilder.java:114) at...

DavyLandman

Closely related ambiguities around character class combinators

1

**Describe the bug** * the first ``` rascal>#![\"] || [\u0000] Unexpected failure during parsing of current command: Ambiguous code (internal error), #![\"] || [\u0000] org.rascalmpl.interpreter.asserts.Ambiguous: Ambiguous code (internal error), #![\"]...

jurgenvinju

Syntax holes that range over regular expressions (except lists) do not parse correctly

8

**Describe the bug** Reported by @stevenKlusener; thanks! Simplified as follows: ``` module SequenceMatch syntax To = "TO" ("a" ","); layout WS = [\ \t\n\r]*; bool main() { return (To) `TO...

jurgenvinju

Strange behaviour in concrete syntax patterns

3

Whilst working on the concrete syntax, I came across a visit statement not working as expected. I tried to match on a specific concrete syntax pattern, which failed. When adding...

BaukeBerg

**Describe the bug** Whenever a function is called where the types or the arity of the parameters do not match the parameters of the function, the last parameter is highlighted....

Hyper445

Type-checker does not support type-variables in regular symbols

1

**Describe the bug** and it must be said that the interpreter does not either (see next issue report)

jurgenvinju

Interpreter does not support sub-typing for regular symbols with type parameters

1

**Describe the bug** This is never called: ``` int size({&E &S}* l) = (0 | it + 1 | _ size((Pattern) `f(1,2,3)`.arguments) |prompt:///|(5,30,,): CallFailed([appl( regular(\iter-star-seps( sort("Pattern"), [ ``` This is...

jurgenvinju