regression/withtype4.sml

   1 (* withtype4.sml *)
   2
   3 (* Checks scoping rules of withtype *)
   4
   5 type u = real
   6
   7 datatype t = T of u * v
   8 withtype u = int
   9 and      v = u
  10
  11 val x = T(1, 1.0);
  12
  13 fun uEq (a: u, b: u) = a = b