Add a BlackBox for 'undefined', 'patError', and 'irrefPatError'

clash-lang · May 4, 2014 · 8aba906 · 8aba906
1 parent 9f9ca47
commit 8aba906
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 0 deletions.
diff --git a/primitives/control.exception.base.json b/primitives/control.exception.base.json
@@ -0,0 +1,11 @@
+[ { "BlackBox" :
+    { "name"      : "Control.Exception.Base.patError"
+    , "templateE" : "~DEFAULTO"
+    }
+  }
+, { "BlackBox" :
+    { "name"      : "Control.Exception.Base.irrefutPatError"
+    , "templateE" : "~DEFAULTO"
+    }
+  }
+]
diff --git a/primitives/ghc.err.json b/primitives/ghc.err.json
@@ -3,4 +3,9 @@
     , "templateE" : "~DEFAULTO"
     }
   }
+, { "BlackBox" :
+    { "name"      : "GHC.Err.undefined"
+    , "templateE" : "~DEFAULTO"
+    }
+  }
 ]
diff --git a/tests/shouldwork/Basic/IrrefError.hs b/tests/shouldwork/Basic/IrrefError.hs
@@ -0,0 +1,4 @@
+module IrrefError where
+
+topEntity :: Maybe Int -> Int
+topEntity ~(Just x) = x
diff --git a/tests/shouldwork/Basic/PatError.hs b/tests/shouldwork/Basic/PatError.hs
@@ -0,0 +1,4 @@
+module PatError where
+
+topEntity :: Maybe Int -> Int
+topEntity (Just x) = x