regression/withtype2.sml

   1 (* withtype2.sml *)
   2
   3 (* Checks scoping rules of withtype *)
   4
   5 type u = real
   6
   7 datatype t = A of v | B of u
   8 withtype u = int
   9 and v = u
  10
  11 val a = A 1.0
  12 val b = B 1
  13
  14 val x : v = 1.0
  15 val y : u = 1
  16
  17 fun uEq (a: u, b: u) = a = b