git.iko.soy/Idris-dev
on master help sign in
Merge pull request #395 from melted/optllvm
09eebbfEdwin Brady
src/Util/LLVMStubs.hs+1−1
compare with master
unifiedsplit
@@ -27,4 +27,4 @@ codegenLLVM :: [(TT.Name, SDecl)] ->
27 OutputType ->
27 OutputType ->
28 IO ()
28 IO ()
29
29
30−codegenLLVM _ _ _ _ _ _ = print "Error: This Idris was compiled without the LLVM backend."
30+codegenLLVM _ _ _ _ _ _ = fail "This Idris was compiled without the LLVM backend."