Mercurial > urweb

comparison src/expl_util.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 8998114760c1
children 354800878b4d
comparison
equal deleted inserted replaced
622:d64533157f40 623:588b9d16b00a
309 S.bind2 (mfc ctx c, 309 S.bind2 (mfc ctx c,
310 fn c' => 310 fn c' =>
311 S.map2 (mfc ctx rest, 311 S.map2 (mfc ctx rest,
312 fn rest' => 312 fn rest' =>
313 (ECutMulti (e', c', {rest = rest'}), loc)))) 313 (ECutMulti (e', c', {rest = rest'}), loc))))
314 | EFold k =>
315 S.map2 (mfk k,
316 fn k' =>
317 (EFold k', loc))
318 314
319 | EWrite e => 315 | EWrite e =>
320 S.map2 (mfe ctx e, 316 S.map2 (mfe ctx e,
321 fn e' => 317 fn e' =>
322 (EWrite e', loc)) 318 (EWrite e', loc))