[project @ 2000-12-11 10:18:51 by simonmar]
remove old driver.

[project @ 2000-12-08 21:28:15 by qrczak]
Let newtypes in stub files generate correct C type names.
It worked in ghc-4.09 but was not merged into 4.11?

[project @ 2000-12-08 15:46:29 by sewardj]
Unboxed returns, + a little peephole optimisation.

[project @ 2000-12-08 15:45:55 by sewardj]
FILE RENAME: from fptools/ghc/rts/Bytecodes.h
               to fptools/ghc/includes/Bytecodes.h

[project @ 2000-12-08 14:34:52 by sewardj]
Wibble

[project @ 2000-12-08 13:56:18 by sewardj]
Correctly unpack constructors onto the stack.

[project @ 2000-12-08 13:44:28 by simonpj]
LiberateCase fiddling

[project @ 2000-12-08 13:20:52 by simonpj]
Bogons in previous commit

[project @ 2000-12-08 12:56:00 by simonpj]
Get CAF info right

[project @ 2000-12-08 12:32:15 by simonpj]
Some renaming in HscTypes

[project @ 2000-12-08 12:18:19 by rrt]
Add #include of ghc/includes/config.h so tests of TARGET_OS_mingw32 work.

[project @ 2000-12-08 12:13:13 by simonpj]
Correct CPR information.  How it ever worked I don't know.

* The CPR info on a newtype constructor should be NoCPR, whereas
  before it was ReturnsCPR!

* Minor: don't change CPR info on implicit Ids

[project @ 2000-12-08 12:02:25 by simonpj]
Slight repackaging in HscMain

[project @ 2000-12-08 12:01:44 by simonpj]
Rename omitIfaceSigForId to isImplicitId

[project @ 2000-12-08 11:47:00 by rrt]
config.h depends not just on fptools/mk/config.h but on
fptools/mk/config.mk, for architecture information.

[project @ 2000-12-08 10:26:41 by simonmar]
add -fno-{cse,cpr,strictness} flags.

[project @ 2000-12-08 10:09:49 by simonmar]
Don't need to set the CafInfo on non-top-level Ids, the default is
correct now.

[project @ 2000-12-08 09:54:47 by simonmar]
change the default CafInfo to NoCafRefs, to avoid PrimOps,
constructors and other random Ids from declaring that they refer to
CAFs.

[project @ 2000-12-08 09:46:16 by simonpj]
Add documentation on -fno-monomorphism-restriction

[project @ 2000-12-08 09:45:41 by simonpj]
Add -fno-monomorphism-restriction

[project @ 2000-12-08 09:45:19 by simonpj]
Comment

[project @ 2000-12-08 09:44:51 by simonpj]
Complete Simons arity/caf changes

[project @ 2000-12-08 09:39:05 by simonmar]
use $(GHC) for $(MKDEPENDHS), since $(GHC_INPLACE) isn't built yet.
There's a minor problem with this, in that if you've added any options
to GhcLibHcOpts that are specific to the new compiler, 'make boot'
won't work.  bleugh.

[project @ 2000-12-07 17:26:30 by simonmar]
Figure out CafInfo during CoreTidy.  This is the final piece of the
puzzle in getting the final IdInfo from the Core2Core phases, rather
than waiting for the STG code.

This simplifies the SRT phase, in that it no longer has to have a
complicated circular algorithm to figure out the CafInfo at the same
time as the SRT layout.

[project @ 2000-12-07 16:39:40 by simonmar]
touch the object file in the HscNoRecomp case (duh)

[project @ 2000-12-07 14:50:29 by sewardj]
Fix many obvious bogons and partially emerge from Wrong Stack Offset Hell.

[project @ 2000-12-07 11:00:43 by sewardj]
Minor enhancements to printing machinery to aid debugging the BC generator.

[project @ 2000-12-07 10:36:03 by simonpj]
Dont drop inline-mes quite so easily.  This was leading to substWorker warnings.

[project @ 2000-12-07 10:06:20 by simonpj]
Dont warn about uses of deprecated things in its own module

[project @ 2000-12-07 09:28:42 by simonpj]
Do a better job of eta expansion.

This showed up in one of Manuel's programs, where he got code like:

    $wsimpleGen
     ww
     (\ i :: Int ->
  case i of wild1 { I# i# ->
  case w of wild2 { I# e# ->
  __coerce (ST RealWorld ())
  (\ s# :: (State# RealWorld) ->
       case writeIntArray# @ RealWorld mba# i# e# s#
       of s2#1 { __DEFAULT ->
       (# s2#1, () #)
       })
  }
  })
     s2#

The argument wasn't eta expanded, so it got right through to
the code generator as two separte lambdas.

Needless to say, I fiddled around with things in a vain attempt
to tidy them up.  Yell if anything seems to go wrong, or perfomance
drops on any programs.

[project @ 2000-12-07 09:21:25 by simonpj]
Improve iface diffs messages

[project @ 2000-12-07 09:12:33 by simonpj]
Errors and warnings were back to front

[project @ 2000-12-07 09:12:01 by simonpj]
Add foldOL

[project @ 2000-12-07 09:10:32 by simonpj]
Be very keen to inline simple primops.
  We give a discount of 1 for each arg so that (op# x y z) costs 1.
  I found occasions where we had
f x y z = case op# x y z of { s -> (# s, () #) }
  and f wasn't getting inlined

[project @ 2000-12-07 08:29:05 by simonpj]
Tidy up functional dependencies slightly

[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.