Remove call to error in saw-script type checker.

Fixes #698.
GaloisInc · May 17, 2020 · 5de5be2 · 5de5be2
1 parent 2d1f37b
commit 5de5be2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/SAWScript/MGU.hs b/src/SAWScript/MGU.hs
@@ -625,7 +625,7 @@ inferRecDecls ds =
                  $ sequence [ withExprPos pos $ inferE (patternLName p, e)
                             | Decl pos p _ e <- ds
                             ]
-     sequence_ $ zipWith (constrainTypeWithPattern (error "FIXME")) ts pats'
+     sequence_ $ zipWith (constrainTypeWithPattern (patternLName (head pats))) ts pats'
      ess <- generalize es ts
      return [ Decl pos p (Just s) e1
             | (pos, p, (e1, s)) <- zip3 (map getPos ds) pats ess