diff options
Diffstat (limited to 'tests/constraint.lac')
-rw-r--r-- | tests/constraint.lac | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/constraint.lac b/tests/constraint.lac index 54c77093..e350a4ea 100644 --- a/tests/constraint.lac +++ b/tests/constraint.lac @@ -27,3 +27,19 @@ structure M' = struct con r' = M.r con combo = [nm' = int] ++ r' end + + +signature S' = sig + con r1 :: {Type} + con r2 :: {Type} + + constraint r1 ~ r2 +end + +functor F (M : S) : S' = struct + con r1 = [M.nm = int] + con r2 = M.r + + open constraints M + constraint r1 ~ r2 +end |