rascal
rascal copied to clipboard
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
**Describe the bug** The typechecker does not show errors when passing a constructor where a value of the type of the ADT would be expected. **To Reproduce** ``` data A...
**Describe the bug** ``` rascal>toDefaultRec({-276798823r185339102,-173549339r466608811,0}) java.lang.ClassCastException: class io.usethesource.vallang.impl.persistent.List cannot be cast to class io.usethesource.vallang.ISet (io.usethesource.vallang.impl.persistent.List and io.usethesource.vallang.ISet are in unnamed module of loader 'app') (internal error) at $shell$(|main://$shell$|) java.lang.ClassCastException: class...
**Describe the bug** Empty tuples exist in vallang, but not in Rascal. Either we fix that or we make sure the random generator does not produce empty tuples. We can...
**Is your feature request related to a problem? Please describe.** After compilating the Rascal project, the fresh Rascal jar is not tested. #2088 would have been caught, had we tried...
we can't type in a type for "tuple[]" _Originally posted by @jurgenvinju in https://github.com/usethesource/rascal/issues/2106#issuecomment-2555595589_
``` rascal>leesplank = "aap"("noot"); node: "aap"("noot") rascal>leesplank[0] = "mies"; java.lang.ClassCastException: class io.usethesource.vallang.impl.persistent.Node cannot be cast to class io.usethesource.vallang.IConstructor (io.usethesource.vallang.impl.persistent.Node and io.usethesource.vallang.IConstructor are in unnamed module of loader 'app') (internal error)...
The interpreter has code to compare two (parse) trees in `ConcreteSyntaxResult`. This code works on `IConstructor` instances and assumes they are `ITree` instances But `ITree` subclasses already have `equals` methods...
When using a qualified module name (_when its in a subfolder_) in a tuple type, and the module does exist, the type checker does not complain, but at import time...
**Describe the bug** ``` ((writeJSON)) ``` becomes ``` write J S ON ``` instead of ``` write JSON ``` The normal link generator interprets `CamelCase` as `Camel Case`, but it...
**Describe the bug** If we replace: ```rascal bool writeRead(type[&T] returnType, &T dt) { if (!jsonFeaturesSupported(dt)) { return true; } json = toJSON(dt); return fromJSON(returnType, json) == dt; } ``` by...