Mercurial > urweb

comparison src/monoize.sml @ 214:766b5475477f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corifying con-tuples
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 15:03:05 -0400
parents 5dbba661deab
children 5c50b17f5e4a
comparison
equal deleted inserted replaced
213:0343557355fc 214:766b5475477f
96 96
97 | L.CRecord _ => poly () 97 | L.CRecord _ => poly ()
98 | L.CConcat _ => poly () 98 | L.CConcat _ => poly ()
99 | L.CFold _ => poly () 99 | L.CFold _ => poly ()
100 | L.CUnit => poly () 100 | L.CUnit => poly ()
101
102 | L.CTuple _ => poly ()
103 | L.CProj _ => poly ()
101 end 104 end
102 in 105 in
103 mt env IM.empty 106 mt env IM.empty
104 end 107 end
105 108