Mercurial > urweb

comparison src/reduce.sml @ 823:669ac5e9a69e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demo compiles with pattern-matching-fu
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 10:35:25 -0400
parents 61a1f5c5ae2c
children ed06e25c70ef
comparison
equal deleted inserted replaced
822:d4e811beb8eb 823:669ac5e9a69e
388 else 388 else
389 default () 389 default ()
390 | _ => default () 390 | _ => default ()
391 end 391 end
392 392
393 | ECase (_, [((PRecord [], _), e)], _) => exp env e
394 | ECase (_, [((PWild, _), e)], _) => exp env e
395
393 | ECase (e, pes, {disc, result}) => 396 | ECase (e, pes, {disc, result}) =>
394 let 397 let
395 fun patBinds (p, _) = 398 fun patBinds (p, _) =
396 case p of 399 case p of
397 PWild => 0 400 PWild => 0