# HG changeset patch # User Adam Chlipala # Date 1242313496 14400 # Node ID 9330ba3a279993f7b010fb7300dfbb4755d35eca # Parent 83875a9eb9b81f018109c4f55a32ad1701a50470 cselect.onchange diff -r 83875a9eb9b8 -r 9330ba3a2799 lib/ur/basis.urs --- a/lib/ur/basis.urs Thu May 14 10:31:11 2009 -0400 +++ b/lib/ur/basis.urs Thu May 14 11:04:56 2009 -0400 @@ -632,7 +632,8 @@ val button : cformTag [Value = string, Onclick = transaction unit] [] con cselect = [Cselect] -val cselect : cformTag [Source = source string] cselect +val cselect : cformTag [Source = source string, + Onchange = transaction unit] cselect val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] [] (*** Tables *) diff -r 83875a9eb9b8 -r 9330ba3a2799 src/elaborate.sml --- a/src/elaborate.sml Thu May 14 10:31:11 2009 -0400 +++ b/src/elaborate.sml Thu May 14 11:04:56 2009 -0400 @@ -3831,6 +3831,8 @@ else app (fn f => f ()) (!checks); + (*preface ("file", p_file env' file);*) + (L'.DFfiStr ("Basis", basis_n, sgn), ErrorMsg.dummySpan) :: ds @ (L'.DStr ("Top", top_n, topSgn, topStr), ErrorMsg.dummySpan) diff -r 83875a9eb9b8 -r 9330ba3a2799 src/scriptcheck.sml --- a/src/scriptcheck.sml Thu May 14 10:31:11 2009 -0400 +++ b/src/scriptcheck.sml Thu May 14 11:04:56 2009 -0400 @@ -43,9 +43,31 @@ val pushBasis = SS.addList (SS.empty, ["new_channel", "self"]) + +val events = ["abort", + "blur", + "change", + "click", + "dblclick", + "error", + "focus", + "keydown", + "keypress", + "keyup", + "load", + "mousedown", + "mousemove", + "mouseout", + "mouseover", + "mouseup", + "reset", + "resize", + "select", + "submit", + "unload"] -val scriptWords = [" - + Wilbur Walbur