usethesource / rascal

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
http://www.rascal-mpl.org
Other
407 stars 77 forks source link

(common) keyword field projecten out of ADT produces dynamic instead of static type for the static type result. #2049

Closed jurgenvinju closed 1 month ago

jurgenvinju commented 1 month ago
rascal>data WorkspaceInfo(rel[int a, int b] defines = {}) = workspaceInfo();
ok
rascal>ws = workspaceInfo();
WorkspaceInfo: workspaceInfo()
rascal>ws.defines
set[void]: {}

That should have been rel[int a, int b]: {}

Downstream issues are that field projection operators will start throwing static errors.