Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

added comment when codegen ok

Browse source
This commit is contained in:
sebastianselander 2023-03-24 19:04:29 +01:00
parent 2566c53f58
commit f531afb3ab
1 changed files with 33 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

55
src/Main.hs
View file

@ -2,31 +2,41 @@
module Main where module Main where
import Codegen.Codegen (generateCode) import Codegen.Codegen (generateCode)
import Data.Bool (bool) import Data.Bool (bool)
import GHC.IO.Handle.Text (hPutStrLn) import GHC.IO.Handle.Text (hPutStrLn)
import Grammar.ErrM (Err) import Grammar.ErrM (Err)
import Grammar.Par (myLexer, pProgram) import Grammar.Par (myLexer, pProgram)
import Grammar.Print (printTree) import Grammar.Print (printTree)
import Monomorphizer.Monomorphizer (monomorphize) import Monomorphizer.Monomorphizer (monomorphize)
import Control.Monad (when) import Control.Monad (when)
import Data.List.Extra (isSuffixOf) import Data.List.Extra (isSuffixOf)
import Compiler (compile) import Compiler (compile)
import Renamer.Renamer (rename) import Renamer.Renamer (rename)
import System.Directory (createDirectory, doesPathExist, import System.Directory (
getDirectoryContents, createDirectory,
removeDirectoryRecursive, doesPathExist,
setCurrentDirectory) getDirectoryContents,
import System.Environment (getArgs) removeDirectoryRecursive,
import System.Exit (ExitCode, exitFailure, setCurrentDirectory,
exitSuccess) )
import System.IO (stderr) import System.Environment (getArgs)
import System.Process.Extra (readCreateProcess, shell, import System.Exit (
spawnCommand, waitForProcess) ExitCode,
import TypeChecker.TypeChecker (typecheck) exitFailure,
exitSuccess,
)
import System.IO (stderr)
import System.Process.Extra (
readCreateProcess,
shell,
spawnCommand,
waitForProcess,
)
import TypeChecker.TypeChecker (typecheck)
main :: IO () main :: IO ()
main = main =
@ -57,6 +67,7 @@ main' debug s = do
-- --
printToErr "\n -- Compiler --" printToErr "\n -- Compiler --"
generatedCode <- fromCompilerErr $ generateCode (monomorphize typechecked) generatedCode <- fromCompilerErr $ generateCode (monomorphize typechecked)
putStrLn "Generation of code successful"
-- putStrLn generatedCode -- putStrLn generatedCode
check <- doesPathExist "output" check <- doesPathExist "output"