{-# LANGUAGE Safe #-}
module Copilot.Theorem.Misc.Error
( badUse
, impossible
, impossible_
, fatal
) where
errorHeader :: String
= String
"[Copilot-kind ERROR] "
badUse :: String
-> a
badUse :: forall a. String -> a
badUse String
s = String -> a
forall a. HasCallStack => String -> a
error (String -> a) -> String -> a
forall a b. (a -> b) -> a -> b
$ String
errorHeader String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
s
impossible :: String
-> a
impossible :: forall a. String -> a
impossible String
s = String -> a
forall a. HasCallStack => String -> a
error (String -> a) -> String -> a
forall a b. (a -> b) -> a -> b
$ String
errorHeader String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
"Unexpected internal error : " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
s
impossible_ :: a
impossible_ :: forall a. a
impossible_ = String -> a
forall a. HasCallStack => String -> a
error (String -> a) -> String -> a
forall a b. (a -> b) -> a -> b
$ String
errorHeader String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
"Unexpected internal error"
fatal :: String -> a
fatal :: forall a. String -> a
fatal = String -> a
forall a. HasCallStack => String -> a
error