{-# LANGUAGE Safe #-}
module Copilot.Core.Error
( impossible
, badUsage ) where
impossible :: String
-> String
-> a
impossible :: String -> String -> a
impossible function :: String
function package :: String
package =
String -> a
forall a. HasCallStack => String -> a
error (String -> a) -> String -> a
forall a b. (a -> b) -> a -> b
$ "\"Impossible\" error in function "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
function String -> String -> String
forall a. [a] -> [a] -> [a]
++ ", in package " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
package
String -> String -> String
forall a. [a] -> [a] -> [a]
++ ". Please file an issue at "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "https://github.com/Copilot-Language/copilot/issues"
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "or email the maintainers at <dev@dedden.net>"
badUsage :: String
-> a
badUsage :: String -> a
badUsage msg :: String
msg = String -> a
forall a. HasCallStack => String -> a
error (String -> a) -> String -> a
forall a b. (a -> b) -> a -> b
$ "Copilot error: " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
msg