diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-19 18:13:33 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-19 18:13:33 -0400 |
commit | 79223408d7b3ce19f0463142461d84a1ad09d785 (patch) | |
tree | a6873ccfce0270703e566ea63caf983fd0b0cbb3 | |
parent | 1b40fa5b67b61def339a082bfc325ce11c8f5d19 (diff) |
Give functor.lac a 'main'
-rw-r--r-- | tests/functor.lac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/functor.lac b/tests/functor.lac index d126c029..5adfb597 100644 --- a/tests/functor.lac +++ b/tests/functor.lac @@ -33,3 +33,5 @@ val three : int = SO.three structure SS : S = S structure SSO = F (SS) val three : SS.t = SSO.three + +val main = three |