lc: Add Constraint check for unified terms. Few fixes for typeclasses. Add typecheck deps for typeclasses. Some tests.

Browse Source

Some Constraints checks are not covered by 'subsumed', so, need top rule for discharging those.
Fix Constraint set production in 'types', use new set for each type var. Fix 'instance' constraint.

...

This commit is contained in:

grigorii.kirgizov 2019-01-21 13:21:06 +03:00

parent 20c9e0aae8

commit ecc6c4aed2

2 changed files with 1741 additions and 254 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

776

samples/lambdacalc/languages/samples.lambdacalc/models/types.mps

View File

File diff suppressed because it is too large Load Diff

1219

samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps

View File

File diff suppressed because it is too large Load Diff