Mercurial > urweb

comparison tests/functor.lac @ 47:ac4c0b4111ba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Give functor.lac a 'main'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 18:13:33 -0400
parents 44a1bc863f0f
children
comparison
equal deleted inserted replaced
46:44a1bc863f0f 47:ac4c0b4111ba
31 val three : int = SO.three 31 val three : int = SO.three
32 32
33 structure SS : S = S 33 structure SS : S = S
34 structure SSO = F (SS) 34 structure SSO = F (SS)
35 val three : SS.t = SSO.three 35 val three : SS.t = SSO.three
36
37 val main = three