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

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.output (modified) (1 diff)

trunk/HasCASL/test/Items.hascasl.output

@@ -3 +3 @@
 var   {a} : c -> d
 class Monad < Type -> Type
-type  a 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}