Changeset 11877 for trunk/HasCASL/test/Items.hascasl

Timestamp:

03.07.2009 18:38:45 (5 months ago)

Author:

maeder

Message:

disallowed explicit pseudo type notation following := (assign)

Files:

• trunk/HasCASL/test/Items.hascasl (modified) (1 diff)

trunk/HasCASL/test/Items.hascasl

@@ -3 +3 @@
 var {a}: c -> d
 class Monad < Type -> Type
-type a : Monad := \ t . t -> t
+type (a : Monad) t := t -> t
 free type Term ::=  Var Variable | Lam Variable Term | App Term Term
 type WNet={(sys,i,o): T * T * T . i = o }