ghc.git
12 years agoInclude build.mk or validate{,-settings}.mk through custom-settings.mk
Ian Lynagh [Tue, 18 Sep 2007 20:06:37 +0000 (20:06 +0000)] 
Include build.mk or validate{,-settings}.mk through custom-settings.mk

12 years agoInstall extra-gcc-opts in bindists
Ian Lynagh [Tue, 18 Sep 2007 19:48:39 +0000 (19:48 +0000)] 
Install extra-gcc-opts in bindists

12 years agoAdd validate.mk to .darcs-boring
Ian Lynagh [Tue, 18 Sep 2007 18:45:09 +0000 (18:45 +0000)] 
Add validate.mk to .darcs-boring

12 years agoadd support for EM_AMD64 elf machine type, openbsd/amd64 ghci works
Don Stewart [Sun, 16 Sep 2007 03:48:45 +0000 (03:48 +0000)] 
add support for EM_AMD64 elf machine type, openbsd/amd64 ghci works

12 years agopatch Linker.c for amd64/openbsd
Don Stewart [Sun, 16 Sep 2007 01:27:28 +0000 (01:27 +0000)] 
patch Linker.c for amd64/openbsd

12 years agoMERGED: Another attempt at getting bindists working everywhere
Ian Lynagh [Tue, 18 Sep 2007 16:33:31 +0000 (16:33 +0000)] 
MERGED: Another attempt at getting bindists working everywhere
Ian Lynagh <igloo@earth.li>**20070916005328] {

12 years agoTune coalescing in non-iterative register allocator
Ben.Lippmeier@anu.edu.au [Mon, 17 Sep 2007 13:26:14 +0000 (13:26 +0000)] 
Tune coalescing in non-iterative register allocator

If iterative coalescing isn't turned on, then do a single aggressive
coalescing pass for the first build/color cycle and then back off to
conservative coalescing for subseqent passes.

Aggressive coalescing is a cheap way to eliminate lots of the reg-reg
moves, but it can make the graph less colorable - if we turn it on
for every pass then allocation for code with a large amount of register
pressure (ie SHA1) doesn't converge in a sensible number of cycles.

12 years agoBugfix to iterative coalescer
Ben.Lippmeier@anu.edu.au [Mon, 17 Sep 2007 12:42:41 +0000 (12:42 +0000)] 
Bugfix to iterative coalescer

Coalescences must be applied to the unsimplified graph in the same order
they were found by the iterative coalescing algorithm - otherwise
the vreg rewrite mapping will be wrong and badness will ensue.

12 years agoAdd -dasm-lint
Ben.Lippmeier@anu.edu.au [Mon, 17 Sep 2007 11:30:24 +0000 (11:30 +0000)] 
Add -dasm-lint

When -dasm-lint is turned on the register conflict graph is checked for
internal consistency after each build/color pass. Make sure that all
edges point to valid nodes, that nodes are colored differently to their
neighbours, and if the graph is supposed to be colored, that all nodes
actually have a color.

12 years agoCount CmmTops processed so far in the native code generator
Ben.Lippmeier@anu.edu.au [Fri, 14 Sep 2007 16:42:34 +0000 (16:42 +0000)] 
Count CmmTops processed so far in the native code generator
To help with debugging / nicer -ddump-asm-regalloc-stages

12 years agoChange spill cost function back to inverse length of live range.
Ben.Lippmeier@anu.edu.au [Fri, 14 Sep 2007 16:14:08 +0000 (16:14 +0000)] 
Change spill cost function back to inverse length of live range.

On further testing it turns out that using Chaitin's spill cost formula
of counting the number of uses of a var and then dividing by the degree
of the node isn't actually a win. Perhaps because this isn't counting
the number of actual spills inserted in the output code.

This would be worth revisiting if other work manages to increase the
register pressure in the native code.

12 years agoReplace missing '#' on options pragma
Ben.Lippmeier@anu.edu.au [Fri, 14 Sep 2007 09:43:20 +0000 (09:43 +0000)] 
Replace missing '#' on options pragma

12 years agoBetter cleaning of spills in spill cleaner
Ben.Lippmeier@anu.edu.au [Fri, 14 Sep 2007 09:39:07 +0000 (09:39 +0000)] 
Better cleaning of spills in spill cleaner

Track what slots each basic block reloads from. When cleaning spill
instructions we can use this information to decide whether the slot
spilled to will ever be read from on this path.

12 years agoadded node to push a closure onto the current call context
Norman Ramsey [Mon, 17 Sep 2007 17:29:39 +0000 (17:29 +0000)] 
added node to push a closure onto the current call context

12 years agotightened some dataflow code as part of preparing a talk
Norman Ramsey [Mon, 17 Sep 2007 16:17:15 +0000 (16:17 +0000)] 
tightened some dataflow code as part of preparing a talk

12 years agoadded 'filterRegsUsed' to CmmExpr
Norman Ramsey [Mon, 17 Sep 2007 16:16:34 +0000 (16:16 +0000)] 
added 'filterRegsUsed' to CmmExpr

12 years agoWriting out .tix file only if you are the original process, not a child.
andy@galois.com [Mon, 17 Sep 2007 23:06:41 +0000 (23:06 +0000)] 
Writing out .tix file only if you are the original process, not a child.
This lets us gain coverage on programs that use fork, like xmonad.

* To be merged to STABLE *

12 years agoremoving the functions hs_hpc_read and hs_hpc_write inside Hpc.c, they are dead code.
andy@galois.com [Mon, 17 Sep 2007 23:02:01 +0000 (23:02 +0000)] 
removing the functions hs_hpc_read and hs_hpc_write inside Hpc.c, they are dead code.

* To be merged to STABLE. *

12 years agoClean stage<n>/ghc-inplace.c
Ian Lynagh [Mon, 17 Sep 2007 09:43:00 +0000 (09:43 +0000)] 
Clean stage<n>/ghc-inplace.c

12 years agoComments only
simonpj@microsoft.com [Mon, 17 Sep 2007 16:11:33 +0000 (16:11 +0000)] 
Comments only

12 years agoLoosen the syntax of types slightly
simonpj@microsoft.com [Mon, 17 Sep 2007 16:07:08 +0000 (16:07 +0000)] 
Loosen the syntax of types slightly

This change allows you to write
f :: (Eq a) => (Ord b) => a -> b -> b
Previously you could only have a forall and context after '->'
but not after '=>' which is strange and inconsistent.

Making the parser a bit more generous didn't change the number
of shift/reduce conflicts.

tc236 tests.

12 years agoavoid platform dependencies: my_uintptr_t ==> StgWord
Simon Marlow [Mon, 17 Sep 2007 12:01:56 +0000 (12:01 +0000)] 
avoid platform dependencies: my_uintptr_t ==> StgWord

12 years agoFIX: TypeFamilies: should_compile/Simple12
Manuel M T Chakravarty [Sun, 16 Sep 2007 13:04:19 +0000 (13:04 +0000)] 
FIX: TypeFamilies: should_compile/Simple12
- checkTauTvUpdate now distinguishes between whether
  (1) a type variables occurs only in type family parameters
      (in which case unification is to be deferred)
  (2) other variable occurences
      (which case we fail with a cannot create infinite type message, as before)

12 years agoKeep valgrind happy when calling timer_create
sven.panne@aedion.de [Sun, 16 Sep 2007 11:19:27 +0000 (11:19 +0000)] 
Keep valgrind happy when calling timer_create
Fill all of the sigevent structure with zeroes before individual fields are
set. Although not strictly necessary, this keeps tools like valgrind from
complaining about passing uninitialized data, which is a good thing.

MERGE TO STABLE

12 years agoreloads are now sunk as deep as possible
Norman Ramsey [Sat, 15 Sep 2007 21:54:14 +0000 (21:54 +0000)] 
reloads are now sunk as deep as possible

12 years agoadded instance declarations so we can fold over local registers used in Middle and...
Norman Ramsey [Sat, 15 Sep 2007 21:53:37 +0000 (21:53 +0000)] 
added instance declarations so we can fold over local registers used in Middle and Last nodes

12 years agoadded monadic mapM_blocks. the fear, the fear...
Norman Ramsey [Sat, 15 Sep 2007 21:53:03 +0000 (21:53 +0000)] 
added monadic mapM_blocks.  the fear, the fear...

12 years agofix misspelled constructor
Norman Ramsey [Sat, 15 Sep 2007 21:52:38 +0000 (21:52 +0000)] 
fix misspelled constructor

12 years agoadd another way to run in the fuel monad (this is a mess right now)
Norman Ramsey [Sat, 15 Sep 2007 21:51:38 +0000 (21:51 +0000)] 
add another way to run in the fuel monad (this is a mess right now)

12 years agolay ground for more readable dumping of CmmGraph
Norman Ramsey [Sat, 15 Sep 2007 20:18:49 +0000 (20:18 +0000)] 
lay ground for more readable dumping of CmmGraph

12 years agoadd a function to help identify unique predecessors
Norman Ramsey [Sat, 15 Sep 2007 20:17:46 +0000 (20:17 +0000)] 
add a function to help identify unique predecessors

12 years agoscrub away remaining MidNop
Norman Ramsey [Sat, 15 Sep 2007 20:17:19 +0000 (20:17 +0000)] 
scrub away remaining MidNop

12 years agochanges needed to get map_blocks to actually compile :-(
Norman Ramsey [Sat, 15 Sep 2007 20:16:51 +0000 (20:16 +0000)] 
changes needed to get map_blocks to actually compile :-(

12 years agoremove an unwanted language extension
Norman Ramsey [Sat, 15 Sep 2007 20:15:25 +0000 (20:15 +0000)] 
remove an unwanted language extension

12 years agodrop the old, redundant implementation of postorder_dfs
Norman Ramsey [Sat, 15 Sep 2007 20:14:48 +0000 (20:14 +0000)] 
drop the old, redundant implementation of postorder_dfs

12 years agoeliminate the last vestige of UniqSM from ZipCfg
Norman Ramsey [Sat, 15 Sep 2007 20:14:14 +0000 (20:14 +0000)] 
eliminate the last vestige of UniqSM from ZipCfg

12 years agoadd map_blocks to ZipCfg
Norman Ramsey [Sat, 15 Sep 2007 20:13:55 +0000 (20:13 +0000)] 
add map_blocks to ZipCfg

12 years agoget rid of MidNop
Norman Ramsey [Sat, 15 Sep 2007 20:12:43 +0000 (20:12 +0000)] 
get rid of MidNop

12 years agoget freshBlockId out of ZipCfg and bury it in MkZipCfg where it belongs
Norman Ramsey [Sat, 15 Sep 2007 20:10:30 +0000 (20:10 +0000)] 
get freshBlockId out of ZipCfg and bury it in MkZipCfg where it belongs

12 years agoMake DESTDIR work again
sven.panne@aedion.de [Sun, 16 Sep 2007 08:43:39 +0000 (08:43 +0000)] 
Make DESTDIR work again
installPackage is a horror, using --force is probably not the perfect way
to make DESTDIR functionality work again, but given the current state of
affairs, I can't find a quick and clean solution.

MERGE TO STABLE

12 years agoResurrect the "lib" subdirectory in the installation tree, it was somehow lost
sven.panne@aedion.de [Sun, 16 Sep 2007 08:41:22 +0000 (08:41 +0000)] 
Resurrect the "lib" subdirectory in the installation tree, it was somehow lost
Having all package directory directly in the toplevel installation directory
would be a bad thing because of potential name clashes, and it wasn't done this
way earlier, so reinstantiate the old layout.

MERGE TO STABLE

12 years agoOverhaul of the rewrite rules
Manuel M T Chakravarty [Sat, 15 Sep 2007 07:41:19 +0000 (07:41 +0000)] 
Overhaul of the rewrite rules
- Cleaned up and simplified rules
- Added many missing cases
- The rules OccursCheck and swap have been eliminated and integrate with
  the other rules; ie, Subst and Unify perform the occurs check themselves
  and they can deal with left-to-right and right-to-left oriented rewrites.
  This makes the code simpler and more efficient.
- Also added comments.

12 years agoadded foldUFM_Directly, used where appropriate, killed all warnings
Norman Ramsey [Sat, 15 Sep 2007 19:06:17 +0000 (19:06 +0000)] 
added foldUFM_Directly, used where appropriate, killed all warnings

12 years ago(temporarily) check consistency of new postorder DFS no matter what DEBUG is
Norman Ramsey [Sat, 15 Sep 2007 13:39:04 +0000 (13:39 +0000)] 
(temporarily) check consistency of new postorder DFS no matter what DEBUG is

12 years agoWibbles to MkZipCfgCmm stuff
simonpj@microsoft.com [Fri, 14 Sep 2007 17:01:19 +0000 (17:01 +0000)] 
Wibbles to MkZipCfgCmm stuff

Watch out: I've added MkZipCfg.sequence, which clashes with the
Prelude (like some other names in MkZipCfg.  Maybe you can think
of a better name for it.

12 years agomake remove_entry_label actually work inside ZipDataflow
Norman Ramsey [Fri, 14 Sep 2007 14:54:35 +0000 (14:54 +0000)] 
make remove_entry_label actually work inside ZipDataflow

12 years agoexport 'entry' from ZipCfg, at least for now
Norman Ramsey [Fri, 14 Sep 2007 14:54:17 +0000 (14:54 +0000)] 
export 'entry' from ZipCfg, at least for now

12 years agoRemove export of remove_entry_label
simonpj@microsoft.com [Fri, 14 Sep 2007 13:52:11 +0000 (13:52 +0000)] 
Remove export of remove_entry_label

12 years agoreplace #ifdef DEBUG with debugIsOn in cmm/MkZipCfg
Norman Ramsey [Fri, 14 Sep 2007 13:42:02 +0000 (13:42 +0000)] 
replace #ifdef DEBUG with debugIsOn in cmm/MkZipCfg

12 years agonew signatures for splicing functions, new postorder_dfs
Norman Ramsey [Thu, 13 Sep 2007 17:36:53 +0000 (17:36 +0000)] 
new signatures for splicing functions, new postorder_dfs

12 years agotidying cmm/CmmSpillReload.hs
Norman Ramsey [Thu, 13 Sep 2007 17:35:12 +0000 (17:35 +0000)] 
tidying cmm/CmmSpillReload.hs

12 years agotidying cmm/CmmLiveZ.hs
Norman Ramsey [Thu, 13 Sep 2007 17:34:46 +0000 (17:34 +0000)] 
tidying cmm/CmmLiveZ.hs

12 years agoUnbreak "clean" and "distclean" targets when there is no testsuite
sven.panne@aedion.de [Sat, 15 Sep 2007 08:58:45 +0000 (08:58 +0000)] 
Unbreak "clean" and "distclean" targets when there is no testsuite

12 years agoUse sed to make stage-specific ghc-inplace.c's
Ian Lynagh [Fri, 14 Sep 2007 23:34:46 +0000 (23:34 +0000)] 
Use sed to make stage-specific ghc-inplace.c's
When trying to do it with -D we were having trouble getting the double
quotes through in all Windows configurations.

12 years agoFix copy+paste-o, spotted by Simon Marlow
Ian Lynagh [Fri, 14 Sep 2007 14:26:50 +0000 (14:26 +0000)] 
Fix copy+paste-o, spotted by Simon Marlow

12 years agoAdd documentation about -shared, shared library name mangling, and a xrefs
Clemens Fruhwirth [Fri, 14 Sep 2007 20:45:38 +0000 (20:45 +0000)] 
Add documentation about -shared, shared library name mangling, and a xrefs

12 years agodistclean: ghcprof-inplace
Simon Marlow [Fri, 14 Sep 2007 12:55:42 +0000 (12:55 +0000)] 
distclean: ghcprof-inplace

12 years agodistclean: <lib>/.depend[.bak]
Simon Marlow [Fri, 14 Sep 2007 12:55:32 +0000 (12:55 +0000)] 
distclean: <lib>/.depend[.bak]

12 years agodistclean: extra-gcc-opts, testsuite
Simon Marlow [Fri, 14 Sep 2007 12:54:44 +0000 (12:54 +0000)] 
distclean: extra-gcc-opts, testsuite

12 years agofix install-docs for non-html docs
Simon Marlow [Fri, 14 Sep 2007 09:37:38 +0000 (09:37 +0000)] 
fix install-docs for non-html docs

12 years agoRefer to "boot" libs, not "core" libs
Ian Lynagh [Fri, 14 Sep 2007 13:26:58 +0000 (13:26 +0000)] 
Refer to "boot" libs, not "core" libs

12 years agoGive darcs-all a -s (silent) flag
Ian Lynagh [Thu, 13 Sep 2007 20:23:30 +0000 (20:23 +0000)] 
Give darcs-all a -s (silent) flag

12 years agowarning police
Ben.Lippmeier@anu.edu.au [Thu, 13 Sep 2007 16:14:43 +0000 (16:14 +0000)] 
warning police

12 years agoBetter calculation of spill costs / selection of spill candidates.
Ben.Lippmeier@anu.edu.au [Thu, 13 Sep 2007 15:54:07 +0000 (15:54 +0000)] 
Better calculation of spill costs / selection of spill candidates.

Use Chaitin's formula for calculation of spill costs.
  Cost to spill some vreg = (num writes + num reads) / degree of node

With 2 extra provisos:
  1) Don't spill vregs that live for only 1 instruction.
  2) Always prefer to spill vregs that live for a number of instructions
       more than 10 times the number of vregs in that class.

Proviso 2 is there to help deal with basic blocks containing very long
live ranges - SHA1 has live ranges > 1700 instructions. We don't ever
try to keep these long lived ranges in regs at the expense of others.

Because stack slots are allocated from a global pool, and there is no
slot coalescing yet, without this condition the allocation of SHA1 dosn't
converge fast enough and eventually runs out of stack slots.

Prior to this patch we were just choosing to spill the range with the
longest lifetime, so we didn't bump into this particular problem.

12 years agocomment wibbles
Ben.Lippmeier@anu.edu.au [Wed, 12 Sep 2007 16:07:59 +0000 (16:07 +0000)] 
comment wibbles

12 years agoBump version number 6.7 -> 6.9
Ian Lynagh [Thu, 13 Sep 2007 18:17:33 +0000 (18:17 +0000)] 
Bump version number 6.7 -> 6.9

12 years agoMore library installation path fiddling
Ian Lynagh [Thu, 13 Sep 2007 17:42:42 +0000 (17:42 +0000)] 
More library installation path fiddling

12 years agolibsubdir for libraries is now always $$pkgid
Ian Lynagh [Thu, 13 Sep 2007 17:39:26 +0000 (17:39 +0000)] 
libsubdir for libraries is now always $$pkgid

12 years agoDefine RelocatableBuild variable
Ian Lynagh [Thu, 13 Sep 2007 15:53:31 +0000 (15:53 +0000)] 
Define RelocatableBuild variable
default YES on Windows, NO otherwise.

12 years agoWe need to thread lots more paths through installPackage to make bindists work
Ian Lynagh [Thu, 13 Sep 2007 15:48:30 +0000 (15:48 +0000)] 
We need to thread lots more paths through installPackage to make bindists work

12 years agoComments only
simonpj@microsoft.com [Thu, 13 Sep 2007 15:24:40 +0000 (15:24 +0000)] 
Comments only

12 years agoComments, and remove export of checkAmbiguity
simonpj@microsoft.com [Tue, 11 Sep 2007 08:57:34 +0000 (08:57 +0000)] 
Comments, and remove export of checkAmbiguity

12 years agoDefine and use PprTyThing.pprTypeForUser
simonpj@microsoft.com [Tue, 11 Sep 2007 08:51:23 +0000 (08:51 +0000)] 
Define and use PprTyThing.pprTypeForUser

When printing types for the user, the interactive UI often wants to
leave foralls implicit.  But then (as Claus points out) we need to be
careful about name capture. For example with this source program

class C a b where
  op :: forall a. a -> b

we were erroneously displaying the class in GHCi (with suppressed
foralls) thus:

class C a b where
  op :: a -> b

which is utterly wrong.

This patch fixes the problem, removes GHC.dropForAlls (which is dangerous),
and instead supplies PprTyThing.pprTypeForUser, which does the right thing.

12 years agoMinor refactoring: give an explicit name to the pretty-printing function for TyThing...
simonpj@microsoft.com [Tue, 11 Sep 2007 08:50:05 +0000 (08:50 +0000)] 
Minor refactoring: give an explicit name to the pretty-printing function for TyThing, and use it

12 years agoImprove documentation for Template Haskell
simonpj@microsoft.com [Tue, 11 Sep 2007 08:22:12 +0000 (08:22 +0000)] 
Improve documentation for Template Haskell

12 years agoBetter modelling of newtypes in the Term datatype
Pepe Iborra [Wed, 12 Sep 2007 16:58:55 +0000 (16:58 +0000)] 
Better modelling of newtypes in the Term datatype

This helps to get pretty printing right,
nested newtypes were not being shown correctly by :print

12 years agoGHCi debugger: Added a -fprint-evld-with-show flag
Pepe Iborra [Wed, 12 Sep 2007 15:35:05 +0000 (15:35 +0000)] 
GHCi debugger: Added a -fprint-evld-with-show flag

    The flag enables the use of Show instances in :print.
    By default they are not used anymore

12 years agoUpdate .darcs-boring
Ian Lynagh [Thu, 13 Sep 2007 01:57:04 +0000 (01:57 +0000)] 
Update .darcs-boring

12 years agoexport stopTimer(), we need this in the unix package
Simon Marlow [Wed, 12 Sep 2007 20:00:57 +0000 (20:00 +0000)] 
export stopTimer(), we need this in the unix package

12 years agomove generic graph-colouring code into util
Simon Marlow [Wed, 12 Sep 2007 11:41:10 +0000 (11:41 +0000)] 
move generic graph-colouring code into util
It is needed by cmm/StackColor, and hence is needed even when there is no
native code generator.

12 years agoremove remaining redundancies from ZipCfgCmmRep
Norman Ramsey [Wed, 12 Sep 2007 16:58:51 +0000 (16:58 +0000)] 
remove remaining redundancies from ZipCfgCmmRep
  -- LastBranch no longer takes parameters
  -- LastJump and LastReturn no longer carry CmmActuals;
     instead, those are carried by a CopyOut in the same basic block

12 years agoForgot to import Data.List.find
v.dijk.bas@gmail.com [Wed, 12 Sep 2007 14:33:46 +0000 (14:33 +0000)] 
Forgot to import Data.List.find

12 years agoRemove warning flags from individual compiler modules
Ian Lynagh [Wed, 12 Sep 2007 16:22:00 +0000 (16:22 +0000)] 
Remove warning flags from individual compiler modules
We now set the flags once and for all in compiler/Makefile.

12 years agoGive push-all the ability to pull with a --pull flag
Ian Lynagh [Wed, 12 Sep 2007 14:07:43 +0000 (14:07 +0000)] 
Give push-all the ability to pull with a --pull flag
OK, so the name is a bit wrong now...

12 years agoHandle doc-index*.html, not just doc-index.html
Ian Lynagh [Wed, 12 Sep 2007 13:54:07 +0000 (13:54 +0000)] 
Handle doc-index*.html, not just doc-index.html
haddock sometimes makes doc-index-A.html etc files. Not sure why it
doesn't for me.
Patch from Judah Jacobson.

12 years agoFix installation code
Ian Lynagh [Wed, 12 Sep 2007 11:39:54 +0000 (11:39 +0000)] 
Fix installation code

12 years agoFurther tweaking of haddock doc installation
Ian Lynagh [Tue, 11 Sep 2007 22:47:34 +0000 (22:47 +0000)] 
Further tweaking of haddock doc installation
On Windows we now always use a path beginning $topdir/ so bindists are
relocatable.

We also now tell "Setup configure" where we are putting the
documentation, and tell installPackage to override as little as
possible.

12 years agomake in-place has bitrotted, so don't advertise or support it
Ian Lynagh [Tue, 11 Sep 2007 20:22:02 +0000 (20:22 +0000)] 
make in-place has bitrotted, so don't advertise or support it

12 years agoTAG ghc-6.8 branched 2007-09-03
Ian Lynagh [Mon, 3 Sep 2007 15:54:16 +0000 (15:54 +0000)] 
TAG ghc-6.8 branched 2007-09-03

12 years agoFix repeated section name in documentation.
judah.jacobson@gmail.com [Fri, 7 Sep 2007 21:16:16 +0000 (21:16 +0000)] 
Fix repeated section name in documentation.

12 years agoClean ups for multi-way building of the GHC package
Clemens Fruhwirth [Wed, 12 Sep 2007 17:11:26 +0000 (17:11 +0000)] 
Clean ups for multi-way building of the GHC package

12 years agochange the zipper representation of calls
Norman Ramsey [Wed, 12 Sep 2007 15:38:52 +0000 (15:38 +0000)] 
change the zipper representation of calls
This patch combines two changes:
  1. As requested by SimonPJ, the redundancy inherent in having
     LastCall bear actual parameters has been removed.  The actual
     parameters are now carried by a separate CopyOut node.
  2. The internal (to zipper) representation of calls has changed;
     the representation of calling conventions is more orthogonal,
     and there is now no such thing as a 'safe' or 'final' call
     to a CallishMachOp.   This change has affected the interface
     to MkZipCfgCmm, which now provides a static guarantee.  Simon's
     new upstream code will be affected; I've patched the existing
     code in CmmCvt (which becomes ever hairier).

12 years agomake it easier to have debugging code typechecked even when debugging is turned off
Norman Ramsey [Wed, 12 Sep 2007 15:25:02 +0000 (15:25 +0000)] 
make it easier to have debugging code typechecked even when debugging is turned off

12 years agofix a typo!
Norman Ramsey [Wed, 12 Sep 2007 10:25:45 +0000 (10:25 +0000)] 
fix a typo!

12 years agocleaned up all warnings (and added many type signatures) in Outputable
Norman Ramsey [Wed, 12 Sep 2007 10:25:26 +0000 (10:25 +0000)] 
cleaned up all warnings (and added many type signatures) in Outputable

12 years agooverlooked ZipCfgExtras for a name change
Norman Ramsey [Wed, 12 Sep 2007 09:39:20 +0000 (09:39 +0000)] 
overlooked ZipCfgExtras for a name change

12 years agoextra prettyprinting only when debugging
Norman Ramsey [Wed, 12 Sep 2007 09:38:44 +0000 (09:38 +0000)] 
extra prettyprinting only when debugging

12 years agorenaming, reorganizing, and better doco for ZipCfg
Norman Ramsey [Tue, 11 Sep 2007 22:55:42 +0000 (22:55 +0000)] 
renaming, reorganizing, and better doco for ZipCfg

12 years agoesacpe backslashes in the filename in the .rc file
Simon Marlow [Wed, 12 Sep 2007 11:16:58 +0000 (11:16 +0000)] 
esacpe backslashes in the filename in the .rc file

12 years agoRemove --export-all-symbols for DLL linking, it is default and prevents us from using...
Clemens Fruhwirth [Fri, 31 Aug 2007 10:46:24 +0000 (10:46 +0000)] 
Remove --export-all-symbols for DLL linking, it is default and prevents us from using .def files