rascal

rascal copied to clipboard

**Describe the bug** Type variables do not appear in TModel defs nor uses. **To Reproduce** ``` void typeVar() { println("=== Type variables ==="); tm = typeCheck("&T f(&T t) = t;");...

toinehartman

**Describe the bug** A clear and concise description of what the bug is. **To Reproduce** ``` void functionKeywordFormal() { println("== Keyword formals (functions) ==="); tm = typeCheck( "int f(int foo,...

toinehartman

Keyword arguments at function/constructor call sites do not appear as use in TModel

1

**Describe the bug** - [ ] Keyword arguments at function/constructor call sites do not appear as use in TModel. - [ ] Use/defs of keyword arguments at `d.foo` refer to...

toinehartman

**Describe the bug** The TModel contains information about definitions, uses, and types in a module. Generally, any name has a definition and uses of that name map to the definition....

toinehartman

**Describe the bug** Collection fields do not have defs or uses in TModel. **To Reproduce** ``` void collectionField() { println("== Collection fields ="); tm = typeCheck( "rel[int foo, str bar]...

toinehartman

**Describe the bug** Production definition names appear in uses in TModel. **To Reproduce** ``` void production() { println("===== Productions ===="); tm = typeCheck( "lexical L = \"l\"; 'syntax S =...

toinehartman

`fail` statement is acting as if controlled by an `if` predicate and not its governing pattern

8

Test `t1` is failing by returning false. The first assertion is not executed, but the assignment to `b` is. The second assertion is satisfied. The documentation for `fail` states the...

eh-adblockplus-org

Join is Cartesian product?

3

I'm confused (again?) about the semantics of the `join` operator. It computes a flat Cartesian product currently by the Rascal interpreter and it does not match with my expectation of...

jurgenvinju

no definition relation for recursive symbols

3

``` syntax E = E "+" E | "1"; ``` The uses of E have no relation in the TModel to the definition.

DavyLandman

**Describe the bug** Here the type of `block` is somehow unresolved, but you can't jump-to-def anymore either (for example to fix the problem).

jurgenvinju