diff options
author | 2008-08-31 08:32:18 -0400 | |
---|---|---|
committer | 2008-08-31 08:32:18 -0400 | |
commit | 447b60afccc89ef18d8f92a260dd1fcdf735898e (patch) | |
tree | 93d1ffca9832084286525896afc4c17eaf5d23f4 /tests/modules.lac | |
parent | 508290e29047e068b9db4b02485fefd9e3ced81c (diff) |
Laconic -> Ur
Diffstat (limited to 'tests/modules.lac')
-rw-r--r-- | tests/modules.lac | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/tests/modules.lac b/tests/modules.lac deleted file mode 100644 index 5089f17b..00000000 --- a/tests/modules.lac +++ /dev/null @@ -1,75 +0,0 @@ -signature A = sig end -structure A = struct end -structure Ao : A = A - - -structure B = struct - type t = int -end -structure Bo0 : sig end = B -structure BoA : A = B - -signature B1 = sig - type t -end -structure Bo1 : B1 = B -(*structure AoB1 : B1 = A*) - -signature B2 = sig - type t = int -end -structure Bo2 : B2 = B - - -structure C = struct - type t = float -end -structure CoB1 : B1 = C -(*structure CoB2 : B2 = C*) - - -signature NAT = sig - type t - val zero : t -end -structure Nat : NAT = struct - type t = int - val zero = 0 -end -(*structure NotNat : NAT = struct - type t = int - val zero = 0.0 -end*) -(*structure NotNat : NAT = struct - val zero = 0 -end*) - - -signature WOBBLE = sig - type t - type s -end -structure Wobble1 = struct - type t = int - type s = float -end -structure Wobble2 = struct - type s = int - type t = float -end - - -structure N = struct - type t = string - structure N2 = struct - type t = int - val zero = 0 - end - val x = "Hi" -end -signature N = sig - structure N2 : NAT - type t - val x : t -end -structure No : N = N |