HasCASL/test/Subtype5.hascasl.output

	Subtype5.hascasl.output revision 3aa7e4492a7e28b37d1a0b23f5bfe2109f87d4d6
var   a : Type
type  Ref a < Loc
type  Loc := Ref a
op    coerce : Ref a -> Loc
types
Loc : Type;
Ref : Type -> Type
type
Loc := Ref a
var
a : Type %(var_1)%
op coerce : forall a : Type . Ref a -> Loc
1.5: ### Hint: is type variable 'a'
2.11: ### Hint: rebound type variable 'a'
2.7:
*** Error: incompatible kind of: Ref
             expected: Type -> Type
                found: Type
3.13-3.17:
*** Error: unbound type variable(s)
             a in
           'Ref a'
3.6-3.8: ### Hint: redeclared type 'Loc'