search

pietervdvn / Lang

Yet another programming language
1 stars 1 forks source link

Propagate indirect type requirements #81

Closed pietervdvn closed 8 years ago

pietervdvn commented 9 years ago

Problem cases: Forgotten (a:Eq) in stt for Y `cat Dummy

True

cat Eq

True

cat X (a:Eq)

True

cat Y b a is X a

True

cat Z a

True

instance Z is Y Dummy`

and (v1:Eq) is missing image

pietervdvn commented 8 years ago

Fixed in semantal2