X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=spl.icl;h=e88e9432f3534012e9e754ebe27349005fcb063e;hb=5b98614f91d22a47f6e089329336acd727d56fb5;hp=cf3d5f3d5a7d53f4fa82ce1ef041c39634953334;hpb=51921a9587d60b6411610845f56d62ebd73f80cb;p=cc1516.git diff --git a/spl.icl b/spl.icl index cf3d5f3..e88e943 100644 --- a/spl.icl +++ b/spl.icl @@ -19,6 +19,7 @@ import parse import lex import sem import AST +import gen from yard import :: Error, instance toString Error :: Opts = { @@ -27,6 +28,7 @@ from yard import :: Error, instance toString Error lex :: Bool, parse :: Bool, sem :: Bool, + gen :: Bool, fp :: Maybe String, help :: Bool} @@ -58,20 +60,22 @@ Start w = case contents of (Left cs) = snd $ fclose (stdin <<< cs) w (Right cs) = case lexer cs of - (Left e) = snd $ fclose (stdin <<< toString e) w + (Left e) = snd $ fclose (stdin <<< toString e <<< "\n") w (Right lexOut) # stdin = if (not args.lex) stdin ( stdin <<< "//LEXER\n" <<< printTokens lexOut <<< "//LEXER\n") = case parser lexOut of - (Left e) = snd $ fclose (stdin <<< toString e) w + (Left e) = snd $ fclose (stdin <<< toString e <<< "\n") w (Right parseOut) # stdin = if (not args.parse) stdin ( stdin <<< "//PARSER\n" <<< toString parseOut <<< "//PARSER\n") = case sem parseOut of - (Left e) = snd $ fclose (stdin <<< join "\n" (map toString e)) w + (Left e) = snd $ fclose (stdin <<< join "\n" (map toString e) <<< "\n") w (Right ast) # stdin = if (not args.sem) stdin (stdin <<< "//SEM G\n" <<< toString ast <<< "//SEMA\n") + # stdin = if (not args.gen) stdin (stdin + <<< "//CODE GEN\n" <<< gen ast <<< "\n//CODE GEN\n") = snd $ fclose (stdin <<< "\n") w where printConstraints :: Constraints -> String @@ -94,6 +98,7 @@ parseArgs w lex=False, parse=False, sem=True, + gen=True, fp=Nothing, help=False}, w) where @@ -107,6 +112,8 @@ where pa ["--no-parse":r] o = pa r {o & parse=False} pa ["--sem":r] o = pa r {o & sem=True} pa ["--no-sem":r] o = pa r {o & sem=False} + pa ["--gen":r] o = pa r {o & gen=True} + pa ["--no-gen":r] o = pa r {o & gen=False} pa [x:r] o = pa r {o & fp=Just x} readFileOrStdin :: *File (Maybe String) *World -> *(Either String [Char], *File, *World)