- Cvs-nhc98 - Haskell.org

cvs commit: hat/src/hatlib/Hat/Data PackedStringBuiltin.hs
by Malcolm Wallace 03 Apr '03

03 Apr '03

malcolm 2003/04/03 06:40:31 PST Added files: src/hatlib/Hat/Data PackedStringBuiltin.hs Log: Add a tracing version of the library Data.PackedString.

1 0

cvs commit: hat/src/hatlib Makefile
by Malcolm Wallace 03 Apr '03

03 Apr '03

malcolm 2003/04/03 06:40:30 PST Modified files: src/hatlib Makefile Log: Add a tracing version of the library Data.PackedString. Revision Changes Path 1.43 +3 -2 hat/src/hatlib/Makefile

1 0

cvs commit: hat/src/hatlib/Data PackedString.hs PackedStringBuilt in.hx
by Malcolm Wallace 03 Apr '03

03 Apr '03

malcolm 2003/04/03 06:40:30 PST Added files: src/hatlib/Data PackedString.hs PackedStringBuiltin.hx Log: Add a tracing version of the library Data.PackedString.

1 0

None
by olaf＠glass.cse.ogi.edu 02 Apr '03

02 Apr '03

olaf 2003/04/02 08:21:53 PST Subject: [cvs-nhc98] cvs commit: hat/src/hattrans AuxFile.hs AuxLabelAST.hs AuxTypes.hs Flags.hs HatTrans.hs Makefile TraceId.hs TraceTrans.hs Sender: cvs-nhc98-admin(a)haskell.org Errors-To: cvs-nhc98-admin(a)haskell.org X-BeenThere: cvs-nhc98(a)haskell.org X-Mailman-Version: 2.0.8 Precedence: bulk List-Help: <mailto:cvs-nhc98-request@haskell.org?subject=help> List-Post: <mailto:cvs-nhc98@haskell.org> List-Subscribe: <http://www.haskell.org/mailman/listinfo/cvs-nhc98>, <mailto:cvs-nhc98-request@haskell.org?subject=subscribe> List-Id: nhc98 CVS commit messages <cvs-nhc98.haskell.org> List-Unsubscribe: <http://www.haskell.org/mailman/listinfo/cvs-nhc98>, <mailto:cvs-nhc98-request@haskell.org?subject=unsubscribe> List-Archive: <http://www.haskell.org/pipermail/cvs-nhc98/> Modified files: src/hattrans AuxFile.hs AuxLabelAST.hs AuxTypes.hs Flags.hs HatTrans.hs Makefile TraceId.hs TraceTrans.hs Log: Correct bug in expansion of type synonyms for worker type signatures. Malcolm's following program failed transforming: ----A.hs---- module A where type State d s u s' = d -> s -> (u,s') ----B.hs---- module B where import A data Down = Down data Thread = Thread type GcodeFixMonad a = State Down Thread a Thread checkIfR :: Int -> GcodeFixMonad Bool checkIfR i Down Thread = (i==0, Thread) ----end---- $ hmake -hat B.hs hat-trans A.hs Creating directories Hat Wrote Hat/A.hs nhc98 -c -package hat -o Hat/A.o Hat/A.hs hat-trans B.hs Fail: expandTypeSynonym: GcodeFixMonad___1 is not a type synonym The problem was that when determining the upper part of a rhs of a type synonym definition that may be expanded, it may (and in this example is) necessary to expand a type synonym occuring on the rhs. Modifying hat-trans to perform correct expansion showed up two bad design properties of its implementation: 1. The upper part of the rhs of a type synonym needs to be written in the .aux file and the helper type synonyms for the lower parts of the rhs need to be added to the transformed program. Upper and lower parts are in a natural way determined by a single splitSynonym function. However, the generation of the environment that is later written to the .aux file and the generation of the transformed program happen in two separate passes, working on different data structures (e.g. TokenId vs TraceId). Hence the code of splitSynonym is basically duplicated, and both variants have to agree to make everything work. Is there an architecture that avoids this duplication? 2. Originally, when generating the upper part of a rhs for the .aux file, the information about the (upper part of) rhss of other type synonyms was not available. The passes were: 1 Traverse top level ast to determine identifier map 2 Traverse top level ast to determine environment of locally defined exported identifiers. 3 Read imports to determine environment of all exported identifiers. 4 Write environment of all exported identifiers into aux file. 5 Traverse top level ast to determine identifier map 6 Traverse top level ast to determine environment of all locally defined identifiers. 7 Read imports to determine environment of all possibly used identifiers. 8 Traverse whole ast to annotate it with infos from environment. Because the environment generated by step 7 is needed for type synonym splitting in step 2 and 6, I rearranged the passes: 1 Traverse top level ast to determine identifier map 2 Read imports to determine environment of all imported possibly used identifiers. 3 Traverse top level ast to determine environment of all used identifiers. 4 Traverse whole ast to annotate it with infos from environment. 5 Traverse top level ast to determine identifier map 6 Traverse top level ast to determine environment of locally defined exported identifiers. 7 Read imports to determine environment of all exported identifiers. 8 Write environment of all exported identifiers into aux file. So now the environment for type splitting is generated in step 3 and used in steps 3 and 6. To enable generation and use in step 3 essential use of lazy evaluation is made in step 3. As long as there is no cyclic type synonym definition this does not cause a black hole. The rearrangement has the disadvantage that orginal and attributed ast live at the same time. It works, but certainly all this could be much simpler and more efficient? Revision Changes Path 1.24 +78 -30 hat/src/hattrans/AuxFile.hs 1.26 +16 -28 hat/src/hattrans/AuxLabelAST.hs 1.7 +16 -0 hat/src/hattrans/AuxTypes.hs 1.23 +3 -0 hat/src/hattrans/Flags.hs 1.13 +13 -7 hat/src/hattrans/HatTrans.hs 1.5 +1 -1 hat/src/hattrans/Makefile 1.19 +5 -0 hat/src/hattrans/TraceId.hs 1.58 +13 -9 hat/src/hattrans/TraceTrans.hs

1 0

cvs commit: nhc98/src/compiler98 NT.hs TypeUnify.hs
by olaf＠glass.cse.ogi.edu 01 Apr '03

01 Apr '03

olaf 2003/04/01 05:54:36 PST Modified files: src/compiler98 NT.hs TypeUnify.hs Log: Remove another bug in type checker with respect to type synonyms. The program below did not type check (occurrence check failure), because the type checker did not expand type synonyms before doing the occurrence check. Expansion of a type can lead to a type with less type variables, or in this case the type to be substituted is just a simple type variable. In turned out that for the latter handling of type class contexts it is important that a substitution never replaces a variable by a type that is not a type variable but becomes a type variable after type synonym expansion. So unification assures that the resulting substitution meets this constraint. There may still be further errors with respect to unexpanded type synonyms in nhc98. Simply exanding all first would avoid all the problems, but also lead to less readable type error messages. -- begin import List ( nub ) type GNode a = a type GNodes a = [ GNode a ] type GEdge a = ( GNode a , GNode a ) type GEdges a = [ GEdge a ] -- Find edges that contain occurrences of nodes not given in arg2. unknownNodesInEdges :: (Eq a) => GEdges a -> GNodes a -> GEdges a unknownNodesInEdges edges nodes = nub (filter (notNode . fst) edges ++ filter (notNode . snd) edges) where notNode = \x -> notElem x nodes Revision Changes Path 1.6 +7 -1 nhc98/src/compiler98/NT.hs 1.9 +36 -26 nhc98/src/compiler98/TypeUnify.hs

1 0

cvs commit: hat/docs ANNOUNCE
by Malcolm Wallace 26 Mar '03

26 Mar '03

malcolm 2003/03/26 10:57:49 PST Added files: docs ANNOUNCE Log: An announcement for hat-2.02.

1 0

cvs commit: hat Makefile.inc
by Malcolm Wallace 26 Mar '03

26 Mar '03

malcolm 2003/03/26 08:57:06 PST Modified files: . Makefile.inc Log: Bump hat version number to 2.02. Revision Changes Path 1.27 +2 -2 hat/Makefile.inc

1 0

cvs commit: hat Makefile
by Malcolm Wallace 26 Mar '03

26 Mar '03

malcolm 2003/03/26 08:56:48 PST Modified files: . Makefile Log: The file script/pkgdirlist is required in the src distribution. Revision Changes Path 1.8 +2 -1 hat/Makefile

1 0

cvs commit: hat/docs bugs.html config.html copyright.html cvs.html download.html faq.html index.html install.html libraries.html maillist.html publications.html requirements.html status.html todo.html browser-detail.html bugs-tools.html ...
by Malcolm Wallace 26 Mar '03

26 Mar '03

malcolm 2003/03/26 08:53:15 PST Modified files: docs bugs.html config.html copyright.html cvs.html download.html faq.html index.html install.html libraries.html maillist.html publications.html requirements.html status.html todo.html Removed files: docs browser-detail.html bugs-tools.html limitations-detail.html limitations.html Log: Update documentation ready for hat-2.02 release. Revision Changes Path 1.8 +6 -36 hat/docs/bugs.html 1.4 +2 -0 hat/docs/config.html 1.2 +5 -3 hat/docs/copyright.html 1.2 +50 -27 hat/docs/cvs.html 1.6 +6 -6 hat/docs/download.html 1.6 +2 -0 hat/docs/faq.html 1.17 +5 -3 hat/docs/index.html 1.5 +9 -13 hat/docs/install.html 1.3 +3 -1 hat/docs/libraries.html 1.3 +3 -1 hat/docs/maillist.html 1.4 +9 -6 hat/docs/publications.html 1.4 +29 -15 hat/docs/requirements.html 1.7 +7 -4 hat/docs/status.html 1.2 +90 -125 hat/docs/todo.html

1 0

cvs commit: hat configure
by Malcolm Wallace 17 Mar '03

17 Mar '03

malcolm 2003/03/17 06:27:55 PST Modified files: . configure Log: Remove assumption that ghcsym is always filled in. Revision Changes Path 1.10 +1 -1 hat/configure

1 0