alms-0.6.0: examples/ex55-signatures-type-error.alms

(* Signature tests -- should print type error *)

module A : sig
  type `a t             (* qualifier is U *)
end = struct
  type `a t = `a        (* qualifier is A *)
end