regression/withtype3.sml

   1 (* withtype3.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 z = T (1, 1.0)
  12
  13 val x : v = 1.0
  14 val y : u = 1
  15
  16 fun uEq (a: u, b: u) = a = b