Issues · usethesource/rascal · GitHub

Labels Milestones New issue

Erroneous usage of undefined type parameters isn't consistently reported

#2791

· sungshik opened

on Jun 1, 2026

Upper bounds of type parameters in aliases aren't checked

#2790

· sungshik opened

on Jun 1, 2026

Type parameters with themselves as upper bound aren't checked in uses

#2789

· sungshik opened

on Jun 1, 2026

Type parameters without upper bound aren't checked in assignments

#2788

· sungshik opened

on Jun 1, 2026

Variables defined in nested scopes aren't always reported as unused

#2784

· sungshik opened

on May 25, 2026

Typechecker doesn't report error for self-referential variable definition

#2783

· sungshik opened

on May 25, 2026

Unexpected "Multiple declarations" error when `c1` and `c2` declare the same variable in `c1 && c2`

#2782

· sungshik opened

on May 25, 2026

Inconsistency of explicit pattern variable declarations with the same name between for-statements and comprehensions

#2778

· sungshik opened

on May 22, 2026

Explicitly-declared pattern variable causes type error at implicitly-declared pattern variable with same name

#2777

· sungshik opened

on May 22, 2026

compiled code for function addition seems to ignore default function semantics

#2774

· jurgenvinju opened

on May 18, 2026

Debugger : Step In / Step Out on nested function call

#2760

· jbdoderlein opened

on Apr 17, 2026

Java implemented functions don't pattern-based dispatch (interpreter)

#2758

· tvdstorm opened

on Apr 15, 2026