October 2006 - Cvs-nhc98

patch applied (hat): Remove the defunct FFI qualifier ' threadsafe' from the syntax accepted
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jun 12 03:14:46 PDT 2003 malcolm * Remove the defunct FFI qualifier 'threadsafe' from the syntax accepted by the compiler. M ./src/compiler98/Parse.hs -2 M ./src/compiler98/ParseLex.hs -2 +1 M ./src/compiler98/Syntax.hs -2 +1 M ./src/compiler98/TokenId.hs -1

1 0

patch applied (hat): Change the default names for interface and output files in
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jun 12 03:13:56 PDT 2003 malcolm * Change the default names for interface and output files in the compiler proper. .hit -> .hi .c -> .hc Since the compiler proper is almost always called by a shell script that explicitly sets these anyway, this change should have no visible effect. M ./src/compiler98/OsOnly.hs -2 +2

1 0

patch applied (hat): Fix an obscure bug in the scoping rules for local where clauses.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jun 12 03:10:40 PDT 2003 malcolm * Fix an obscure bug in the scoping rules for local where clauses. Previously, the following definition f x = x where x = True produced the error message ====== Errors when renaming: Redefinition of Identifier x at 5:5 but apparently it is legal in H'98 to shadow pattern bindings in this way. M ./src/compiler98/Rename.hs +2

1 0

patch applied (hat): Remove extraneous comma in export list for H' 98 compliance.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jun 4 02:30:37 PDT 2003 malcolm * Remove extraneous comma in export list for H'98 compliance. M ./src/hattools/HatDetect.hs -1 +1

1 0

patch applied (hat): Tidy up the output format of the :set command to make it easier to read.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jun 3 09:39:55 PDT 2003 malcolm * Tidy up the output format of the :set command to make it easier to read. M ./src/hattools/CommonUI.hs -28 +23 M ./src/hattools/HatDetect.hs -4 +4 M ./src/hattools/HatObserve.hs -4 +4 M ./src/hattools/HatTrail.hs -4 +10

1 0

patch applied (hat): Minimal makefile tweaks to allow library package Japi to build cleanly
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 29 10:49:53 PDT 2003 malcolm * Minimal makefile tweaks to allow library package Japi to build cleanly with nhc98. M ./script/pkgdirlist +2

1 0

patch applied (hat): Fix hmake to work with ghc' s new version numbering scheme.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 29 10:33:30 PDT 2003 malcolm * Fix hmake to work with ghc's new version numbering scheme. M ./script/fixghc +5

1 0

patch applied (hat): Make hat-detect work again, using the new file format for hat versions > = 2.00.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun May 4 07:55:43 PDT 2003 malcolm * 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. A ./src/hattools/Detect.hs M ./src/hattools/HatDetect.hs -327 +322 M ./src/hattools/Makefile -35 +33 A ./src/hattools/detectutils.c A ./src/hattools/parentset.c A ./src/hattools/parentset.h

1 0

patch applied (hat): The routine q_skipNode() now returns the parent of the skipped node.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun May 4 07:43:22 PDT 2003 malcolm * The routine q_skipNode() now returns the parent of the skipped node. M ./src/hattools/artutils.c -18 +24 M ./src/hattools/artutils.h -1 +1

1 0

patch applied (hat): Ghc > = 5.04 has the showHex function in the Numeric library.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun May 4 07:41:51 PDT 2003 malcolm * Ghc >= 5.04 has the showHex function in the Numeric library. M ./src/hattools/FFIExtensions.hs +4

1 0