July 2004 - Cvs-nhc98

cvs commit: nhc98/src/compiler98 Extra.hs MkSyntax.hs Parse.hs Rename.hs SyntaxPos.hs
by olaf＠glass.cse.ogi.edu 30 Jul '04

30 Jul '04

olaf 2004/07/30 11:57:25 PDT Modified files: src/compiler98 Extra.hs MkSyntax.hs Parse.hs Rename.hs SyntaxPos.hs Log: Parts of parser and renamer modified to handle extended positions correctly. This work is not yet complete. Some tricky things not yet solved: - some constructs may include optional semicolons or curly brackets, e.g. do { x <- myRead; putStr x; } these are currently not included in the position, so the do expression ends at the last "x". - the syntax does not include enough positions to give positions to everything. E.g. now the position of a function declaration DeclFun describes the full declaration, there is no position for the function variable itself. - some syntactic constructs are immediately desugared, for example list comprehensions; now every component of the translation gets the position of the full list comprehension. This makes it easy to map parts of the syntax tree to the source code, but impossible to map part of the source code uniquely to the part of the syntax tree that describes it completely. So hat-observe will find it hard to give for a marked list comprehension just the values of the full list comprehension, not intermediate internal values. Revision Changes Path 1.14 +4 -0 nhc98/src/compiler98/Extra.hs 1.10 +8 -6 nhc98/src/compiler98/MkSyntax.hs 1.25 +13 -8 nhc98/src/compiler98/Parse.hs 1.34 +10 -6 nhc98/src/compiler98/Rename.hs 1.12 +63 -72 nhc98/src/compiler98/SyntaxPos.hs

1 0

cvs commit: cpphs/docs index.html
by Malcolm Wallace 30 Jul '04

30 Jul '04

malcolm 2004/07/30 08:13:41 PDT Modified files: docs index.html Log: cpphs.hs has been renamed to Main.hs Revision Changes Path 1.17 +7 -7 cpphs/docs/index.html

1 0

cvs commit: cpphs README
by Malcolm Wallace 30 Jul '04

30 Jul '04

malcolm 2004/07/30 08:13:40 PDT Modified files: . README Log: cpphs.hs has been renamed to Main.hs Revision Changes Path 1.8 +1 -1 cpphs/README

1 0

cvs commit: cpphs/docs index.html
by Malcolm Wallace 30 Jul '04

30 Jul '04

malcolm 2004/07/30 08:11:45 PDT Modified files: docs index.html Log: Update version number, ready to release cpphs-0.6. Revision Changes Path 1.16 +1 -1 cpphs/docs/index.html

1 0

cvs commit: cpphs Cpphs.hs README
by Malcolm Wallace 30 Jul '04

30 Jul '04

malcolm 2004/07/30 08:11:44 PDT Modified files: . Cpphs.hs README Log: Update version number, ready to release cpphs-0.6. Revision Changes Path 1.4 +1 -1 cpphs/Cpphs.hs 1.7 +5 -3 cpphs/README

1 0

cvs commit: cpphs/docs index.html
by Malcolm Wallace 30 Jul '04

30 Jul '04

malcolm 2004/07/30 08:01:21 PDT Modified files: docs index.html Log: For better compatibility with cpp, and because otherwise there are certain constructs that cannot be expressed, we no longer permit whitespace in a #define between the symbolname and an opening parenthesis, e.g. #define f (f' id) Previously, this was interpreted as a parametrised macro, with arguments in the parens, and no expansion. Now, the space indicates that this is a textual replacement, and the parenthesised expression is in fact the replacement. Revision Changes Path 1.15 +28 -5 cpphs/docs/index.html

1 0

cvs commit: cpphs CHANGELOG HashDefine.hs
by Malcolm Wallace 30 Jul '04

30 Jul '04

malcolm 2004/07/30 08:01:20 PDT Modified files: . CHANGELOG HashDefine.hs Log: For better compatibility with cpp, and because otherwise there are certain constructs that cannot be expressed, we no longer permit whitespace in a #define between the symbolname and an opening parenthesis, e.g. #define f (f' id) Previously, this was interpreted as a parametrised macro, with arguments in the parens, and no expansion. Now, the space indicates that this is a textual replacement, and the parenthesised expression is in fact the replacement. Revision Changes Path 1.13 +10 -0 cpphs/CHANGELOG 1.13 +3 -2 cpphs/HashDefine.hs

1 0

cvs commit: hat/src/hattrans AuxFixity.hs TraceTrans.hs
by olaf＠glass.cse.ogi.edu 30 Jul '04

30 Jul '04

olaf 2004/07/30 06:27:22 PDT Modified files: src/hattrans AuxFixity.hs TraceTrans.hs Log: Modified hat-trans to compile with the new extended position type Pos. However, the additional end line and column of a position are currently ignored. Revision Changes Path 1.11 +1 -1 hat/src/hattrans/AuxFixity.hs 1.68 +3 -3 hat/src/hattrans/TraceTrans.hs

1 0

cvs commit: nhc98/src/compiler98 Extra.hs LexPre.hs Lexical.hs ParseCore.hs
by olaf＠glass.cse.ogi.edu 30 Jul '04

30 Jul '04

olaf 2004/07/29 09:49:05 PDT Modified files: src/compiler98 Extra.hs LexPre.hs Lexical.hs ParseCore.hs Log: Extended Pos in Extra to have start and end line & column. Also modified lexer to generate token sequence with each token having its full position, i.e. including correct end line & column. However, parser not yet modified, so that positions in syntax tree only describe end of the first token of the syntactic construct, not the true one. Changes not yet noticeable, because error messages still give only start line:column. Hopefully no space leak introduced (positions are strict and their evaluation forced in lexer). (But size of a position obviously at least doubled.) Revision Changes Path 1.12 +36 -15 nhc98/src/compiler98/Extra.hs 1.15 +60 -38 nhc98/src/compiler98/LexPre.hs 1.9 +20 -20 nhc98/src/compiler98/Lexical.hs 1.4 +4 -0 nhc98/src/compiler98/ParseCore.hs

2 1

cvs commit: nhc98/src/compiler98 Extra.hs LexPre.hs
by olaf＠glass.cse.ogi.edu 29 Jul '04

29 Jul '04

olaf 2004/07/29 10:27:15 PDT Modified files: src/compiler98 Extra.hs LexPre.hs Log: Changed output of positions to give both start and end. Thus noticed wrong ends of identifiers and numbers and corrected that. Revision Changes Path 1.13 +4 -3 nhc98/src/compiler98/Extra.hs 1.16 +3 -3 nhc98/src/compiler98/LexPre.hs

1 0