October 2001 - Cvs-nhc98

Remove obsolete version of HatTrace, and update export lis
by malcolm＠sparud.net 17 Oct '01

17 Oct '01

malcolm: Wed Oct 17 17:48:51 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv950 Modified Files: HatTrace.gc Removed Files: HatTrace.hs Log Message: Remove obsolete version of HatTrace, and update export list of current version to ensure that the field selector 'moduleName' is exported.

1 0

Fix many faults in the import/export mechanism.
by malcolm＠sparud.net 17 Oct '01

17 Oct '01

malcolm: Wed Oct 17 14:57:21 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv28723 Modified Files: CaseLib.hs DbgDataTrans.hs DbgDumpSRIDTable.hs DbgDumpSRIDTableC.hs DbgReplaceConstr.hs DbgTrans.hs Export.hs FFITrans.hs FSLib.hs GcodeFix.hs GcodeSpec.hs IExtract.hs Import.hs Info.hs IntState.hs Need.hs ParseI.hs PreImp.hs PreImport.hs Remove1_3.hs Rename.hs RenameLib.hs ReportImports.hs TokenId.hs TokenInt.hs TypeUtil.hs Log Message: 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.

1 0

Get rid of "Warning: nhc98 may produce faulty code".
by malcolm＠sparud.net 17 Oct '01

17 Oct '01

malcolm: Wed Oct 17 14:56:24 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv28695 Modified Files: STGState.hs Log Message: Get rid of "Warning: nhc98 may produce faulty code".

1 0

Reformat to 80-columns.
by malcolm＠sparud.net 17 Oct '01

17 Oct '01

malcolm: Wed Oct 17 14:53:47 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv28642 Modified Files: Parse2.hs ParseLib.hs Log Message: Reformat to 80-columns.

1 0

Swap the Makefile build from old Main.hs to MainNew.hs.
by malcolm＠sparud.net 17 Oct '01

17 Oct '01

malcolm: Wed Oct 17 14:50:34 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv28578 Modified Files: Makefile Log Message: Swap the Makefile build from old Main.hs to MainNew.hs.

1 0

Fix a couple of error messages.
by malcolm＠sparud.net 17 Oct '01

17 Oct '01

malcolm: Wed Oct 17 14:49:41 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv28547 Modified Files: MainNew.hs Log Message: Fix a couple of error messages.

1 0

(no subject)
by olaf＠sparud.net 15 Oct '01

15 Oct '01

olaf: Mon Oct 15 18:39:21 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv3685 Removed Files: hat.h Log Message:

1 0

Create library src/prelude/Hat for portable Hat.
by olaf＠sparud.net 15 Oct '01

15 Oct '01

olaf: Mon Oct 15 18:37:15 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv3596/prelude/PreludeDebug Modified Files: HatArchive.hs Log Message: Create library src/prelude/Hat for portable Hat. Hat.hs contains all the combinators used in transformed code and initialisiation etc for tracing. Hat.c/h contains the C-implementations. MagicTypes.hi is a hack to enable C-types to live in nhc's heap. Note that the current version still depends in several ways on nhc, but the library should work with a normally compiled transformed Haskell program. The library has not been tested yet. Code is mostly copied (and modified) from PreludeDebug, HatArchive and trace/runtime. include/hat.h was renamed to include/art.h

1 0

Create library src/prelude/Hat for portable Hat.
by olaf＠sparud.net 15 Oct '01

15 Oct '01

olaf: Mon Oct 15 18:37:15 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv3596/tracer/runtime Modified Files: fileformat.c fileformat.h Log Message: Create library src/prelude/Hat for portable Hat. Hat.hs contains all the combinators used in transformed code and initialisiation etc for tracing. Hat.c/h contains the C-implementations. MagicTypes.hi is a hack to enable C-types to live in nhc's heap. Note that the current version still depends in several ways on nhc, but the library should work with a normally compiled transformed Haskell program. The library has not been tested yet. Code is mostly copied (and modified) from PreludeDebug, HatArchive and trace/runtime. include/hat.h was renamed to include/art.h

1 0

Create library src/prelude/Hat for portable Hat.
by olaf＠sparud.net 15 Oct '01

15 Oct '01

olaf: Mon Oct 15 18:37:15 CEST 2001 Update of /usr/src/master/nhc/src/prelude/Hat In directory hinken:/tmp/cvs-serv3596/prelude/Hat Added Files: Hat.hs MagicTypes.hi hat.c hat.h Log Message: Create library src/prelude/Hat for portable Hat. Hat.hs contains all the combinators used in transformed code and initialisiation etc for tracing. Hat.c/h contains the C-implementations. MagicTypes.hi is a hack to enable C-types to live in nhc's heap. Note that the current version still depends in several ways on nhc, but the library should work with a normally compiled transformed Haskell program. The library has not been tested yet. Code is mostly copied (and modified) from PreludeDebug, HatArchive and trace/runtime. include/hat.h was renamed to include/art.h

1 0