# HG changeset patch # User Adam Chlipala # Date 1213913613 14400 # Node ID ac4c0b4111babfee251c47c19369bff4e58bfe56 # Parent 44a1bc863f0fb125878669ef40cb5425d4cfc935 Give functor.lac a 'main' diff -r 44a1bc863f0f -r ac4c0b4111ba tests/functor.lac --- 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