HasCASL/test/Subtype5.hascasl.output

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-2.9: *** 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'