- (Left e) = snd $ fclose (stdin <<< "SEMERRORS: " <<<
- join "\n" (map toString e)) w
- (Right semOut)
- # stdin = if (not args.sem) stdin (
- stdin <<< "//SEM\n" <<< toString semOut <<< "//SEM\n")
- = snd $ fclose stdin w
+ (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