Mercurial > urweb

comparison src/corify.sml @ 564:803b2f3bb86b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monad type class seems to be working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 10:27:58 -0500
parents ae03d09043c1
children 8998114760c1
comparison
equal deleted inserted replaced
563:44958d74c43f 564:803b2f3bb86b
924 val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc), 924 val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc),
925 ran), loc) 925 ran), loc)
926 val e = (L.EModProj (m, ms, s), loc) 926 val e = (L.EModProj (m, ms, s), loc)
927 927
928 val ef = (L.EModProj (basis, [], "bind"), loc) 928 val ef = (L.EModProj (basis, [], "bind"), loc)
929 val ef = (L.ECApp (ef, (L.CModProj (basis, [], "transaction"), loc)), loc)
929 val ef = (L.ECApp (ef, ran'), loc) 930 val ef = (L.ECApp (ef, ran'), loc)
930 val ef = (L.ECApp (ef, ran), loc) 931 val ef = (L.ECApp (ef, ran), loc)
932 val ef = (L.EApp (ef, (L.EModProj (basis, [], "transaction_monad"), loc)), loc)
931 val ef = (L.EApp (ef, (L.EApp (e, (L.ERel 0, loc)), loc)), loc) 933 val ef = (L.EApp (ef, (L.EApp (e, (L.ERel 0, loc)), loc)), loc)
932 934
933 val eat = (L.CApp ((L.CModProj (basis, [], "transaction"), loc), 935 val eat = (L.CApp ((L.CModProj (basis, [], "transaction"), loc),
934 ran), loc) 936 ran), loc)
935 val ea = (L.EAbs ("p", ran', eat, 937 val ea = (L.EAbs ("p", ran', eat,