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

Revision 11877, 204 bytes (checked in by maeder, 5 months ago)

disallowed explicit pseudo type notation following := (assign)

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