YellowGrass

TS

Type system language

http://metaborg.org/ts/

Popular Open Issues

26
Feb '15
Alternate patterns in TS (1)improvement
1
Mar '14
Don't show cascaded type errors (1)improvement usability
12
Jun '14
New keywords `then` and `else` to improve readability (1)improvement
6
Mar '14
Separate non related checks always depend on each other (1)improvement usability
20
Sep '14
Multiple custom relation definitions always fail (2)error

Recent Open Issues

31
Apr '16
arrity in Relationserror
30
Jun '15
binding the same name, and using them, in different branches of an or will generate faulty Strategoerror
29
May '15
Add documentation for type functions and type relations on metaborg.orgimprovement
28
May '15
How can I extend type equality?question
27
May '15
Comparing list of types in always failing taskerror
26
Feb '15
Alternate patterns in TS (1)improvement
25
Feb '15
recursive TS functionsquestion
24
Jan '15
TS Union typesquestion
23
Jan '15
TS relations lookup ordering undeterministicerror
22
Jan '15
TS relations for multiple super typesquestion

Tags

error question improvement usability feature

Project Members

Gabriël Konat, Eelco Visser, Guido, Guido Wachsmuth, Daco Harkes

Project Followers

D. Pelsmaeker, Oskar van Rest