changeset 47:ac4c0b4111ba

Give functor.lac a 'main'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 18:13:33 -0400 (2008-06-19)
parents 44a1bc863f0f
children 0a5c312de09a
files tests/functor.lac
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
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