diff -r bc6e67598dde -r 0df7f6697939 tools/PascalParser.hs --- a/tools/PascalParser.hs Tue Dec 06 22:05:59 2011 +0300 +++ b/tools/PascalParser.hs Wed Dec 07 08:01:18 2011 +0300 @@ -18,7 +18,7 @@ pascalUnit = do comments - u <- choice [program, unit] + u <- choice [program, unit, systemUnit] comments return u @@ -599,4 +599,13 @@ exprs <- parens pas $ commaSep1 pas $ e spaces return (name, exprs) - \ No newline at end of file + +systemUnit = do + string "system;" + comments + string "type" + comments + t <- typesDecl + string "var" + v <- varsDecl True + return $ System (t ++ v)