-- It doesn't need to give "error" a type signature,
-- because it's wired into the compiler
---------------------------------------------------------------------------
-- It doesn't need to give "error" a type signature,
-- because it's wired into the compiler
---------------------------------------------------------------------------