Mercurial > urweb

comparison src/reduce.sml @ 1534:89d7b1c3199a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove some unnecessary parens
author Adam Chlipala <adam@chlipala.net>
date Sun, 14 Aug 2011 09:29:04 -0400
parents 75d77fbe7c94
children a99b743a3087
comparison
equal deleted inserted replaced
1533:75d77fbe7c94 1534:89d7b1c3199a
469 end 469 end
470 | ECase (e, pes, cc as {disc, result = res as (TFun (_, c2), _)}) => 470 | ECase (e, pes, cc as {disc, result = res as (TFun (_, c2), _)}) =>
471 let 471 let
472 val pes' = map (fn (p, body) => 472 val pes' = map (fn (p, body) =>
473 let 473 let
474 val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ (deKnown env) 474 val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ deKnown env
475 val body' = exp env' (EApp (body, multiLiftExpInExp (patBinds p) e2), #2 body) 475 val body' = exp env' (EApp (body, multiLiftExpInExp (patBinds p) e2), #2 body)
476 in 476 in
477 (p, body') 477 (p, body')
478 end) pes 478 end) pes
479 479
505 end 505 end
506 | ECase (e, pes, cc as {disc, result = res as (TCFun (_, _, c'), _)}) => 506 | ECase (e, pes, cc as {disc, result = res as (TCFun (_, _, c'), _)}) =>
507 let 507 let
508 val pes' = map (fn (p, body) => 508 val pes' = map (fn (p, body) =>
509 let 509 let
510 val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ (deKnown env) 510 val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ deKnown env
511 511
512 val body' = exp env' (ECApp (body, c), #2 body) 512 val body' = exp env' (ECApp (body, c), #2 body)
513 in 513 in
514 (p, body') 514 (p, body')
515 end) pes 515 end) pes