[project @ 2000-12-12 14:42:43 by simonmar]
wibble: get the exception handlers round the right way

[project @ 2000-12-12 14:35:08 by simonmar]
Clean up the error handling a bit; the exception type is moved to
Panic, and a new exception for panics has been added.

[project @ 2000-12-12 13:57:58 by simonmar]
turn off recompilation checking in here

[project @ 2000-12-12 13:57:40 by simonmar]
Allow for compiling to .hc only (substitute for now-defunct -noC option)

[project @ 2000-12-12 13:27:18 by simonmar]
Make the foreign export dynamic helper function "exported", so it
doesn't get thrown away.

[project @ 2000-12-12 12:19:57 by simonmar]
- Add primops for {read,write,index}{Int,Word}{8,16,32,64}OffAddr.
    This enables us to remove all the _casm_s from Int/Word.

  - Replace new{Char,Int,etc.}Array# with newByteArray# (save a few primops,
    at the cost of having to know the size of these types in PrelArr).

  - Implement MArray/IArray support for sized types.  finally.

  - Move the guts of the sized types into ghc/lib/std, we'll need
    them for doing more FFIish things in the Prelude.

[project @ 2000-12-12 12:10:08 by simonmar]
Treat an unhandled exception in the same way as a panic (i.e. the
`impossible' happened), to make it clear that these really are
compiler bugs.

[project @ 2000-12-12 10:11:21 by sewardj]
booting wibble

[project @ 2000-12-12 10:02:57 by sewardj]
make it compile with #define NO_READLINE

[project @ 2000-12-11 18:41:01 by sewardj]
Changes to how literals are pushed on the stack

[project @ 2000-12-11 18:40:28 by sewardj]
import wibble

[project @ 2000-12-11 17:59:01 by sewardj]
stagger ever onwards

[project @ 2000-12-11 17:51:57 by simonmar]
ANSIfy

[project @ 2000-12-11 17:51:34 by simonmar]
gc unused imports

[project @ 2000-12-11 17:01:32 by simonmar]
add foreignPtr names

[project @ 2000-12-11 16:56:47 by simonmar]
add ForeignPtr

[project @ 2000-12-11 16:42:26 by sewardj]
head -> head bootability wibbles (rm disallowed OPTIONS pragmas)

[project @ 2000-12-11 16:15:03 by simonmar]
Put back accidentally butchered Config.hs

[project @ 2000-12-11 15:26:00 by sewardj]
More driver straightening-out.

[project @ 2000-12-11 14:42:21 by sewardj]
Remove circular dependencies created by kludgedSystem.

[project @ 2000-12-11 12:59:25 by simonmar]
bco wibbles.

[project @ 2000-12-11 12:56:13 by simonmar]
New BCO primops.

[project @ 2000-12-11 12:55:43 by sewardj]
Remove the old bytecode interpreter and add the new one.

[project @ 2000-12-11 12:53:44 by sewardj]
wibble

[project @ 2000-12-11 12:50:52 by sewardj]
Are now redundant since GHCi does bytecode assembly in Haskell-land
(fptools/ghc/compiler/ghci/ByteCodeGen.lhs).

[project @ 2000-12-11 12:40:24 by simonmar]
add missing #includes.

[project @ 2000-12-11 12:36:59 by simonmar]
- update representation of BCOs
- add setHeapSize for use from within GHC

[project @ 2000-12-11 12:30:58 by rrt]
Use kludgedSystem instead of system to work sanely (AFATIP) on Windows.

[project @ 2000-12-11 12:15:15 by simonmar]
allow all the dynamic -f* flags to be reversed with -fno-*

[project @ 2000-12-11 11:41:08 by simonmar]
* -fno-strictness et al. were in the wrong set of flags.
* remove static version of -fno-implicit-prelude

[project @ 2000-12-11 11:40:32 by simonmar]
-fno-implicit-prelude isn't a static flag any more

[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