Mercurial > urweb

comparison src/elaborate.sml @ 601:7c3c21eb5b4c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial experiments with nested <dyn>
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Jan 2009 15:17:11 -0500
parents 803b2f3bb86b
children 8998114760c1
comparison
equal deleted inserted replaced
600:d1cce194180d 601:7c3c21eb5b4c
3001 (SS.empty, env, []) xcs 3001 (SS.empty, env, []) xcs
3002 3002
3003 val env = E.pushDatatype env n xs xcs 3003 val env = E.pushDatatype env n xs xcs
3004 val d' = (L'.DDatatype (x, n, xs, xcs), loc) 3004 val d' = (L'.DDatatype (x, n, xs, xcs), loc)
3005 in 3005 in
3006 if positive then 3006 (*if positive then
3007 () 3007 ()
3008 else 3008 else
3009 declError env (Nonpositive d'); 3009 declError env (Nonpositive d');*)
3010 3010
3011 ([d'], (env, denv, gs' @ gs)) 3011 ([d'], (env, denv, gs' @ gs))
3012 end 3012 end
3013 3013
3014 | L.DDatatypeImp (_, [], _) => raise Fail "Empty DDatatypeImp" 3014 | L.DDatatypeImp (_, [], _) => raise Fail "Empty DDatatypeImp"