summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-08-19 11:17:39 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-08-19 11:17:39 -0400
commit3c976a5a66499a4b4d71c98e88f1cf2fe68c3009 (patch)
tree810f233362002dd1949f6528f583cfbe12cc1eba /lib
parentf2e41544cc72c59b78f34c24a9595e78516a2838 (diff)
<cselect> and <coption> type fixes (grandfathered into release)
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/basis.urs5
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 9d58ee66..30271ce9 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -1019,9 +1019,8 @@ val button : cformTag ([Value = string] ++ boxAttrs) []
val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs) []
-con cselect = [Cselect]
-val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect
-val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
+val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) [Cselect]
+val coption : unit -> tag [Value = string, Selected = bool] [Cselect, Body] [] [] []
val ctextarea : cformTag ([Value = string, Rows = int, Cols = int, Source = source string, Onchange = transaction unit,
Ontext = transaction unit] ++ boxAttrs) []