diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2017-07-12 16:23:51 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-07-12 16:23:51 -0400 |
commit | 6d9522c001574db729262073cadb96c75f0f7c44 (patch) | |
tree | 2f3cb126d919b552b7cabefbc88be1abcbd45689 /src/settings.sml | |
parent | 979ad6b8246e50d5c1f685afd0bd41ec0298696b (diff) |
Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml index 7ae4bf85..a3263c06 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -395,7 +395,7 @@ val jsFuncsBase = basisM [("alert", "alert"), ("htmlifySpecialChar", "htmlifySpecialChar"), ("chr", "chr")] val jsFuncs = ref jsFuncsBase -val jsModule = ref NONE +val jsModule = ref (NONE : string option) fun setJsModule m = jsModule := m fun jsFuncName f = case !jsModule of |