Merge pull request #395 from melted/optllvm
Fail idiomatically
commit09eebbf5baf97d9e84cfdc1f5dea034ccdcff90f
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 16 Jul 2013, 05:12 (13 years ago)
parent7105d79e9ba9b9
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."