comparison src/monoize.sml @ 1651:dfc854e478bb

Error messages about applying 'dynClass' to tags that don't like it
author Adam Chlipala <adam@chlipala.net>
date Sat, 31 Dec 2011 13:31:00 -0500
parents ca3b73a7b4d0
children b694f9153faa
comparison
equal deleted inserted replaced
1650:1bfd793e7eb8 1651:dfc854e478bb
3032 val (onload, onunload, attrs) = findOnload (attrs, NONE, NONE, []) 3032 val (onload, onunload, attrs) = findOnload (attrs, NONE, NONE, [])
3033 3033
3034 val (class, fm) = monoExp (env, st, fm) class 3034 val (class, fm) = monoExp (env, st, fm) class
3035 val (dynClass, fm) = monoExp (env, st, fm) dynClass 3035 val (dynClass, fm) = monoExp (env, st, fm) dynClass
3036 3036
3037 val dynamics = ["dyn", "ctextbox", "ccheckbox", "cselect", "coption", "ctextarea"]
3038
3039 val () = case #1 dynClass of
3040 L'.ENone _ => ()
3041 | _ => if List.exists (fn x => x = tag) dynamics then
3042 E.errorAt loc ("Dynamic tag <" ^ tag ^ "> cannot be combined with 'dynClass' attribute; an additional <span> may be useful")
3043 else
3044 ()
3045
3037 fun tagStart tag' = 3046 fun tagStart tag' =
3038 let 3047 let
3039 val t = (L'.TFfi ("Basis", "string"), loc) 3048 val t = (L'.TFfi ("Basis", "string"), loc)
3040 val s = (L'.EPrim (Prim.String (String.concat ["<", tag'])), loc) 3049 val s = (L'.EPrim (Prim.String (String.concat ["<", tag'])), loc)
3041 3050