diff options
author | 2008-06-12 17:16:20 -0400 | |
---|---|---|
committer | 2008-06-12 17:16:20 -0400 | |
commit | 2355b20a32d8ed4924cee84a44831061b2b49b49 (patch) | |
tree | 7aa350f9a882036f84b87db938ee217663af875b /tests/modules.lac | |
parent | 230753c968d4615b8e875940c4147d79d04d1ad3 (diff) |
Simple signature matching
Diffstat (limited to 'tests/modules.lac')
-rw-r--r-- | tests/modules.lac | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/tests/modules.lac b/tests/modules.lac new file mode 100644 index 00000000..9d5fbc90 --- /dev/null +++ b/tests/modules.lac @@ -0,0 +1,28 @@ +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*) |