Mercurial > urweb
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 |