diff options
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 |