regression/5.sml

   1 (* Verifies that signature constraints change status *)
   2 structure S:
   3    sig
   4       val E: exn
   5    end =
   6    struct
   7       exception E
   8    end
   9
  10 local open S
  11 in val E = E
  12 end
  13
  14 val e = E
  15
  16 structure S:
  17    sig
  18       type t
  19       val A: t
  20    end =
  21    struct
  22       datatype t = A
  23    end
  24
  25 local
  26    open S
  27 in
  28    val A = A
  29 end
  30
  31 val a = A
  32