[project @ 2000-01-17 16:24:45 by sewardj]
Change alignment directives for x86 segment changes to something
more plausible-looking for Linux.

[project @ 2000-01-17 16:22:33 by sewardj]
genCodeInfoTable, genBitmapInfoTable: construct type_info to reflect
non-presence of flags in type info field.

[project @ 2000-01-17 14:06:36 by rrt]
Added how-to for GHC's use of DocBook. Just describes a few conventions for
particular tags at the moment.

[project @ 2000-01-17 12:30:07 by simonmar]
Seeking didn't take into account the size of the current buffer
(although it seems the intention was there: the proper offset was
calculated, just never used).

This fixes the io013 failure.

[project @ 2000-01-17 12:05:12 by sewardj]
StixPrim.amodeToStix case CMacroExpr: handle UPD_FRAME_UPDATEE
StixMacro.macroCode: handle UPDATE_SU_FROM_UPD_FRAME

[project @ 2000-01-17 10:48:08 by sewardj]
Print a couple of blank lines in final assembly output in between basic
blocks, to make it easier to match up with the output of -ddump-stix.

[project @ 2000-01-17 10:10:17 by sewardj]
macroCode: implement PUSH_SEQ_FRAME

[project @ 2000-01-14 19:14:26 by rrt]
SPJ's Windows installation notes added in.

[project @ 2000-01-14 17:53:44 by rrt]
New building guide with Windows notes added and binary installation notes
removed.

[project @ 2000-01-14 17:52:46 by rrt]
New version of installing.sgml produced; old literal system no longer used.

[project @ 2000-01-14 16:15:08 by simonmar]
- add missing FB_ macro
- correct a couple of comments

[project @ 2000-01-14 15:09:22 by rrt]
Added binary installation chapter to user guide, made from old installation
guide and Sigbj?rn Finne's Windows installation page.

[project @ 2000-01-14 14:57:08 by sewardj]
checkCode: handle HP_CHK_UT_ALT.

[project @ 2000-01-14 14:56:40 by simonmar]
Move closure type printing stuff to Printer.c, since it's generally useful.

[project @ 2000-01-14 14:55:03 by simonmar]
cleanup, remove some bogus-looking stuff from DEBUG code.

[project @ 2000-01-14 14:08:55 by sewardj]
primCode: implement DataToTagOp.

[project @ 2000-01-14 14:06:48 by hwloidl]
Minor cleanup (to get rid of warnings)

[project @ 2000-01-14 13:39:59 by simonmar]
cleanup

[project @ 2000-01-14 13:38:54 by simonmar]
eliminate warning.

[project @ 2000-01-14 13:22:21 by simonmar]
Add proper SMP locking to blackhole entry code.

[project @ 2000-01-14 13:17:15 by hwloidl]
Minor cleanup to get rid of warnings.

[project @ 2000-01-14 12:27:50 by simonmar]
expose 'par' now that we have an implementation for both sequential
and SMP ways.

[project @ 2000-01-14 11:45:21 by hwloidl]
Bugfix (raiseError in non-enterable closures); added GranSim code to Schedule.c

[project @ 2000-01-14 10:18:37 by simonmar]
- remove duplicate GHC_SYSMAN_DIR
- remove unused GHC_HSP_DIR

[project @ 2000-01-13 17:01:16 by sewardj]
stmt2Instrs: correctly handle StData with zero data words

[project @ 2000-01-13 15:25:39 by sewardj]
genCodeInfoTable: don't do getSRTInfo on the closure info if we already
know via infoTblNeedsSRT that an SRT isn't needed.

[project @ 2000-01-13 15:22:58 by sewardj]
gentopcode: handle CClosureTbl.

[project @ 2000-01-13 14:33:57 by hwloidl]
Merged GUM-4-04 branch into the main trunk. In particular merged GUM and
SMP code. Most of the GranSim code in GUM-4-04 still has to be carried over.

[project @ 2000-01-13 14:11:51 by sewardj]
Rearrange top-level nativeGen plumbing so that -ddump-stix is visible
even if subsequent nativeGen passes crash.

[project @ 2000-01-13 12:59:58 by sewardj]
Added a rudimentary implementation of -ddump-stix.

[project @ 2000-01-13 12:40:15 by simonmar]
- remove AllBlocked scheduler return code.  Nobody owned up to having
  created it or even knowing what it was there for.

- clean up fatal error condition handling somewhat.  The process
  exit code from a GHC program now indicates the kind of failure
  for certain kinds of exit:

general internal RTS error 254
program deadlocked 253
program interrupted (ctrl-C) 252
heap overflow 251
main thread killed 250

  and we leave exit codes 1-199 for the user (as is traditional at MS,
  200-249 are reserved for future expansion, and may contain
  undocumented extensions :-)

[project @ 2000-01-13 10:47:05 by sewardj]
evalExp(): rts_eval_ can no longer return AllBlocked, so remove test for it.

[project @ 2000-01-13 10:37:31 by simonmar]
- make some debug printfs more consistent
- #ifdef around call to initSparkPools() (was breaking the normal build).

[project @ 2000-01-12 18:05:49 by rrt]
Libraries documentation moved to hslibs tree.

[project @ 2000-01-12 16:32:41 by sewardj]
cgExpr(), case NAME: correctly handle tail call into native code

[project @ 2000-01-12 16:29:47 by sewardj]
Don't do implementCfun for [] and (:) in combined mode,
since GHC supplies implementations.

[project @ 2000-01-12 15:15:17 by simonmar]
Add 'par' and sparking support to the SMP implementation.

[project @ 2000-01-12 14:52:53 by sewardj]
Clear up confusion regarding names of tuple types.
-- (), coded as Z0T, is the unit.
-- (,), coded as Z1T, is the pair type.
-- (,,,N commas,,,) coded as ZNT, is the (N+1)-tuple type.
-- There is no 1-ary type type.

[project @ 2000-01-12 14:47:27 by sewardj]
readScripts(), combined mode: minor hack so that current eval module
is Prelude rather than PrelHugs, once the Prelude is loaded.

[project @ 2000-01-12 12:39:20 by simonmar]
mark INDirections as non-sparkable.

[project @ 2000-01-12 10:44:50 by sewardj]
Make hugsprimUnpackString :: Addr -> String available to Hugs' desugarer
in both modes.

[project @ 2000-01-12 10:30:09 by sewardj]
Link nameInd to "_indirect".  Haven't a clue what this is for but it
seems necessary.

[project @ 2000-01-11 17:23:39 by sewardj]
Handle tuple types (,,,) --> Z3T in enZcodeThenFindText().

[project @ 2000-01-11 17:09:38 by sewardj]
Connect PrelBase.[] to PrelBase_ZMZN_closure, and (:) likewise.

[project @ 2000-01-11 15:40:57 by sewardj]
Supply correct kinds for tycons created by addWiredInBoxingTycon().

[project @ 2000-01-11 14:56:07 by sewardj]
Remember to set name(n).arity when n is a class method

[project @ 2000-01-11 14:51:43 by sewardj]
nameFromOPtr(): don't try to search object sym tables for source modules
lookupSection(): ditto, plus don't forget to also look in
                 module(m).objectExtras

[project @ 2000-01-11 14:21:43 by sewardj]
Add nameShow and namePutStr as hooks for said fns so that evaluator()
in hugs.c can refer to them in a style consistent with the way the rest
of Hugs refers to specific symbol names.

[project @ 2000-01-11 14:09:17 by sewardj]
startGHCInstance: allocate a name() entry for the instance builder fn,
and store the name in the instance's .builder field.  Without this,
it's impossible to generate any code which uses an instance builder :-(

[project @ 2000-01-11 10:15:24 by sewardj]
A module for use with the combined GHC-Hugs system.  Contains various
small helper functions referred to which Hugs' desugarer emits references.
The same functions are implemented in ghc/interpreter/lib/Prelude.hs
for use in standalone Hugs.  The two versions should correspond exactly.

[project @ 2000-01-10 17:19:32 by sewardj]
Back out previous commit.

[project @ 2000-01-10 17:06:41 by sewardj]
This is the missing log message for the commit by sewardj at
2000/01/10 08:23:33 PST for these files:

Some names in the standalone Prelude are referred to during desugaring
in Hugs.  These functions therefore need to be supplied from the GHC
world in combined mode.  Rename the relevant functions from
primXYZ to hugsprimXYZ to distinguish them, in preparation for
create of ghc/lib/std/PrelHugs.lhs.
---------------------------------------------------------------------

[project @ 2000-01-10 16:27:03 by sewardj]
nameRunIO --> nameRunIO_toplevel

[project @ 2000-01-10 16:23:32 by sewardj]

[project @ 2000-01-10 15:52:42 by sewardj]
ocGetNames: sort the acquired symbol table by symbol name, so that
ocLookupSym can then use a fast binary search to find symbols.

[project @ 2000-01-10 14:52:21 by rrt]
Retagged <Literal>s into <Filename>, <Option>, <Command>, &c.

[project @ 2000-01-10 11:59:55 by simonmar]
fix more breakage

[project @ 2000-01-10 11:08:04 by simonmar]
ordering matters when you're using ':='...

[project @ 2000-01-07 17:49:29 by sewardj]
type.c: implement typechecker(POSTPREL), so that initialisation
    of the typechecker is completed correctly in combined mode.
storage.c(addTupleTycon): create a name table entry for () so that
    nameUnit in the above can be bound to something.

[project @ 2000-01-07 17:28:14 by simonmar]
import Float# from PrelGHC

[project @ 2000-01-07 17:23:52 by simonmar]
set $(HC)=$(GHC_INPLACE)

[project @ 2000-01-07 17:22:09 by simonmar]
- set directories using ':=' because the value of $(TOP) can change
- remove some old cruft

[project @ 2000-01-07 16:58:50 by simonmar]
A few fixups:

- correct some addresses

- update the mail archive pointers to
  point to the new archives on mail-archive.com

- use <email> tag for email addresses.

[project @ 2000-01-07 16:56:47 by sewardj]
storage.c:   unZcode tuple types (eg Z4T) correctly (off by one)
interface.c(startGHCClass):
              remember to do dictapsToQualtype on class member types
           (processInterfaces): return a Bool if Prelude.hi was
              processed, so we can know when to do everybody(POSTPREL)

[project @ 2000-01-07 16:47:15 by simonmar]
Add $(SGML_DOC).tex to $(CLEAN_FILES).

[project @ 2000-01-07 15:31:12 by sewardj]
finishGHCModule: correctly create export list entries for non-Names
importEntity: allow TUPLE as a kind of TYCON (am dubious about this)

[project @ 2000-01-07 10:29:59 by sewardj]
Add a few more symbols to EXTERN_SYMS to track recent GHC Prelude changes.

[project @ 2000-01-07 10:27:33 by sewardj]
Remove _fast from macro name gcdIntegerIntzh_fast.

[project @ 2000-01-06 16:33:10 by sewardj]
Update Hugs' knowledge of the GHC Prelude to track recent Prelude changes.

[project @ 2000-01-06 14:17:16 by sewardj]
Reinstate debug printing, but only only for combined mode.

[project @ 2000-01-06 11:57:50 by sewardj]
Remove #ifdef COMPILER, since the contents of this file is now needed
by the combined system.

[project @ 2000-01-06 11:57:11 by sewardj]
Change NUM_TUPLES to 37, to match GHC.

[project @ 2000-01-06 10:43:15 by simonmar]
Fix a bug in inlining that gave unresolved references
whenever you compile without -O.  Silly me.

[project @ 2000-01-05 19:10:21 by andy]
Commenting out the debugging messages for in the new interface code.

[project @ 2000-01-05 18:05:33 by sewardj]
Fix more interface-reading bugs:
-- Qualtypes were not being generated from DICTAPs for overloaded
   non-class values.  New function dictapsToQualtype to handle this.
-- Incorrect construction of constructor result type in startGHCDataDecl
   for parameterised types eg   Just :: a -> Maybe a.

Changed meaning of DICTAP, so that the construction is
  ap(DICTAP, (QConId, Type))  rather than
  ap(DICTAP, (QConId, [Type])).  Will have to undo this if we want
                                 to support multiparam type classes.

[project @ 2000-01-05 17:24:51 by simonmar]
Add test for unterminated ``.

[project @ 2000-01-05 17:23:34 by simonmar]
Emit a reasonable error message instead of crashing when there's an
unterminated literal-liberal in the source file.

[project @ 2000-01-05 15:57:40 by sewardj]
Remember to add entities to module(m).names/.tycons/.classes as well as
to module(m).exports.  Otherwise the 'eval environment' will be wrong.

Add assertions in storage.c for addName/addTycon/addClass.

[project @ 2000-01-05 13:53:36 by sewardj]
Fix some serious errors in the handling of instances in interfaces.

[project @ 2000-01-05 11:55:29 by rrt]
Changed rules to make SGML documentation using DocBook tools rather than
LinuxDoc.

[project @ 2000-01-05 11:20:23 by rrt]
VSGML files removed because of conversion from LinuxDoc to DocBook (now
have just SGML files).

[project @ 2000-01-05 11:14:06 by rrt]
VSGML files changed back to plain SGML during change from LinuxDoc to DocBook.

[project @ 2000-01-05 11:06:23 by rrt]
Documentation changed from LinuxDoc to DocBook format, and license added to
the user guide.

[project @ 2000-01-04 17:40:46 by simonpj]
This commit arranges that literal strings will fuse
nicely, by expressing them as an application of build.

* NoRepStr is now completely redundant, though I havn't removed it yet.

* The unpackStr stuff moves from PrelPack to PrelBase.

* There's a new form of Rule, a BuiltinRule, for rules that
  can't be expressed in Haskell.  The string-fusion rule is one
  such.  It's defined in prelude/PrelRules.lhs.

* PrelRules.lhs also contains a great deal of code that
  implements constant folding.  In due course this will replace
  ConFold.lhs, but for the moment it simply duplicates it.

[project @ 1999-12-29 14:46:29 by simonpj]
Many tweaks to expected output

[project @ 1999-12-29 14:28:48 by simonpj]
Set MKDEPENDHS to $(HC) instead of $(GHC).
This means that dependencies will be computed with the same
compiler as compilations, which is presumably the right thing.

[project @ 1999-12-29 12:38:25 by simonpj]
Clarification on output files

[project @ 1999-12-29 12:26:51 by simonpj]
Improve rn029, remove dup rn033

[project @ 1999-12-29 12:17:36 by simonpj]
Fix a renamer bug that rejected

import M hiding( C )

where C is a constructor.

[project @ 1999-12-29 12:12:59 by simonpj]
Add rn037

[project @ 1999-12-22 10:36:34 by simonmar]
Remove more vestiges of IntAbsOp, and now unused absIntCode.

[project @ 1999-12-22 10:11:48 by simonmar]
Add comment about TMPDIR.

[project @ 1999-12-21 13:01:59 by simonmar]
remove old unused $RTS_PREFIX I just noticed.

[project @ 1999-12-21 13:00:54 by simonmar]
Hopefully banish bogus "Happy version 1.6 or later is required to
compile GHC" messages.  The new rule is: if you don't have an
installed copy of Happy, but have a Happy source tree, we point the
build system at the latter (and pull the version number out of
happy/mk/version.mk).

[project @ 1999-12-20 22:21:09 by lewie]
Remove *uses* of unused IntAbsOp (see recent log message in prelude/PrimOp).

[project @ 1999-12-20 17:07:05 by simonmar]
Remove unused IntAbsOp

[project @ 1999-12-20 16:55:26 by sewardj]
* Fix silly bugs in new linker, object.[ch].

* Allow modules to have arbitrary numbers of "extra" object files
  as well as their primary object file.  Initial requirement is
  that Prelude needs libHS_cbits.o/.dll as well as Prelude.o
  module(m).object is the primary object
  module(m).objectExtras are the extra objects
  module(m).objectExtraNames :: [Text] are their names.
  Modify machdep.c to assume that extra objects for module M
  live in the same directory as M's primary object.

* Stuff 130ish symbol names into the RTS symbol table, enough
  so that the whole Prelude can be linked.  That includes symbols
  in the C library needed by libHS_cbits.  This is very hacky
  and needs to be fixed properly.

[project @ 1999-12-20 14:38:30 by simonmar]
3.02 hi-boot syntax wibble

[project @ 1999-12-20 10:35:47 by simonpj]
Forgot to remove PrelNumExtra in the last commit

[project @ 1999-12-20 10:34:27 by simonpj]
This commit implements a substantial re-organisation of the Prelude
It also fixes a couple of small renamer bugs that were reported recently
(notably, Sven pointed out that we weren't reporting
unused imports properly)

My original goal was to get rid of all "orphan" modules (i.e. ones
with instance decls that don't belong either to a tycon or a class
defined in the same module).  This should reduce the number of
interface files that have to be read when compiling small Haskell
modules.

But like most expeditions into the Prelude Swamp, it spiraled out
of control.  The result is quite satisfactory, though.

GONE AWAY: PrelCCall, PrelNumExtra

NEW: PrelReal, PrelFloat, PrelByteArr, PrelNum.hi-boot

(The extra PrelNum.hi-boot is because of a tiresome thin-air Id, addr2Integer,
which used to be in PrelBase.)

Quite a lot of types have moved from one module to another,
which entails some changes to part of the compiler (PrelInfo, PrelMods) etc,
and there are a few places in the RTS includes and even in the driver
that know about these home modules (alas).

So the rough structure is as follows, in (linearised) dependency order
[this list now appears in PrelBase.lhs]

PrelGHC Has no implementation.  It defines built-in things, and
by importing it you bring them into scope.
The source file is PrelGHC.hi-boot, which is just
copied to make PrelGHC.hi

Classes: CCallable, CReturnable

PrelBase Classes: Eq, Ord, Functor, Monad
Types:   list, (), Int, Bool, Ordering, Char, String

PrelTup Types: tuples, plus instances for PrelBase classes

PrelShow Class: Show, plus instances for PrelBase/PrelTup types

PrelEnum Class: Enum,  plus instances for PrelBase/PrelTup types

PrelMaybe Type: Maybe, plus instances for PrelBase classes

PrelNum Class: Num, plus instances for Int
Type:  Integer, plus instances for all classes so far (Eq, Ord, Num, Show)

Integer is needed here because it is mentioned in the signature
of 'fromInteger' in class Num

PrelReal Classes: Real, Integral, Fractional, RealFrac
 plus instances for Int, Integer
Types:  Ratio, Rational
plus intances for classes so far

Rational is needed here because it is mentioned in the signature
of 'toRational' in class Real

Ix Classes: Ix, plus instances for Int, Bool, Char, Integer, Ordering, tuples

PrelArr Types: Array, MutableArray, MutableVar

Does *not* contain any ByteArray stuff (see PrelByteArr)
Arrays are used by a function in PrelFloat

PrelFloat Classes: Floating, RealFloat
Types:   Float, Double, plus instances of all classes so far

This module contains everything to do with floating point.
It is a big module (900 lines)
With a bit of luck, many modules can be compiled without ever reading PrelFloat.hi

PrelByteArr Types: ByteArray, MutableByteArray

We want this one to be after PrelFloat, because it defines arrays
of unboxed floats.

Other Prelude modules are much easier with fewer complex dependencies.