Fail idiomatically
commite9ba9b98f45883647781c11d7e238c0a405ab648
authorNiklas Larsson <niklas@mm.st>
dateSat 13 Jul 2013, 13:06 (13 years ago)
parent0c1deaf
src/Util/LLVMStubs.hs+1−1
@@ -27,4 +27,4 @@ codegenLLVM :: [(TT.Name, SDecl)] ->
2727 OutputType ->
2828 IO ()
2929
30−codegenLLVM _ _ _ _ _ _ = print "Error: This Idris was compiled without the LLVM backend."
30+codegenLLVM _ _ _ _ _ _ = fail "This Idris was compiled without the LLVM backend."