root/trunk/HasCASL/test/ContraVariance.hascasl @ 8098

Revision 8098, 227 bytes (checked in by 2maeder, 2 years ago)

ignore variance when none is expected

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
Line 
1type p := \ (a : +Type) . Pred (Pred a)  %% should be correct
2type p := \ (a : +Type) . Pred a         %% should be wrong
3type m := \ (b : -Type) . b              %%
4type m := \ (b : +Type) . b              %% both contradict
Note: See TracBrowser for help on using the browser.