regression/fail/eqtype.1.sml

   1 (* This should fail because v is an eqtype and s does not admit equality.
   2  * Hence, the side condition on rule 64 fails.
   3  *)
   4 signature T =
   5    sig
   6       type s
   7       structure V:
   8          sig
   9             datatype v = V
  10          end where type v = s
  11    end