diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-29 11:20:34 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-29 11:20:34 -0400 |
commit | 83e134391f20103fb2ce74caebcefbc408ce9ee6 (patch) | |
tree | 309c58ca5d14d872dc666ea0b8f5d795ade1f431 /tests/sig_impl.lac | |
parent | c8f3f6b28d235722dc56a4df73e43e802bdbd67d (diff) |
More hardcore unification
Diffstat (limited to 'tests/sig_impl.lac')
-rw-r--r-- | tests/sig_impl.lac | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/tests/sig_impl.lac b/tests/sig_impl.lac index ccb57eb8..cdcd4ef7 100644 --- a/tests/sig_impl.lac +++ b/tests/sig_impl.lac @@ -25,3 +25,34 @@ end structure M : S = struct val x = fn v : int => {A = 0, B = "Hi"} end + +signature S = sig + con nm :: Name + con t :: Type + con r :: {Type} + val x : $([nm = t] ++ r) +end + +structure M : S = struct + val x = {A = 0, B = "Hi"} +end + +signature S = sig + con nm :: Name + con r :: {Type} + val x : $([nm = int] ++ r) +end + +structure M : S = struct + val x = {A = 0, B = "Hi"} +end + +signature S = sig + con nm :: Name + con r :: {Type} + val x : $([nm = string] ++ r) +end + +structure M : S = struct + val x = {A = 0, B = "Hi"} +end |