Mercurial > urweb

comparison src/cjrize.sml @ 566:a152905c3c3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Displayed an alert dialog
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 12:38:11 -0500
parents bb27c7efcd90
children 55fc747a67dc
comparison
equal deleted inserted replaced
565:74800be65591 566:a152905c3c3b
418 val (t, sm) = cifyTyp (t, sm) 418 val (t, sm) = cifyTyp (t, sm)
419 in 419 in
420 ((L'.EUnurlify (e, t), loc), sm) 420 ((L'.EUnurlify (e, t), loc), sm)
421 end 421 end
422 422
423 | L.EJavaScript _ => raise Fail "EJavaScript remains"
424
423 fun cifyDecl ((d, loc), sm) = 425 fun cifyDecl ((d, loc), sm) =
424 case d of 426 case d of
425 L.DDatatype (x, n, xncs) => 427 L.DDatatype (x, n, xncs) =>
426 let 428 let
427 val dk = ElabUtil.classifyDatatype xncs 429 val dk = ElabUtil.classifyDatatype xncs