comparison src/monoize.sml @ 445:dfc8c991abd0

Replace 'with' with '++'
author Adam Chlipala <adamc@hcoop.net>
date Fri, 31 Oct 2008 09:30:22 -0400
parents c5335613f31e
children 07f6576aeb0a
comparison
equal deleted inserted replaced
444:f45f23ae20ed 445:dfc8c991abd0
1918 let 1918 let
1919 val (e, fm) = monoExp (env, st, fm) e 1919 val (e, fm) = monoExp (env, st, fm) e
1920 in 1920 in
1921 ((L'.EField (e, monoName env x), loc), fm) 1921 ((L'.EField (e, monoName env x), loc), fm)
1922 end 1922 end
1923 | L.EWith _ => poly () 1923 | L.EConcat _ => poly ()
1924 | L.ECut _ => poly () 1924 | L.ECut _ => poly ()
1925 | L.EFold _ => poly () 1925 | L.EFold _ => poly ()
1926 1926
1927 | L.ECase (e, pes, {disc, result}) => 1927 | L.ECase (e, pes, {disc, result}) =>
1928 let 1928 let