- Cvs-nhc98 - Haskell.org

cvs commit: hat/src/hattools Detect.hs detectutils.c parentset.c parentset.h HatDetect.hs Makefile
by Malcolm Wallace 04 May '03

04 May '03

malcolm 2003/05/04 07:55:43 PDT Modified files: src/hattools HatDetect.hs Makefile Added files: src/hattools Detect.hs detectutils.c parentset.c parentset.h Log: Make hat-detect work again, using the new file format for hat versions >= 2.00. This preliminary re-implementation of hat-detect is not yet fully featured. It allows answering questions yes or no, but does not yet support "maybe". Nor does it support memoisation of previously-seen answers. However, it does deal (nearly) correctly with asking about the application of trusted functions. A trusted application should not be asked as a question unless it has suspect children - the vast majority of trusted applications do not, but it is expensive to determine accurately. In fact, we use an approximation to determine whether the trusted application has untrusted children. Rather than searching the whole file looking for such children, we reason that the only way for such children to arise is in a higher-order application where the untrusted function is passed as an argument. Thus, when determining the trustedness of the function symbol, we simply extend the check a little to determine the trustedness of all function symbols within the (most evaluated form of the) arguments as well. Revision Changes Path 1.21 +325 -330 hat/src/hattools/HatDetect.hs 1.59 +34 -36 hat/src/hattools/Makefile

1 0

cvs commit: hat/src/hattools artutils.c artutils.h
by Malcolm Wallace 04 May '03

04 May '03

malcolm 2003/05/04 07:43:22 PDT Modified files: src/hattools artutils.c artutils.h Log: The routine q_skipNode() now returns the parent of the skipped node. Revision Changes Path 1.19 +24 -18 hat/src/hattools/artutils.c 1.9 +1 -1 hat/src/hattools/artutils.h

1 0

cvs commit: hat/src/hattools FFIExtensions.hs
by Malcolm Wallace 04 May '03

04 May '03

malcolm 2003/05/04 07:41:51 PDT Modified files: src/hattools FFIExtensions.hs Log: Ghc >= 5.04 has the showHex function in the Numeric library. Revision Changes Path 1.5 +4 -0 hat/src/hattools/FFIExtensions.hs

1 0

cvs commit: nhc98/src/interpreter HiConfig.hs
by mthomas＠glass.cse.ogi.edu 30 Apr '03

30 Apr '03

mthomas 2003/04/29 17:33:19 PDT Modified files: src/interpreter HiConfig.hs Log: Fix DOS backslash. Revision Changes Path 1.8 +1 -1 nhc98/src/interpreter/HiConfig.hs

1 0

cvs commit: hat/src/hattrans AuxFile.hs TraceTrans.hs
by olaf＠glass.cse.ogi.edu 29 Apr '03

29 Apr '03

olaf 2003/04/29 08:27:00 PDT Modified files: src/hattrans AuxFile.hs TraceTrans.hs Log: Correct bugs introduced by previous bug-fixes. Malcolm Wallace reported that the hat-transformed prelude would no longer compile. There were two sorts of errors: Hat/PreludeBuiltin.hs:1: Type constructor or class not in scope: `Char' This was because import of the sort "TraceOrigPrelude" had been dropped by some inappropriate filtering of such imports. Now they are back again. Hat/PreludeBuiltin.hs:108: Variable not in scope: `Prelude.sempty' Calls in instances needed qualification when the class was imported qualified. However, the implementation always qualified the ids; when the class did not have a qualfifier it used Prelude. Now no qualfication happens in such a case. Revision Changes Path 1.27 +8 -6 hat/src/hattrans/AuxFile.hs 1.61 +3 -1 hat/src/hattrans/TraceTrans.hs

1 0

cvs commit: nhc98/src/hmake RunAndReadStdout.hs
by Malcolm Wallace 28 Apr '03

28 Apr '03

malcolm 2003/04/28 08:50:57 PDT Modified files: src/hmake RunAndReadStdout.hs Log: The Windows variant code needs to deal with both Cygwin and native Windows paths, so use / as the directory separator when generating a file path, rather than \ which is native Windows only. Revision Changes Path 1.6 +1 -1 nhc98/src/hmake/RunAndReadStdout.hs

1 0

cvs commit: hat/src/hattrans AuxFile.hs AuxLabelAST.hs TraceTrans.hs
by olaf＠glass.cse.ogi.edu 28 Apr '03

28 Apr '03

olaf 2003/04/28 02:59:02 PDT Modified files: src/hattrans AuxFile.hs AuxLabelAST.hs TraceTrans.hs Log: Correct bugs in hx-file importing and renaming. All the fixes are however rather "hacky" and still leave loopholes. However, knowbody in their right mind should write Haskell programs that fall through the loopholes. Stephen Pitts reported the following problem with the Edison library. Transforming ListSeq and compiling it yields: Hat/ListSeq.hs:493: Ambiguous occurrence `anull' It could refer to either `Hat.ListSeq.anull', defined at Hat/ListSeq.hs:1261 or `Hat.PreludeBasic.anull', imported from Hat.Prelude at Hat/ListSeq.hs:23 ... and Hat/ListSeq.hs:996: Variable not in scope: `ssingle' ... The last errors are cause by code like instance Hat.S.Sequence (T.List) where gempty pempty p = T.constUse pempty p sempty sempty = T.constDef T.mkRoot a254v4empty (\ p -> gempty p254v12 p) The problem is that the class Sequence is only imported qualified, and hence even inside the instance declaration "sempty" is not in scope, only the qualified id "Hat.S.sempty". Now hat-trans qualfies such uses of shared variables with the same module id used in the qualification of the class id. In principal a method could be imported with a different qualifier than the class id... The first sort of error messages is caused by attaching the wrong hx-file information to identifiers in import (especially hiding) lists. First of all attaching of info is now done only with information from imported files, not with information of locally defined identifiers that may hide the imported ones (they do not hide them in the import declarations). Second, information for identifiers in "hiding"-lists should not be imported for attaching information in the program body, but is needed for attaching information to the identifiers in the hiding-list! So hidden identifiers are now imported separately. This is rather inefficient and probably scopes of imported identifiers are still not handled completely correctly. Revision Changes Path 1.26 +34 -6 hat/src/hattrans/AuxFile.hs 1.27 +29 -24 hat/src/hattrans/AuxLabelAST.hs 1.60 +32 -10 hat/src/hattrans/TraceTrans.hs

1 0

cvs commit: hat/src/hattools SExp.hs
by Malcolm Wallace 25 Apr '03

25 Apr '03

malcolm 2003/04/25 06:34:45 PDT Modified files: src/hattools SExp.hs Log: Remove spurious (non-H'98) comma in named field structure. Revision Changes Path 1.42 +2 -2 hat/src/hattools/SExp.hs

1 0

cvs commit: hat/src/hatlib/Control/Monad Cont.hs Error.hs List.hs RWS.hs Reader.hs State.hs Trans.hs Writer.hs
by Malcolm Wallace 25 Apr '03

25 Apr '03

malcolm 2003/04/25 04:25:20 PDT Added files: src/hatlib/Control/Monad Cont.hs Error.hs List.hs RWS.hs Reader.hs State.hs Trans.hs Writer.hs Log: Add a bunch of libraries that are (mainly) ghc-only, together with an appropriate conditional in the Makefile.

1 0

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

25 Apr '03

malcolm 2003/04/25 04:25:17 PDT Modified files: src/hatlib Makefile Log: Add a bunch of libraries that are (mainly) ghc-only, together with an appropriate conditional in the Makefile. Revision Changes Path 1.45 +18 -22 hat/src/hatlib/Makefile

1 0