Mercurial > urweb

comparison src/corify.sml @ 102:5f04adf47f48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Writing HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:02:54 -0400
parents f0f59e918cac
children 813e5a52063d
comparison
equal deleted inserted replaced
101:717b6f8d8505 102:5f04adf47f48
425 in 425 in
426 (rev ds, st) 426 (rev ds, st)
427 end 427 end
428 | _ => raise Fail "Non-const signature for FFI structure") 428 | _ => raise Fail "Non-const signature for FFI structure")
429 429
430 | L.DPage (c, e) => ([(L'.DPage (corifyCon st c, corifyExp st e), loc)], st) 430 | L.DPage (c, e) =>
431 let
432 val c = corifyCon st c
433 val e = corifyExp st e
434
435 val dom = (L'.TRecord c, loc)
436 val ran = (L'.TRecord (L'.CRecord ((L'.KType, loc), []), loc), loc)
437 val e = (L'.EAbs ("vs", dom, ran,
438 (L'.EWrite (L'.EApp (e, (L'.ERel 0, loc)), loc), loc)), loc)
439
440 in
441 ([(L'.DPage (c, e), loc)], st)
442 end
431 443
432 and corifyStr ((str, _), st) = 444 and corifyStr ((str, _), st) =
433 case str of 445 case str of
434 L.StrConst ds => 446 L.StrConst ds =>
435 let 447 let