Mercurial > urweb
changeset 2153:39bd1d4007a9
Apply syntax sugar for 'class' attribute to <form> as well
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 08 Jun 2015 11:11:46 -0400 |
parents | 2d9e40e726f2 |
children | 9ea29c93246d |
files | src/urweb.grm tests/classy_form.ur |
diffstat | 2 files changed, 10 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/src/urweb.grm Wed Jun 03 09:55:37 2015 -0400 +++ b/src/urweb.grm Mon Jun 08 11:11:46 2015 -0400 @@ -1624,6 +1624,7 @@ val e = (EVar (["Basis"], "form", Infer), pos) val e = (EApp (e, case #2 tag of NONE => (EVar (["Basis"], "None", Infer), pos) + | SOME (EPrim (Prim.String (_, s)), _) => (EApp ((EVar (["Basis"], "Some", Infer), pos), parseClass s pos), pos) | SOME c => (EApp ((EVar (["Basis"], "Some", Infer), pos), c), pos)), pos) in case #3 tag of