[project @ 2000-12-07 08:28:46 by simonpj]
wibble

[project @ 2000-12-07 08:28:05 by simonpj]
Workers get local names initially; nuke mkDerivedName

[project @ 2000-12-07 08:26:47 by simonpj]
Better handling of HsTupCon (tidy up + fix minor versioning bug)

[project @ 2000-12-07 08:22:53 by simonpj]
Tidy up the Persistent Renamer State structure a little

[project @ 2000-12-07 08:20:46 by simonpj]
Make it work even if mingw32_TARGET_OS is defined

[project @ 2000-12-07 08:19:53 by simonpj]
Fix the bogus -fwarn-unused-exports problem

[project @ 2000-12-07 08:18:18 by simonpj]
Tidy up envs a bit

[project @ 2000-12-07 08:17:55 by simonpj]
Better z-encoding for unboxed tuples

[project @ 2000-12-06 17:27:17 by sewardj]
#ifdef wibbles

[project @ 2000-12-06 16:15:23 by sewardj]
import wibble

[project @ 2000-12-06 15:23:31 by sewardj]
Tons of tedious crud which we will henceforth refer to politely as
"the bytecode assembler".

[project @ 2000-12-06 15:20:24 by simonmar]
Fix the hack that makes up a new Id for a dynamic ccall.  I tried
moving this to CoreSat, but it wasn't convenient to do it there: the
modification needs to happen at the occurrence of the ccall Id rather
than a binding.

[project @ 2000-12-06 14:25:13 by simonmar]
Reinstate the gruesome hack that makes seq work.

[project @ 2000-12-06 13:19:49 by simonmar]
Re-engineer the transition from Core to STG syntax.  Main changes in
  this commit:

    - a new pass, CoreSat, handles saturation of constructors and PrimOps,
      and puts the syntax into STG-like normal form (applications to atoms
      only, etc), modulo type applications and Notes.

    - CoreToStg is now done at the same time as StgVarInfo.  Most of the
      contents of StgVarInfo.lhs have been copied into CoreToStg.lhs and
      some simplifications made.

  less major changes:

    - globalisation of names for the purposes of object splitting is
      now done by the C code generator (which is the Right Place in
      principle, but it was a bit fiddly).

    - CoreTidy now does cloning of local binders and collection of arity
      info.  The IdInfo from CoreTidy is now *almost* the final IdInfo we
      put in the interface file, except for CafInfo.  I'm going to move
      the CafInfo collection into CoreTidy in due course too.

    - and some other minor tidyups while I was in cluster-bomb commit mode.

[project @ 2000-12-06 13:03:28 by simonmar]
Re-engineer the transition from Core to STG syntax.  Main changes in
this commit:

  - a new pass, CoreSat, handles saturation of constructors and PrimOps,
    and puts the syntax into STG-like normal form (applications to atoms
    only, etc), modulo type applications and Notes.

  - CoreToStg is now done at the same time as StgVarInfo.  Most of the
    contents of StgVarInfo.lhs have been copied into CoreToStg.lhs and
    some simplifications made.

less major changes:

  - globalisation of names for the purposes of object splitting is
    now done by the C code generator (which is the Right Place in
    principle, but it was a bit fiddly).

  - CoreTidy now does cloning of local binders and collection of arity
    info.  The IdInfo from CoreTidy is now *almost* the final IdInfo we
    put in the interface file, except for CafInfo.  I'm going to move
    the CafInfo collection into CoreTidy in due course too.

  - and some other minor tidyups while I was in cluster-bomb commit mode.

[project @ 2000-12-06 11:20:14 by sewardj]
Handle tagging correctly (we hope :) -- don't tag up stuff to go into
constructors.

Also rearrange order of code for readability.

[project @ 2000-12-05 17:30:34 by sewardj]
Rework to be more convenient for assembly.  Now each BCO is a long
sequence of insns; case-switching code is explicit, and the alts are
all concatenated.  Assembly should then be doable with two simple
passes over the sequence.

[project @ 2000-12-05 16:59:03 by rrt]
Correct some merged variable names which have changed from_this toThis.

[project @ 2000-12-05 12:24:09 by simonmar]
wibble

[project @ 2000-12-05 12:20:55 by simonmar]
- print "compilation IS NOT required" in one-shot mode
- don't print extra newline in verbosity==0 mode

[project @ 2000-12-05 12:19:49 by rrt]
no_hs_main had become v_noHsMain, but I tried to reintroduce the old
version. Now hopefully fixed.

[project @ 2000-12-05 12:15:19 by rrt]
Declare no_hs_main

[project @ 2000-12-05 12:09:43 by sewardj]
Partially fix driver breakage.

[project @ 2000-12-04 16:42:14 by rrt]
Merge changes from old driver in before-ghci-branch.

[project @ 2000-12-04 16:22:38 by sewardj]
Add Outputable instances.

[project @ 2000-12-04 16:02:20 by sewardj]
First shot at the bytecode generator.  It isn't yet connected to the rest
of GHCi, and doesn't have a way to assemble the bytecodes, but at least
it typechecks :-)

[project @ 2000-12-04 13:46:37 by simonmar]
change paths to match haxml->HaXml change

[project @ 2000-12-04 12:31:19 by simonmar]
merge recent changes from before-ghci-branch onto the HEAD

[project @ 2000-12-04 11:29:22 by simonmar]
bugfix for GHCi lib building

[project @ 2000-12-04 11:26:14 by simonmar]
don't conflict with new Ptr type.

[project @ 2000-12-01 21:53:59 by simonmar]
build cbits libraries correctly for GHCi.

[project @ 2000-12-01 13:42:52 by simonpj]
Towards better eta expansion

[project @ 2000-12-01 12:38:47 by simonpj]
Fix the qualified-as problem;  M.as is now OK

[project @ 2000-12-01 12:38:10 by simonpj]
Add test for special Ids

[project @ 2000-12-01 10:33:41 by cryder]
Initial revision

[project @ 2000-11-30 15:46:01 by simonpj]
Make the tests for -fglasgow-exts apply only to source code.
  If you merely import a module that uses (say) multi-parameter
  type classes internally, you shouldn't need -fglasgow-exts.

  There were surprisingly few places to change.

[project @ 2000-11-30 15:44:44 by simonpj]
wibble

[project @ 2000-11-30 15:44:09 by simonpj]
Tidy export list

[project @ 2000-11-28 14:41:54 by sewardj]
Properly fix exiting from the interpreter.

[project @ 2000-11-28 14:12:42 by simonmar]
unused import

[project @ 2000-11-28 13:22:50 by sewardj]
Use ptext rather than text for doing constant data and strings.

[project @ 2000-11-28 12:58:02 by sewardj]
Just return on exit rather than doing exitWith, so tmp files get deleted.

[project @ 2000-11-28 11:38:35 by simonpj]
Trim example

[project @ 2000-11-28 11:37:14 by sewardj]
Don't try and read your own interface from disk in interactive mode.

[project @ 2000-11-28 11:03:45 by sewardj]
Cleanup, debug, of upsweep-avoidance stuff.

[project @ 2000-11-28 08:25:57 by simonpj]
Add second functional dependency test

[project @ 2000-11-28 08:23:42 by simonpj]
Add functional dependency test

[project @ 2000-11-27 17:46:09 by sewardj]
rm debug printing

[project @ 2000-11-27 17:45:07 by sewardj]
First shot at avoiding starting upsweep at the bottom.  Still a bit
flaky; needs cleaning up.

[project @ 2000-11-27 17:44:15 by sewardj]
Add a couple of primops to handle derived Eq/Ord methods.

[project @ 2000-11-27 17:43:45 by sewardj]
Add a case to hsSigFVs.

[project @ 2000-11-27 16:10:29 by simonpj]
Get default methods right

[project @ 2000-11-27 15:25:25 by simonmar]
one-character wibble

[project @ 2000-11-27 14:37:55 by simonpj]
Dont print uniques in interface files; tidying should have sorted it out

[project @ 2000-11-27 14:23:03 by sewardj]
Call rnDump in closeIfaceDecls.

[project @ 2000-11-27 12:52:36 by sewardj]
Update modules and current_module in reloadModule.

[project @ 2000-11-27 12:10:01 by sewardj]
Look for "highest" module at head of list cmLoadModule returns

[project @ 2000-11-27 12:04:23 by simonpj]
Generate correct sys-names in MkIface (again)

[project @ 2000-11-27 12:04:00 by rrt]
Changed LATEX2HTML to HEVEA, and added HACHA support.

[project @ 2000-11-27 12:00:40 by simonpj]
Generate correct sys-names in MkIface

[project @ 2000-11-27 11:58:55 by sewardj]
Remember to set GHCiState.target the first time.

[project @ 2000-11-27 11:36:27 by sewardj]
cmLoadModule: try and return the "highest" achieved module at the head
of the list, so that the interactive UI winds up in a plausible module.

[project @ 2000-11-27 11:12:04 by rrt]
Improve hevea (.tex -> .html) rule

[project @ 2000-11-27 11:04:38 by simonpj]
Default methods are sys-binders

[project @ 2000-11-27 10:57:36 by rrt]
No more vsgml.

[project @ 2000-11-27 10:54:35 by rrt]
Added hevea.

[project @ 2000-11-27 10:53:09 by rrt]
vsgml? What's that?

[project @ 2000-11-27 10:52:29 by rrt]
Removed vsgml->sgml rule: we no longer have vsgml.

[project @ 2000-11-27 10:52:07 by rrt]
Removed second copy of sgml->ps rule and added latex->html rule (for use
with HeVeA).

[project @ 2000-11-27 10:51:14 by sewardj]
Nuked.  (Decided not to go this route in the end).

[project @ 2000-11-27 10:48:10 by simonmar]
rename filterNameEnv-->filterNameMap to avoid clash with Name.filterNameEnv.

[project @ 2000-11-27 09:55:43 by simonpj]
Fixes to new version machinery

[project @ 2000-11-24 17:09:52 by simonmar]
- Bug fixes to the interpreter.  Now much more stable - it hasn't crashed
  all day.

- Many improvements to the user interface (eg. :set +t and :set +s
  work just like Hugs).

- Several wibbles & message improvements: the interpreter now informs you
  when it's loading the object code for a given module.

[project @ 2000-11-24 17:02:01 by simonpj]
1. Make the new version machinery work.
   I think it does now!

2. Consequence of (1): Move the generation of
   default method names to one place (namely
   in RdrHsSyn.mkClassOpSigDM

3. Major clean up on HsDecls.TyClDecl
   These big constructors should have been records
   ages ago, and they are now.  At last.

[project @ 2000-11-24 09:51:38 by simonpj]
Unused imports and suchlike

[project @ 2000-11-24 09:51:03 by simonpj]
Version management

[WARNING: may not work!  Don't update till I've tested it.]

This commit is a first stab at getting version management to
work properly.  The main trick is to get consistent naming when
comparing old and new versions of the same module.

Some functionality has moved arond between
  coreSyn/CoreTidy, which tidies up the result of
the middle end of the compiler
Main change: now responsible for figuring out which
Ids are "external" (i.e visible to importing modules),
and constructing the final IdInfo for each Id

  main/MkIface, which produces the ModIface and ModDetails
for the module being compiled
Main change: CoreTidy does more, so MkIface does less

  stgSyn/CoreToStg, which converts Core to STG
Main change: responsible for globalising internal
names when we are doing object code splitting

The game plan is documented at the top of CoreTidy.

[project @ 2000-11-24 09:24:40 by simonpj]
Slurp unpackCString even for interfaces

[project @ 2000-11-23 14:35:01 by simonmar]
more hacking

[project @ 2000-11-22 17:51:16 by simonmar]
Today's hacking; more things work, but StgInterp is rapidly heading
for a brick wall.  Fortunately we're planning to swerve at the last
minute.

[project @ 2000-11-22 16:58:31 by sewardj]
Infrastructure for the (machine-independent) assembler.

[project @ 2000-11-22 15:51:48 by simonmar]
:l now unloads the previously loaded module collection before loading
the new ones.  This allows you to :l Main, :cd <somewhere-else> and :l
Main again without it saying "compilation IS NOT required".

[project @ 2000-11-22 12:27:57 by simonmar]
omit PrelMain from the GHCi library.

[project @ 2000-11-22 12:22:15 by simonmar]
remove some duplicate showPasses.

[project @ 2000-11-22 12:19:29 by simonmar]
message wibble

[project @ 2000-11-22 12:14:56 by simonmar]
add stuff for building GHCi libraries automatically.

[project @ 2000-11-22 11:18:40 by simonmar]
Fix problems with errors during renaming causing the PIT to get out of
whack.

[project @ 2000-11-22 11:12:52 by simonmar]
typos

[project @ 2000-11-22 10:56:53 by simonmar]
- :type now prints names unqualified when possible.
- :module is implemented

[project @ 2000-11-22 10:13:43 by sewardj]
Don't commit junk in the Makefile :-(

[project @ 2000-11-22 10:01:45 by sewardj]
compiling-with-4.08.1 wibbles

[project @ 2000-11-22 09:24:42 by simonmar]
message wibbles: don't print "compilation IS required" in -v0 mode.

[project @ 2000-11-21 16:42:58 by simonmar]
Bugfixes, bugfixes:

  - allow compiling expressions in the context of any module we have
    an interface for, including "Prelude".
  - don't forget to pull in things like unpackCString# in the renamer,
    we might need to use them for desugaring Strings, for example.  I'm
    sure there are other things we'll need to pull in too.
  - :quit now works from the interpreter (!)

[project @ 2000-11-21 16:33:18 by simonmar]
Zonk the expr we return from typecheckExpr.

[project @ 2000-11-21 16:31:51 by sewardj]
Delete pci field from PersistentCMState.  Now that the list of available
packages is a global variable (v_Packages), there's no point in having it
in PersistentCMState.

[project @ 2000-11-21 16:30:04 by simonmar]
merge rev. 1.9.2.6

[project @ 2000-11-21 16:29:26 by simonmar]
merge rev. 1.44.2.4

[project @ 2000-11-21 16:19:15 by sewardj]
Message wibbles.

[project @ 2000-11-21 16:18:17 by sewardj]
Only let the finder see the set of packages which will be available for
linking with, rather than all available packages.

[project @ 2000-11-21 15:41:10 by sewardj]
Add dummy import dependency to CgExpr so that booting in batch mode works.

[project @ 2000-11-21 15:00:57 by simonmar]
* :t works !!!  (but it's a bit excessive about qualifying everything
  at the moment).

* lots of other things work.