From 1735621890e34ebe812c7987e2da2bc414c24e9a Mon Sep 17 00:00:00 2001
From: Jacob Mitchell <jmitchell@member.fsf.org>
Date: Wed, 18 Jan 2017 05:38:54 -0800
Subject: [PATCH] Fix compilation errors based on idris-php's code.

---
 src/Main.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Main.hs b/src/Main.hs
index 682f2c7..34900de 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -4,6 +4,7 @@ import Idris.Core.TT
 import Idris.AbsSyntax
 import Idris.ElabDecls
 import Idris.REPL
+import Idris.Main
 
 import IRTS.Compiler
 import IRTS.CodegenEmpty
@@ -31,7 +32,7 @@ cg_main :: Opts -> Idris ()
 cg_main opts = do elabPrims
                   loadInputs (inputs opts) Nothing
                   mainProg <- elabMain
-                  ir <- compile (Via "emptycg") (output opts) mainProg
+                  ir <- compile (Via IBCFormat "emptycg") (output opts) (Just mainProg)
                   runIO $ codegenEmpty ir
 
 main :: IO ()