Mercurial > urweb

comparison src/monoize.sml @ 493:ae03d09043c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add CutMulti
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 19:20:37 -0500
parents 366676f7bc88
children 4154b4dc62c6
comparison
equal deleted inserted replaced
492:4a241d108a2c 493:ae03d09043c1
2012 in 2012 in
2013 ((L'.EField (e, monoName env x), loc), fm) 2013 ((L'.EField (e, monoName env x), loc), fm)
2014 end 2014 end
2015 | L.EConcat _ => poly () 2015 | L.EConcat _ => poly ()
2016 | L.ECut _ => poly () 2016 | L.ECut _ => poly ()
2017 | L.ECutMulti _ => poly ()
2017 | L.EFold _ => poly () 2018 | L.EFold _ => poly ()
2018 2019
2019 | L.ECase (e, pes, {disc, result}) => 2020 | L.ECase (e, pes, {disc, result}) =>
2020 let 2021 let
2021 val (e, fm) = monoExp (env, st, fm) e 2022 val (e, fm) = monoExp (env, st, fm) e