regression/withtype.sml

   1 (* withtype.sml *)
   2
   3 (* Checks scoping rules of withtype *)
   4
   5 type u = int
   6
   7 datatype t = T of u * v
   8 withtype u = bool
   9 and      v = u
  10
  11 val x = T(true, 6);