summaryrefslogtreecommitdiff
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
commit277913f2ae39e159b1a639fe1d869fd00ce1a2c7 (patch)
tree810f233362002dd1949f6528f583cfbe12cc1eba
parent2bd5faedfe7464c9f4cc6bd36084d487c7c86b2a (diff)
<cselect> and <coption> type fixes (grandfathered into release)
-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) []