- (Right cs)
- # lexOut = lexer cs
- # stdin = if (not args.lex) stdin (case lexOut of
- (Right toks) =
- stdin <<< "//LEXER\n" <<< printTokens toks <<< "//LEXER\n"
- _ = stdin)
- # parseOut = parser lexOut
- # stdin = if (not args.parse) stdin (case parser lexOut of
- (Right ast) =
- stdin <<< "//PARSER\n" <<< toString ast <<< "//PARSER\n"
- (Left parse) = stdin <<< toString parse)
- = snd $ fclose stdin w
+ (Right cs) = case lexer cs of
+ (Left e) = snd $ fclose (stdin <<< toString e) 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
+ (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
+ (Right (semOut, gamma))
+ # stdin = if (not args.sem) stdin (stdin
+ <<< "//SEM G\n" <<< toString gamma <<< "//SEM A\n"
+ <<< "//SEM A\n" <<< toString semOut <<< "//SEM A\n")
+ = snd $ fclose (stdin <<< "\n") w