search

sweirich / trellys

Automatically exported from code.google.com/p/trellys
45 stars 6 forks source link

Add positivity check for datatypes #5

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1.  trellys -t bad_datatype.trellys
2.
3.

What is the expected output? What do you see instead?

$  trellys -t bad_datatype.trellys
Trellys main
Parsing File "bad_datatype.trellys"
TypeChecking
Checking module Bad
Type check successful

We expect the file to be ill typed, since the datatype uses negative
occurrences of itself.

Original issue reported on code.google.com by sheardOm...@gmail.com on 12 Nov 2010 at 11:40

GoogleCodeExporter commented 9 years ago

Original comment by garrin.kimmell on 2 Jan 2011 at 6:36

GoogleCodeExporter commented 9 years ago 
Fix commit in r72.

Original comment by garrin.kimmell on 17 Jan 2011 at 8:45