diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-19 12:39:22 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-19 12:39:22 -0400 |
| commit | 8e98be7de2dd3db541994aae47aeb45756f60098 (patch) | |
| tree | bbc63e96871ef6513d974d96311deab9afd4e7a3 /tests | |
| parent | 371b414262cfb5888759c786e21c66f883ad13c0 (diff) | |
Corify removes modules
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/modnested.lac | 2 | ||||
| -rw-r--r-- | tests/modproj.lac | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/tests/modnested.lac b/tests/modnested.lac index c8a21b1d..d9ff576d 100644 --- a/tests/modnested.lac +++ b/tests/modnested.lac @@ -30,3 +30,5 @@ end structure S1 = S structure S2 : S = S structure S3 = S2 + +val main = S3.Q.y diff --git a/tests/modproj.lac b/tests/modproj.lac index 31d70d5b..a12e25a7 100644 --- a/tests/modproj.lac +++ b/tests/modproj.lac @@ -20,4 +20,4 @@ type t = S2.t val zero : int = S2.zero structure T = S1 -val zero : S1.t = T.zero +val main : S1.t = T.zero |