module Util (
      bugError
    , todo
) where



bugError :: String -> String -> a
bugError :: forall a. String -> String -> a
bugError String
location String
msg = String -> a
forall a. String -> a
errorWithoutStackTrace (String
location String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
": " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
msg String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
"\nThis should never happen! Please report it as a bug.")

{-# WARNING todo "TODO in code" #-}
todo :: String -> String -> a
todo :: forall a. String -> String -> a
todo String
location String
msg = String -> a
forall a. String -> a
errorWithoutStackTrace (String
location String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
": TODO: " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
msg String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
"\nThis should not be present in live code, but it is! Commence panicking!")