From 6d9522c001574db729262073cadb96c75f0f7c44 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@csail.mit.edu>
Date: Wed, 12 Jul 2017 16:23:51 -0400
Subject: Allow inexhaustive patterns for lefthand sides of top-level 'val'
 declarations

---
 src/settings.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/settings.sml')

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
-- 
cgit v1.2.3