Mercurial > urweb

comparison src/reduce_local.sml @ 623:588b9d16b00a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Feb 2009 16:10:25 -0500
parents 56aaa1941dad
children 230654093b51
comparison
equal deleted inserted replaced
622:d64533157f40 623:588b9d16b00a
105 105
106 | EConcat (e1, c1, e2, c2) => (EConcat (exp env e1, c1, exp env e2, c2), loc) 106 | EConcat (e1, c1, e2, c2) => (EConcat (exp env e1, c1, exp env e2, c2), loc)
107 | ECut (e, c, others) => (ECut (exp env e, c, others), loc) 107 | ECut (e, c, others) => (ECut (exp env e, c, others), loc)
108 | ECutMulti (e, c, others) => (ECutMulti (exp env e, c, others), loc) 108 | ECutMulti (e, c, others) => (ECutMulti (exp env e, c, others), loc)
109 109
110 | EFold _ => all
111
112 | ECase (e, pes, others) => 110 | ECase (e, pes, others) =>
113 let 111 let
114 fun patBinds (p, _) = 112 fun patBinds (p, _) =
115 case p of 113 case p of
116 PWild => 0 114 PWild => 0