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/source.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index 9971ca93..2d8c1ed3 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -157,7 +157,7 @@ datatype decl' =
          DCon of string * kind option * con
        | DDatatype of (string * string list * (string * con option) list) list
        | DDatatypeImp of string * string list * string
-       | DVal of string * con option * exp
+       | DVal of pat * exp
        | DValRec of (string * con option * exp) list
        | DSgn of string * sgn
        | DStr of string * sgn option * Time.time option * str * bool (* did this module come from the '-root' directive? *)
-- 
cgit v1.2.3