diff tests/functor.lac @ 47:ac4c0b4111ba

Give functor.lac a 'main'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 18:13:33 -0400
parents 44a1bc863f0f
children
line wrap: on
line diff
--- a/tests/functor.lac	Thu Jun 19 17:55:36 2008 -0400
+++ b/tests/functor.lac	Thu Jun 19 18:13:33 2008 -0400
@@ -33,3 +33,5 @@
 structure SS : S = S
 structure SSO = F (SS)
 val three : SS.t = SSO.three
+
+val main = three