October 2006 - Cvs-nhc98

patch applied (hat): Corrected bug in trace creation for blackhole.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Oct 18 07:43:31 PDT 2001 olaf * Corrected bug in trace creation for blackhole. The last entered redex is on top of the SatB stack, not in a global variable no longer used. (This only concerns the old, nonportable tracing transformation.) M ./src/hatlib/TPrelude.hs -3 +3 M ./src/old/runtime/initexit.c -1 +5

1 0

patch applied (hat): Add toplevel ids, data constructors and version to portable transformation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Oct 18 05:36:47 PDT 2001 olaf * Add toplevel ids, data constructors and version to portable transformation. The resulting traces can be used with the most recent tools. However, hat-trail doesn't like a trace of a program aborting with a pattern match error. M ./src/compiler98/TraceTrans.hs -27 +46 M ./src/hatlib/Hat.hs -1 +14 M ./src/hatlib/Makefile -1 +1 M ./src/hatlib/hat-c.c -1 +33 M ./src/hatlib/hat-c.h +2 M ./src/hattrans/TraceTrans.hs -27 +46

1 0

patch applied (hat): Complete library src/prelude/Hat for portable Hat.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 17 10:34:30 PDT 2001 olaf * Complete library src/prelude/Hat for portable Hat. The library now contains a minimal prelude wrapper. There is a Makefile which works, but produces many warnings. The compiler option -hx has been replaced by -hat. Envoking it transforms a module `Name' into a tracing module `TName'. If the module is `Main' the name is unchanged and a special function definition of `main' is added (the filename is still prefixed by `T'). The transformation works for an extended hello world program. For some reason (packString not always working?) the module name `Main' is followed by many bytes of rubish before the final \0 in the trace file. hat-trail works fine with the trace. hat-detect shows some strange reductions and hat-observe doesn't show reductions of all identifiers. This is with the v1.08 tools, because the transformation doesn't yet produce any toplevel identifiers (all are in old format and hence local). Changed some includes of hat.h to art.h (forgotten last time). M ./src/compiler98/Flags.hs -5 +10 M ./src/compiler98/Main.hs -18 +16 M ./src/compiler98/MainNew.hs -12 +11 M ./src/compiler98/OsOnly.hs -2 +16 M ./src/compiler98/TraceTrans.hs -26 +89 M ./src/hatlib/Hat.hs -7 +8 A ./src/hatlib/Makefile A ./src/hatlib/Makefile.inc A ./src/hatlib/TPrelude.hs M ./src/hatlib/hat-c.c -4 +4 M ./src/hattools/nodecache.c -1 +1 M ./src/hattrans/Flags.hs -5 +10 M ./src/hattrans/TraceTrans.hs -26 +89 M ./src/old/runtime/fileformat.h -1 +1 M ./src/old/runtime/ident.h -1 +1

1 0

patch applied (hat): Fix the use of a qualified name in the module in which it is defined.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 17 10:10:15 PDT 2001 malcolm * Fix the use of a qualified name in the module in which it is defined. E.g. module M where f = ... g = ... M.f ... M ./src/compiler98/Need.hs -1 +1 M ./src/compiler98/PreImport.hs -6 +8

1 0

patch applied (hat): Move VERSION symbols from Makefile to Makefile.inc, for easier
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 17 08:54:36 PDT 2001 malcolm * Move VERSION symbols from Makefile to Makefile.inc, for easier propagation to subdirectories (especially to do version checks in the Hat tools.) M ./Makefile.inc +11

1 0

patch applied (hat): Update the hat-file-version checks in all Hat tools.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 17 08:52:53 PDT 2001 malcolm * Update the hat-file-version checks in all Hat tools. M ./src/hattools/Makefile -3 +4 M ./src/hattools/hat-check.c +24 M ./src/hattools/hatinterface.c -5 +11 M ./src/hattools/utils.c -4 +11

1 0

patch applied (hat): Change #include " hat.h" to " art.h" .
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 17 08:50:12 PDT 2001 malcolm * Change #include "hat.h" to "art.h". M ./src/hattools/browsercomms.h -1 +1

1 0

patch applied (hat): Remove obsolete version of HatTrace, and update export list of current
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 17 08:48:50 PDT 2001 malcolm * Remove obsolete version of HatTrace, and update export list of current version to ensure that the field selector 'moduleName' is exported. M ./src/hattools/HatTrace.gc -22 +25 R ./src/hattools/HatTrace.hs

1 0

patch applied (hat): Fix many faults in the import/export mechanism.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 17 05:57:21 PDT 2001 malcolm * Fix many faults in the import/export mechanism. New features ------------ * The compiler now treats explicitly named constructors and methods correctly, e.g. in module M (T(A,B), C(f,g)) where or import M (T(A,B), C(f,g)) only the constructors A and B of datatype T, and only the methods f and g of class C, are exported/imported. * The declaration import qualified M (f) is now accepted without complaint, whereas previously it needed to be import qualified M (M.f) in some circumstances. * It is now possible to name selectors explicitly in an export/import list, provided the type they select over is *not* exported/imported. Implementation -------------- The symbol table entries InfoConstr, InfoMethod, InfoField now each have an extra field 'ie' which determines whether an individual constructor/method/field is to be re-exported, rather than relying on the corresponding tag of the relevant InfoData/InfoClass symbol. The IE type is extended to distinguish the various cases of: IEall - re-export with all constructors/methods e.g. C(..) IEsome - re-export with some constructors/methods e.g. C(f,g) IEabs - re-export with no constructors/methods e.g. C() or C IEnone - do not re-export and IEsel - re-export this selected constructor/method individually The interface file (.hi) now indicates which individual constructors/methods are actually exported in the {-# NEED {C f g} #-} annotation. Most importantly, *all* the actual constructors/methods are listed in the datatype/class definition that follows, because the numerical ordering is required to generate correct code. However, when importing such a datatype/class, the non-visible constructors/methods are renamed internally to something like "Unknown.Constructor_n" in the symbol table, to ensure that they cannot be used. These new names will appear any new interface file that is generated due to a further re-export. M ./src/compiler98/CaseLib.hs -1 +1 M ./src/compiler98/DbgDataTrans.hs -15 +24 M ./src/compiler98/DbgDumpSRIDTable.hs -1 +1 M ./src/compiler98/DbgDumpSRIDTableC.hs -1 +1 M ./src/compiler98/DbgReplaceConstr.hs -4 +4 M ./src/compiler98/DbgTrans.hs -20 +19 M ./src/compiler98/Export.hs -97 +165 M ./src/compiler98/FFITrans.hs -2 +2 M ./src/compiler98/FSLib.hs -5 +12 M ./src/compiler98/GcodeFix.hs -1 +1 M ./src/compiler98/GcodeSpec.hs -9 +28 M ./src/compiler98/IExtract.hs -79 +159 M ./src/compiler98/Import.hs -14 +14 M ./src/compiler98/Info.hs -153 +140 M ./src/compiler98/IntState.hs -17 +17 M ./src/compiler98/Need.hs -29 +25 M ./src/compiler98/ParseI.hs -44 +82 M ./src/compiler98/PreImp.hs -23 +43 M ./src/compiler98/PreImport.hs -32 +28 M ./src/compiler98/Remove1_3.hs -3 +4 M ./src/compiler98/Rename.hs -60 +76 M ./src/compiler98/RenameLib.hs -27 +37 M ./src/compiler98/ReportImports.hs -13 +13 M ./src/compiler98/TokenId.hs -1 +2 M ./src/compiler98/TokenInt.hs -1 +1 M ./src/compiler98/TypeUtil.hs -5 +5

1 0

patch applied (hat): Get rid of " Warning: nhc98 may produce faulty code" .
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 17 05:56:24 PDT 2001 malcolm * Get rid of "Warning: nhc98 may produce faulty code". M ./src/compiler98/STGState.hs -6 +8

1 0