diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-14 11:04:56 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-14 11:04:56 -0400 |
| commit | ee2f4ffdf2f283c33fb7bb488fa88a1d9f2cf6be (patch) | |
| tree | da75a35df02e170e6cc2cfd6f02433f82d8e3763 /src | |
| parent | 471d135b67086298642e9bd26e0e380a605b7068 (diff) | |
cselect.onchange
Diffstat (limited to 'src')
| -rw-r--r-- | src/elaborate.sml | 2 | ||||
| -rw-r--r-- | src/scriptcheck.sml | 26 |
2 files changed, 26 insertions, 2 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 36706b46..f91f83c7 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -3831,6 +3831,8 @@ fun elabFile basis topStr topSgn env file = 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 --git a/src/scriptcheck.sml b/src/scriptcheck.sml index 61676dc6..834ff1c7 100644 --- a/src/scriptcheck.sml +++ b/src/scriptcheck.sml @@ -43,9 +43,31 @@ val pullBasis = SS.addList (SS.empty, 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 = ["<script", - " onclick='"] +val scriptWords = "<script" + :: map (fn s => "on" ^ s ^ " ='") events val pushWords = ["rv("] |