Doesn't work

locallycompact · Jun 25, 2022 · c4981af · c4981af
commit c4981af
Show file tree

Hide file tree

Showing 5 changed files with 634 additions and 0 deletions.
diff --git a/Hello.idr b/Hello.idr
@@ -0,0 +1,4 @@
+module Hello
+
+main :: IO ()
+main = putStrLn "Hello World"
diff --git a/Main.idr b/Main.idr
@@ -0,0 +1,19 @@
+module Main
+
+import Core.Context
+import Compiler.Common
+import Idris.Driver
+
+compile : Ref Ctxt Defs -> (tmpDir : String) -> (execDir : String) ->
+        ClosedTerm -> (outfile : String) -> Core (Maybe String)
+compile defs tmp dir term file = do coreLift $ putStrLn "I'd rather not."
+                                    pure $ Nothing
+
+execute : Ref Ctxt Defs -> (execDir : String) -> ClosedTerm -> Core ()
+execute defs dir term = do coreLift $ putStrLn "Maybe in an hour."
+
+lazyCodegen : Codegen
+lazyCodegen = MkCG compile execute Nothing Nothing
+
+main : IO ()
+main = mainWithCodegens [("lazy", lazyCodegen)]