Mercurial > urweb
diff src/monoize.sml @ 1833:be0c4e2e488a
Allow any FFI module to declare new HTML tags
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 28 Nov 2012 16:56:45 -0500 |
| parents | 373e2c3f03b2 |
| children | a8b273f1f7e3 |
line wrap: on
line diff
--- a/src/monoize.sml Wed Nov 28 11:45:46 2012 -0500 +++ b/src/monoize.sml Wed Nov 28 16:56:45 2012 -0500 @@ -3203,7 +3203,7 @@ let fun getTag' (e, _) = case e of - L.EFfi ("Basis", tag) => (tag, []) + L.EFfi (_, tag) => (tag, []) | L.ECApp (e, t) => let val (tag, ts) = getTag' e in @@ -3215,7 +3215,7 @@ fun getTag (e, _) = case e of - L.EFfiApp ("Basis", tag, [((L.ERecord [], _), _)]) => (tag, []) + L.EFfiApp (_, tag, [((L.ERecord [], _), _)]) => (tag, []) | L.EApp (e, (L.ERecord [], _)) => getTag' e | _ => (E.errorAt loc "Non-constant XML tag"; Print.eprefaces' [("Expression", CorePrint.p_exp env tag)];