diff options
Diffstat (limited to 'lib/basis.urs')
| -rw-r--r-- | lib/basis.urs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index 672153b6..ed217e3a 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -257,13 +257,14 @@ con xhtml = xml [Html] con page = xhtml [] [] con xbody = xml [Body] [] [] con xtr = xml [Body, Tr] [] [] +con xform = xml [Body, LForm] [] [] (*** HTML details *) con html = [Html] con head = [Head] con body = [Body] -con lform = [Body, LForm] +con form = [Body, LForm] con tabl = [Body, Table] con tr = [Body, Tr] @@ -289,7 +290,7 @@ val li : bodyTag [] val a : bodyTag [Link = transaction page] val lform : ctx ::: {Unit} -> [Body] ~ ctx -> bind ::: {Type} - -> xml lform [] bind + -> xml form [] bind -> xml ([Body] ++ ctx) [] [] con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} => ctx ::: {Unit} -> [LForm] ~ ctx |