ghc.git
6 years agoWhitespace only in CmmNode
Ian Lynagh [Sat, 13 Apr 2013 18:56:01 +0000 (19:56 +0100)] 
Whitespace only in CmmNode

6 years agoNo need to map over all blocks, setting up PIC.
Gabor Greif [Thu, 11 Apr 2013 22:20:55 +0000 (00:20 +0200)] 
No need to map over all blocks, setting up PIC.

Darwin x86 has inconsistent PIC base register, so splitting (which happened before)
ensures that each cmm procedure only has one entry point (namely the first block).

6 years agoRevert "extended ticky to also track "let"s that are not closures"
Nicolas Frisby [Fri, 12 Apr 2013 14:32:54 +0000 (15:32 +0100)] 
Revert "extended ticky to also track "let"s that are not closures"

This reverts commit 024df664b600a622cb8189ccf31789688505fc1c.

Of course I gaff on my last day...

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Fri, 12 Apr 2013 12:27:02 +0000 (13:27 +0100)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoTidy up documentation of generalisation
Simon Peyton Jones [Fri, 12 Apr 2013 11:22:39 +0000 (12:22 +0100)] 
Tidy up documentation of generalisation

6 years agoFix type variable scoping in nested pattern type signatures (#7827)
Patrick Palka [Thu, 11 Apr 2013 18:00:51 +0000 (14:00 -0400)] 
Fix type variable scoping in nested pattern type signatures (#7827)

6 years agoextended ticky to also track "let"s that are not closures
Nicolas Frisby [Thu, 11 Apr 2013 23:03:27 +0000 (00:03 +0100)] 
extended ticky to also track "let"s that are not closures

This includes selector, ap, and constructor thunks. They are still
guarded by the -ticky-dyn-thk flag.

6 years agoMake explicit that there can be only one entry point
Gabor Greif [Sun, 7 Apr 2013 23:38:49 +0000 (01:38 +0200)] 
Make explicit that there can be only one entry point
per cmm procedure on Darwin/PPC, because of splitting.

x86 should be treated the same way, I'll come back to that later.

6 years agoignore RealWorld in size_expr; flag to keep w/w from creating sharing
Nicolas Frisby [Thu, 11 Apr 2013 11:48:11 +0000 (12:48 +0100)] 
ignore RealWorld in size_expr; flag to keep w/w from creating sharing

size_expr now ignores RealWorld lambdas, arguments, and applications.

Worker-wrapper previously removed all lambdas from a function, if they
were all unused. Removing *all* value lambdas is no longer
allowed. Instead (\_ -> E) will become (\_void -> E), where it used to
become E. The previous behavior can be recovered via the new
-ffun-to-thunk flag.

Nofib notables:

----------------------------------------------------------------
        Program               O2          O2 newly ignoring RealWorld
                                          and not turning function
                                          closures into thunks
----------------------------------------------------------------

 Allocations

  comp_lab_zift            333090392%           -5.0%
reverse-complem            155188304%           -3.2%

        rewrite             15380888%           +4.0%
         boyer2              3901064%           +7.5%

rewrite previously benefited from fortunate LoopBreaker choice that is
now disrupted.

A function in boyer2 goes from $wonewayunify1 size 700 to size 650,
thus gets inlined into rewritelemmas, thus exposing a parameter
scrutinisation, thus allowing SpecConstr, which unfortunately involves
reboxing.

Run Time

 fannkuch-redux                 7.89%          -15.9%

            hpg                 0.25%           +5.6%
           wang                 0.21%           +5.8%

/shrug

6 years agoadded ticky counters for heap and stack checks
Nicolas Frisby [Thu, 4 Apr 2013 21:20:27 +0000 (22:20 +0100)] 
added ticky counters for heap and stack checks

6 years agoFix segfaults on SELinux machines; fixes #7629
Ian Lynagh [Tue, 9 Apr 2013 12:53:28 +0000 (13:53 +0100)] 
Fix segfaults on SELinux machines; fixes #7629

Patch from wgmitchener.

From the ticket:
The two addresses (adjustorStub and code) contain the same memory
(double-mapped), but one is writable while the other is executable.
This is how libffi works around the SELinux restrictions. On
non-SELinux systems the code and data addresses are probably the same.

6 years agoRemove CPP in ByteCodeItbls
Ian Lynagh [Tue, 9 Apr 2013 12:39:56 +0000 (13:39 +0100)] 
Remove CPP in ByteCodeItbls

I tried making mkJumpToAddr return [Word32] on all platforms,
but it went wrong on x86 (possibly due to alignment?). Rather than
chasing the bug, I've just used an Either type for now.

6 years agoUse the standard state monad transformer in GHCi
Ian Lynagh [Tue, 9 Apr 2013 11:02:07 +0000 (12:02 +0100)] 
Use the standard state monad transformer in GHCi

6 years agoRemove some __HADDOCK__ CPP
Ian Lynagh [Tue, 9 Apr 2013 10:58:45 +0000 (11:58 +0100)] 
Remove some __HADDOCK__ CPP

I think these are all redundant, now that haddock uses the GHC API

6 years agoGeneralise the type of fieldSz and use it more
Ian Lynagh [Mon, 8 Apr 2013 15:12:08 +0000 (16:12 +0100)] 
Generalise the type of fieldSz and use it more

6 years agoThere can be several blocks in a PPC/ELF cmm proc
Gabor Greif [Mon, 8 Apr 2013 00:15:09 +0000 (02:15 +0200)] 
There can be several blocks in a PPC/ELF cmm proc
add FETCHPC to all of them (this fixes #7814).

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Sun, 7 Apr 2013 20:55:40 +0000 (21:55 +0100)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoRemove tabs (M-x untabify)
Gabor Greif [Sun, 7 Apr 2013 20:33:05 +0000 (22:33 +0200)] 
Remove tabs (M-x untabify)

6 years agoFix typos
Gabor Greif [Sun, 7 Apr 2013 19:36:11 +0000 (21:36 +0200)] 
Fix typos

6 years agoPropagate ffi includes to compiler/ghci/LibFFI.hsc (Fixes #7686)
Peter Trommler [Tue, 5 Mar 2013 06:39:19 +0000 (07:39 +0100)] 
Propagate ffi includes to compiler/ghci/LibFFI.hsc (Fixes #7686)

6 years agoFix installation; fixes #7784
Ian Lynagh [Sun, 7 Apr 2013 17:54:25 +0000 (18:54 +0100)] 
Fix installation; fixes #7784

The build system thought that $(INSTALL_DYNLIBS) contained things
like "terminfo", but actually it contains things like
"libraries/terminfo".

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Sun, 7 Apr 2013 12:18:00 +0000 (13:18 +0100)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoAdd a check that the Windows DLL split is OK; fixes #7780
Ian Lynagh [Sat, 6 Apr 2013 22:05:29 +0000 (23:05 +0100)] 
Add a check that the Windows DLL split is OK; fixes #7780

6 years agoTypos
Gabor Greif [Fri, 5 Apr 2013 09:50:13 +0000 (11:50 +0200)] 
Typos

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Sat, 6 Apr 2013 18:03:42 +0000 (19:03 +0100)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoRemove a redundant build-system hack
Ian Lynagh [Sat, 6 Apr 2013 17:59:42 +0000 (18:59 +0100)] 
Remove a redundant build-system hack

We used to have to explicitly pass -lffi when linking the compiler,
but it's no longer necessary.

6 years agoRewrite usingInconsistentPicReg as a table for clarity
Gabor Greif [Sat, 6 Apr 2013 17:55:47 +0000 (19:55 +0200)] 
Rewrite usingInconsistentPicReg as a table for clarity

No change in functionality intended

6 years agoBuild system fix: really print the number of symbols in DLLs
Ian Lynagh [Sat, 6 Apr 2013 17:44:54 +0000 (18:44 +0100)] 
Build system fix: really print the number of symbols in DLLs

6 years agoDerive instance Eq for CmmNode
Gabor Greif [Sat, 6 Apr 2013 16:27:14 +0000 (18:27 +0200)] 
Derive instance Eq for CmmNode

6 years agoDetab modules with tabs on 5 lines or fewer
Ian Lynagh [Sat, 6 Apr 2013 15:02:57 +0000 (16:02 +0100)] 
Detab modules with tabs on 5 lines or fewer

6 years agoWhitespace only in Type
Ian Lynagh [Sat, 6 Apr 2013 14:00:06 +0000 (15:00 +0100)] 
Whitespace only in Type

6 years agoSplit off a InteractiveEvalTypes module to remove an import loop
Ian Lynagh [Sat, 6 Apr 2013 12:20:02 +0000 (13:20 +0100)] 
Split off a InteractiveEvalTypes module to remove an import loop

6 years agoWhitespace only in TysWiredIn
Ian Lynagh [Sat, 6 Apr 2013 12:23:44 +0000 (13:23 +0100)] 
Whitespace only in TysWiredIn

6 years agoRename the FFI DLL to libffi.dll for consistency
Ian Lynagh [Sat, 6 Apr 2013 15:45:36 +0000 (16:45 +0100)] 
Rename the FFI DLL to libffi.dll for consistency

6 years agoChange the list of modules that are put into a separate DLL on Windows
Ian Lynagh [Sat, 6 Apr 2013 15:27:30 +0000 (16:27 +0100)] 
Change the list of modules that are put into a separate DLL on Windows

Fixes #7780.

6 years agoWhen making a DLL, print the number of symbols that are in it
Ian Lynagh [Sat, 6 Apr 2013 14:46:28 +0000 (15:46 +0100)] 
When making a DLL, print the number of symbols that are in it

6 years agoFix typos
Gabor Greif [Fri, 5 Apr 2013 18:22:35 +0000 (20:22 +0200)] 
Fix typos

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Wed, 3 Apr 2013 17:20:23 +0000 (18:20 +0100)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoFix Trac #7804, about floating equalites
Simon Peyton Jones [Wed, 3 Apr 2013 17:20:07 +0000 (18:20 +0100)] 
Fix Trac #7804, about floating equalites

We float unsolved equalities from underneath a 'forall', to
help solve them, in TcSimplify.floatEqualities.

It's regrettably delicate though,as this bug shows. I'm not
happy with the new code; but there are copious notes; see
Note [Float equalities from under a skolem binding].

6 years agoFix Trac #7805: don't allow nested foralls in promoted types
Simon Peyton Jones [Wed, 3 Apr 2013 13:38:14 +0000 (14:38 +0100)] 
Fix Trac #7805: don't allow nested foralls in promoted types

6 years agoThis changes fixes a bad error in canonicalisation, concerning kind equality
Simon Peyton Jones [Wed, 3 Apr 2013 13:37:50 +0000 (14:37 +0100)] 
This changes fixes a bad error in canonicalisation, concerning kind equality

We care careful not to construct a canonical equality whose LHS and RHS
have incompatible kinds.  (This is one of the invariants of a canonical
equality.)  See Note [Equalities with incompatible kinds].  However,
what I had not dealt with is when LHS and RHS *look* as if they have
different kinds, but after zonking they become the same.  Bad!

(This led to an ASSERT failure in the test for Trac #7176.)

6 years agoIn build.mk.sample, include v in GhcLibWays even if DYNAMIC_GHC_PROGRAMS is set
Ian Lynagh [Wed, 3 Apr 2013 12:01:24 +0000 (13:01 +0100)] 
In build.mk.sample, include v in GhcLibWays even if DYNAMIC_GHC_PROGRAMS is set

Although it's not technically needed, it's less confusing if the vanilla
way works when people use the sample build.mk.

6 years agoFix installation
Ian Lynagh [Wed, 3 Apr 2013 11:47:36 +0000 (12:47 +0100)] 
Fix installation

The build system thought that the RTS built more library files than
it actually did, and installation failed when we tried to 'strip'
one of these non-existant files.

6 years agoMake sure README.md mentions that make can build in parallel.
Austin Seipp [Fri, 29 Mar 2013 19:47:42 +0000 (14:47 -0500)] 
Make sure README.md mentions that make can build in parallel.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoRevert "Make sure README.md mentions that make can build in parallel."
Austin Seipp [Fri, 29 Mar 2013 19:44:56 +0000 (14:44 -0500)] 
Revert "Make sure README.md mentions that make can build in parallel."

This reverts commit 0b72347dc468ba081d67385a077238bcaa9eb4d5.

6 years agoRevert "Wibble."
Austin Seipp [Fri, 29 Mar 2013 19:44:45 +0000 (14:44 -0500)] 
Revert "Wibble."

This reverts commit e7ca132466e3c2e71f7c8fdb2b96ec87c24353be.

6 years agoWibble.
Austin Seipp [Fri, 29 Mar 2013 19:38:40 +0000 (14:38 -0500)] 
Wibble.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoMake sure README.md mentions that make can build in parallel.
Austin Seipp [Fri, 29 Mar 2013 19:37:31 +0000 (14:37 -0500)] 
Make sure README.md mentions that make can build in parallel.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoticky enhancements
Nicolas Frisby [Wed, 6 Mar 2013 21:46:14 +0000 (21:46 +0000)] 
ticky enhancements

  * the new StgCmmArgRep module breaks a dependency cycle; I also
    untabified it, but made no real changes

  * updated the documentation in the wiki and change the user guide to
    point there

  * moved the allocation enters for ticky and CCS to after the heap check

    * I left LDV where it was, which was before the heap check at least
      once, since I have no idea what it is

  * standardized all (active?) ticky alloc totals to bytes

  * in order to avoid double counting StgCmmLayout.adjustHpBackwards
    no longer bumps ALLOC_HEAP_ctr

  * I resurrected the SLOW_CALL counters

    * the new module StgCmmArgRep breaks cyclic dependency between
      Layout and Ticky (which the SLOW_CALL counters cause)

    * renamed them SLOW_CALL_fast_<pattern> and VERY_SLOW_CALL

  * added ALLOC_RTS_ctr and _tot ticky counters

    * eg allocation by Storage.c:allocate or a BUILD_PAP in stg_ap_*_info

    * resurrected ticky counters for ALLOC_THK, ALLOC_PAP, and
      ALLOC_PRIM

    * added -ticky and -DTICKY_TICKY in ways.mk for debug ways

  * added a ticky counter for total LNE entries

  * new flags for ticky: -ticky-allocd -ticky-dyn-thunk -ticky-LNE

    * all off by default

    * -ticky-allocd: tracks allocation *of* closure in addition to
       allocation *by* that closure

    * -ticky-dyn-thunk tracks dynamic thunks as if they were functions

    * -ticky-LNE tracks LNEs as if they were functions

  * updated the ticky report format, including making the argument
    categories (more?) accurate again

  * the printed name for things in the report include the unique of
    their ticky parent as well as if they are not top-level

6 years agoimprove dead code elimination in CorePrep (fixes #7796)
Nicolas Frisby [Wed, 27 Mar 2013 20:25:28 +0000 (20:25 +0000)] 
improve dead code elimination in CorePrep (fixes #7796)

6 years agoFix non-termination of SpecConstr (see #5550).
Amos Robinson [Thu, 28 Mar 2013 01:37:42 +0000 (12:37 +1100)] 
Fix non-termination of SpecConstr (see #5550).
ForceSpecConstr will now only specialise recursive types a finite number of times.
There is a new option -fspec-constr-recursive, with a default value of 3.

6 years agoImprove comments about dead code (thanks to Nick Frisby)
Simon Peyton Jones [Wed, 27 Mar 2013 14:24:51 +0000 (14:24 +0000)] 
Improve comments about dead code (thanks to Nick Frisby)

6 years agoComment only
Simon Peyton Jones [Wed, 27 Mar 2013 14:22:35 +0000 (14:22 +0000)] 
Comment only

6 years agoComment typo
Simon Peyton Jones [Wed, 13 Mar 2013 14:09:11 +0000 (14:09 +0000)] 
Comment typo

6 years agoHeap profiling: flush .hp file at the end of each frame
Takano Akio [Fri, 15 Feb 2013 11:06:38 +0000 (20:06 +0900)] 
Heap profiling: flush .hp file at the end of each frame

6 years agoAllow to bootstrap with a compiler from the FreeBSD Ports Collection
Gabor Pali [Sun, 24 Mar 2013 21:29:30 +0000 (22:29 +0100)] 
Allow to bootstrap with a compiler from the FreeBSD Ports Collection

6 years agoFix the names of the libffi archives
Ian Lynagh [Sun, 24 Mar 2013 17:29:30 +0000 (17:29 +0000)] 
Fix the names of the libffi archives

Fixes a bug which meant that they weren't getting installed.

6 years agoChange how we handle libffi
Ian Lynagh [Sat, 23 Mar 2013 23:55:56 +0000 (23:55 +0000)] 
Change how we handle libffi

I think overall the new approach is simpler. Rather than unpacking
the libffi.a and putting the .o files into our libHSrts.a, we just
use the libffi.a.

This change also means that when compiling programs for the dyn
way, they get explicitly linked against libffi.so (rather than
relying on librts.so being linked against it). This might
fix a problem on FreeBSD, where programs cannot find libffi.so.

6 years agoSmall configure.ac refactoring
Ian Lynagh [Sat, 23 Mar 2013 21:54:53 +0000 (21:54 +0000)] 
Small configure.ac refactoring

6 years agoTweak the _HC_OPTS variables
Ian Lynagh [Sat, 23 Mar 2013 11:56:46 +0000 (11:56 +0000)] 
Tweak the _HC_OPTS variables

We no longer pass -hisuf/-osuf flags to "ghc -M". Doing so didn't really
make sense with the way the -dep-suffix flags now work.

6 years agoFix the handling of ways, and in particular Opt_Static and Opt_SplitObjs
Ian Lynagh [Fri, 22 Mar 2013 17:15:51 +0000 (17:15 +0000)] 
Fix the handling of ways, and in particular Opt_Static and Opt_SplitObjs

6 years agoTurn object splitting off when we use the dynamic way
Ian Lynagh [Fri, 22 Mar 2013 14:08:55 +0000 (14:08 +0000)] 
Turn object splitting off when we use the dynamic way

There's no point splitting objects when we're going to be dynamically
linking. Plus it breaks compilation on OSX x86.

6 years agoRemove some more old, unused code
Ian Lynagh [Thu, 21 Mar 2013 21:25:42 +0000 (21:25 +0000)] 
Remove some more old, unused code

6 years agoTrack subrepos Cabal
Gabor Greif [Wed, 20 Mar 2013 21:37:43 +0000 (22:37 +0100)] 
Track subrepos Cabal

6 years agoFix build with non-Linux ELF OSes
Ian Lynagh [Wed, 20 Mar 2013 19:25:27 +0000 (19:25 +0000)] 
Fix build with non-Linux ELF OSes

We were only setting an RPATH for the RTS DLL on Linux, but as far
as I can see we should be doing it for all ELF OSes. Hopefully this
will fix the problem where the installed ghc-pkg can't find libffi.dll
on FreeBSD.

6 years agoRemove some commented out build system code
Ian Lynagh [Tue, 19 Mar 2013 21:47:55 +0000 (21:47 +0000)] 
Remove some commented out build system code

6 years agoFix building when $(CC_STAGE0) contains spaces
Ian Lynagh [Tue, 19 Mar 2013 15:34:50 +0000 (15:34 +0000)] 
Fix building when $(CC_STAGE0) contains spaces

Spotted by Bill Tutt

6 years agoBe more optimistic about which platforms support shared libraries
Ian Lynagh [Tue, 19 Mar 2013 15:25:17 +0000 (15:25 +0000)] 
Be more optimistic about which platforms support shared libraries

Pretty much everything does now, so list those that don't instead
instead of listing those that do.

6 years agoOptimistically assume that LD_LIBRARY_PATH works for all platforms
Ian Lynagh [Tue, 19 Mar 2013 00:46:15 +0000 (00:46 +0000)] 
Optimistically assume that LD_LIBRARY_PATH works for all platforms

other than Windows and OS X.

It's known to work on Linux and FreeBSD.

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Tue, 19 Mar 2013 00:41:22 +0000 (00:41 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoMerge branch 'master' of mac:ghc/git/val64/.
Ian Lynagh [Tue, 19 Mar 2013 00:37:04 +0000 (00:37 +0000)] 
Merge branch 'master' of mac:ghc/git/val64/.

6 years agoAdd support for OSX ld's -filelist flag
Ian Lynagh [Mon, 18 Mar 2013 22:48:43 +0000 (22:48 +0000)] 
Add support for OSX ld's -filelist flag

Without it, when linking the split objects for Language.Haskell.TH.Syntax,
the commandline was too long when listing all the files directly.

6 years agoFix stage2 build on ARM.
Austin Seipp [Mon, 18 Mar 2013 22:19:59 +0000 (22:19 +0000)] 
Fix stage2 build on ARM.

LLVM supports PIC on ARM from what I can see.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoRemove base 3 support from bin-package-db
Ian Lynagh [Mon, 18 Mar 2013 12:33:10 +0000 (12:33 +0000)] 
Remove base 3 support from bin-package-db

6 years agoOnly steal ~# as a reserved operator when MagicHash is enabled; fixes #7776
Ian Lynagh [Mon, 18 Mar 2013 10:12:57 +0000 (10:12 +0000)] 
Only steal ~# as a reserved operator when MagicHash is enabled; fixes #7776

6 years agoAdd a kludgy dependency to fix compiling modules that use annotations
Ian Lynagh [Sun, 17 Mar 2013 17:23:10 +0000 (17:23 +0000)] 
Add a kludgy dependency to fix compiling modules that use annotations

We now make the stage 2 compiler depend on GHC.Desugar.

6 years agoFix ohi-sanity-check when we have ways other than v and dyn enabled
Ian Lynagh [Sun, 17 Mar 2013 15:42:20 +0000 (15:42 +0000)] 
Fix ohi-sanity-check when we have ways other than v and dyn enabled

It thought that /all/ ways should create the dyn o/hi files, but only
the v way does.

6 years agoRemove a couple of unused make variables
Ian Lynagh [Sun, 17 Mar 2013 14:03:07 +0000 (14:03 +0000)] 
Remove a couple of unused make variables

6 years agoRemove some directories that used to be used by GUM
Ian Lynagh [Sun, 17 Mar 2013 13:56:27 +0000 (13:56 +0000)] 
Remove some directories that used to be used by GUM

This hasn't been used for some time

6 years agoAlso build the v way when DYNAMIC_GHC_PROGRAMS is YES
Ian Lynagh [Sun, 17 Mar 2013 13:53:42 +0000 (13:53 +0000)] 
Also build the v way when DYNAMIC_GHC_PROGRAMS is YES

Technically we don't need the v way, but with -dynamic-too it's cheap,
and having it makes life easier.

6 years agoEnable Opt_PIC for the dyn way regardless of OSes.
PHO [Wed, 13 Mar 2013 15:22:34 +0000 (00:22 +0900)] 
Enable Opt_PIC for the dyn way regardless of OSes.

We were previously enabling Opt_PIC on certain OSes namely Windows,
Darwin and Linux, but it should always be enabled for the dyn way
because it makes no sense to try to generate non-PIC dynamic
libraries, which is usually impossible.

6 years agoRemove a bitrotted hack for OpenBSD and NetBSD regarding the dyn way.
PHO [Thu, 14 Mar 2013 07:13:45 +0000 (16:13 +0900)] 
Remove a bitrotted hack for OpenBSD and NetBSD regarding the dyn way.

On OpenBSD and NetBSD, we were accidentally passing "-optl-pthread" to
the gcc to build dynamic libraries because of a bitrotted hack for
those OSes, which resulted in a weird situation where every dynamic
library is named "ptl-pthread" and placed at "$(TOP)".

The hack in question were to work around a linkage problem with
libHSffi, but we no longer build it and just use libffi these days so
the hack can safely be removed.

6 years agoRemove readIface's unused argument
Ian Lynagh [Sun, 17 Mar 2013 01:28:49 +0000 (01:28 +0000)] 
Remove readIface's unused argument

6 years agoUpdate Cabal
Ian Lynagh [Sun, 17 Mar 2013 00:37:32 +0000 (00:37 +0000)] 
Update Cabal

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Sat, 16 Mar 2013 22:58:02 +0000 (22:58 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoFix the handling of Opt_Static
Ian Lynagh [Sat, 16 Mar 2013 21:35:29 +0000 (21:35 +0000)] 
Fix the handling of Opt_Static

There were some cases where we weren't unsetting it when turning the
Dyn way on.

6 years agoFix searching for object files when doing TH
Ian Lynagh [Sat, 16 Mar 2013 20:03:25 +0000 (20:03 +0000)] 
Fix searching for object files when doing TH

We were finding vanilla object files when TH needed dynamic object files.

6 years agoA little polishing
Ian Lynagh [Sat, 16 Mar 2013 19:15:05 +0000 (19:15 +0000)] 
A little polishing

6 years agoDisable DYNAMIC_GHC_PROGRAMS on Windows
Ian Lynagh [Fri, 15 Mar 2013 23:11:59 +0000 (00:11 +0100)] 
Disable DYNAMIC_GHC_PROGRAMS on Windows

It doesn't work yet

6 years agoPartial support for dynamic ghc on Windows
Ian Lynagh [Fri, 15 Mar 2013 23:07:50 +0000 (00:07 +0100)] 
Partial support for dynamic ghc on Windows

6 years agoImplement type family instance support for ":info" (#4175)
Patrick Palka [Thu, 7 Mar 2013 16:39:10 +0000 (11:39 -0500)] 
Implement type family instance support for ":info" (#4175)

v2: added a couple of comments

6 years agoSet the way to 'dynamic' when running GHCi if GHCi is dynamically linked
Ian Lynagh [Thu, 14 Mar 2013 20:05:42 +0000 (20:05 +0000)] 
Set the way to 'dynamic' when running GHCi if GHCi is dynamically linked

6 years agoBy default, use the dynamic way for programs in the GHC tree
Ian Lynagh [Wed, 13 Mar 2013 21:29:27 +0000 (21:29 +0000)] 
By default, use the dynamic way for programs in the GHC tree

In particular, this means that GHCi will use DLLs, rather than loading
object files itself.

6 years agoImplement nullary type classes (#7642)
Simon Peyton Jones [Wed, 13 Mar 2013 21:10:20 +0000 (21:10 +0000)] 
Implement nullary type classes (#7642)

This is a slightly refined version of a patch by shachaf,
done by Krzysztof Gogolewski <krz.gogolewski@gmail.com>.

6 years agoRemove tabs and trailing whitespace from TcTyClsDecls
Krzysztof Gogolewski [Sun, 10 Mar 2013 21:53:33 +0000 (22:53 +0100)] 
Remove tabs and trailing whitespace from TcTyClsDecls

6 years agoFinish adding support for 2 DLLs in the ghc package; fixes #5987
Ian Lynagh [Tue, 12 Mar 2013 21:12:38 +0000 (22:12 +0100)] 
Finish adding support for 2 DLLs in the ghc package; fixes #5987

6 years agoFollow changes in Cabal
Ian Lynagh [Tue, 12 Mar 2013 18:21:55 +0000 (18:21 +0000)] 
Follow changes in Cabal

6 years agoMerge branch 'master' of win:c:/ghc/git/cygwin/.
Ian Lynagh [Tue, 12 Mar 2013 18:19:22 +0000 (18:19 +0000)] 
Merge branch 'master' of win:c:/ghc/git/cygwin/.

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Tue, 12 Mar 2013 00:41:41 +0000 (00:41 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoTypo-fix for panic.
Edward Z. Yang [Tue, 12 Mar 2013 00:22:24 +0000 (17:22 -0700)] 
Typo-fix for panic.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>