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

Revision 11877, 87 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 
1class x = y = z
2var <
3class a < Type = {x . x < t}
4type t (s,r) := s -> r
5type n (r,s)
Note: See TracBrowser for help on using the browser.