Mercurial > urweb

comparison src/cjrize.sml @ 574:ac947e2f29ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Trivial use of a source
author Adam Chlipala <adamc@hcoop.net>
date Sun, 21 Dec 2008 12:56:39 -0500
parents 57018f21cd5c
children 3d56940120b1
comparison
equal deleted inserted replaced
572:57018f21cd5c 574:ac947e2f29ff
422 end 422 end
423 423
424 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains" 424 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains"
425 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains" 425 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains"
426 | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains" 426 | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains"
427 | L.ESignalSource _ => raise Fail "Cjrize: ESignalSource remains"
427 428
428 fun cifyDecl ((d, loc), sm) = 429 fun cifyDecl ((d, loc), sm) =
429 case d of 430 case d of
430 L.DDatatype (x, n, xncs) => 431 L.DDatatype (x, n, xncs) =>
431 let 432 let