diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-26 09:09:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 09:09:30 -0400 |
| commit | b03ac1efc8ac5197688a97d1b8b27106654d504d (patch) | |
| tree | 7067eb995bce18c14b46e7e9190f1964df086570 /tests | |
| parent | 276b6129962c7ed8d742b70e9f941db0ebd8a5fa (diff) | |
Proper subsignaturing for sub-structures
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/subs_str.lac | 5 | ||||
| -rw-r--r-- | tests/subs_str.lig | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/tests/subs_str.lac b/tests/subs_str.lac new file mode 100644 index 00000000..fcdc6991 --- /dev/null +++ b/tests/subs_str.lac @@ -0,0 +1,5 @@ +structure M = struct + type t = int +end + +val x = 0 diff --git a/tests/subs_str.lig b/tests/subs_str.lig new file mode 100644 index 00000000..11ab2e2d --- /dev/null +++ b/tests/subs_str.lig @@ -0,0 +1,5 @@ +structure M : sig + type t +end + +val x : M.t |