Paul Klint

Incorrect result in nested list matching with backtracking

6

**Describe the bug** Bug in nested list matching with backtracking **To Reproduce** ``` value main() = [1, [*int _, int N, *int _], N] := [1, [10,20], 20]; ``` **Expected...

Unexpected behavior of anti-pattern (!) as argument of descendant pattern (/)

1

**Describe the bug** Matches of the form /!_P_ := _S_ have unexpected behavior. **To Reproduce** In the REPL: ``` rascal>/!4 := 3; bool: true /!4 := 4; bool: false /!4...

Type.rsc is out of sync with actual implementation of Rascal's type system

1

**Describe the bug** `Type.rsc` is out of sync with the actual implementation of Rascal's type system **Expected behavior** `Type.rsc` defines functions like `subtype`, `lub` and `glb` on Rascal types. These...

Implement + splices ("SplicePlus")

2

Splices of the form +x or +int x are not implemented in either the interpreter or the compiler. Issue #1930 already hints at this. This is a reminder to implement...

**Setting the stage** Module `vis::Graphs` contains a data declaration that goes like this (heavily abbreviated): ``` data CytoLayout(CytoLayoutName name = dagre(), bool animate=false) = cytolayout() | breadthfirstLayout(CytoLayoutName name = CytoLayoutName::breadthfirst(),...