ghc.git
6 years agoUpdated documentation; changed "group" to "branched" in type families
Richard Eisenberg [Thu, 25 Apr 2013 01:28:43 +0000 (21:28 -0400)] 
Updated documentation; changed "group" to "branched" in type families

6 years agoUpdate Makefile in docs/core-spec not to use latexmk
Richard Eisenberg [Wed, 24 Apr 2013 13:23:58 +0000 (09:23 -0400)] 
Update Makefile in docs/core-spec not to use latexmk

6 years agoAllow deriving Generic for polykinded phantom types
Jose Pedro Magalhaes [Wed, 24 Apr 2013 12:03:55 +0000 (13:03 +0100)] 
Allow deriving Generic for polykinded phantom types

6 years agoIn CMM, only allow foreign calls to labels, not arbitrary expressions
Ian Lynagh [Tue, 23 Apr 2013 19:53:06 +0000 (20:53 +0100)] 
In CMM, only allow foreign calls to labels, not arbitrary expressions

I'm not sure if we want to make this change permanently, but for now it
fixes the unreg build.

I've also removed some redundant special-case code that generated
prototypes for foreign functions. The standard pprTempAndExternDecls
now generates them.

6 years agoSmall refactoring in StgCmmExtCode
Ian Lynagh [Mon, 22 Apr 2013 19:07:28 +0000 (20:07 +0100)] 
Small refactoring in StgCmmExtCode

6 years agoDon't duplicate decls unnecessarily in the environment
Ian Lynagh [Mon, 22 Apr 2013 18:48:06 +0000 (19:48 +0100)] 
Don't duplicate decls unnecessarily in the environment

In loopDecls, as far as I can see the globalDecls will always
already be in the environment, so don't add them again.

6 years agoMake CmmParse abstract
Ian Lynagh [Mon, 22 Apr 2013 17:40:20 +0000 (18:40 +0100)] 
Make CmmParse abstract

6 years agoComments and debug messages only
Simon Peyton Jones [Tue, 23 Apr 2013 08:12:14 +0000 (09:12 +0100)] 
Comments and debug messages only

6 years agoComment typo
Simon Peyton Jones [Mon, 22 Apr 2013 12:47:46 +0000 (13:47 +0100)] 
Comment typo

6 years agoTypo in debug print message
Simon Peyton Jones [Mon, 22 Apr 2013 12:35:37 +0000 (13:35 +0100)] 
Typo in debug print message

6 years agoTypos in comments
Simon Peyton Jones [Mon, 22 Apr 2013 12:35:07 +0000 (13:35 +0100)] 
Typos in comments

6 years agoMore accurate cost attribution for stacks. Fixes #7818.
Edward Z. Yang [Sun, 7 Apr 2013 23:31:44 +0000 (16:31 -0700)] 
More accurate cost attribution for stacks.  Fixes #7818.

Previously, stacks were always attributed to CCCS_SYSTEM.  Now, we
attribute them to the CCS when the stack was allocated.  If a stack
grows, new stack chunks inherit the CCS of the old stack.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6 years agoFurther wibbbling to type error message reporting
Simon Peyton Jones [Mon, 22 Apr 2013 11:53:53 +0000 (12:53 +0100)] 
Further wibbbling to type error message reporting

* We now never report derived-constraint type errors, even
  in the "insolubles".  See Note [Insoluble derived constraints]
  in TcRnTypes.

* The cec_suppress mechanism in TcErrors is refactored a bit so that:
   - We suppress *all* errors in unreachable code (they can be jolly
     confusing)
   - We no longer suppress *all* non-insoluble errors if there are *any
     insolubles anywhere.  Instead we are a bit more refined.
  See Note [Suppressing error messages] in TcErrors

6 years agoNever unify a SigTyVar with a non-tyvar type (fixes Trac #7786)
Simon Peyton Jones [Mon, 22 Apr 2013 11:50:24 +0000 (12:50 +0100)] 
Never unify a SigTyVar with a non-tyvar type (fixes Trac #7786)

This unwanted unification was happening in the zonking phase
which un-flattens type-function applications (TcMType.zonkFlats,
try_zonk_fun_eq).  The main unifier is careful to make the check,
but I'd forgotten it here.  That in turn led to a very confusing
error message.

6 years agoWhen zonking, get rid of empty implications
Simon Peyton Jones [Sat, 6 Apr 2013 20:27:11 +0000 (21:27 +0100)] 
When zonking, get rid of empty implications

Zonking can make implications empty becuase it gets rid
of type-function flattening equalities

6 years agoComments only
Simon Peyton Jones [Sat, 6 Apr 2013 20:24:37 +0000 (21:24 +0100)] 
Comments only

6 years agoTiny wibble to trace message
Simon Peyton Jones [Fri, 5 Apr 2013 23:07:10 +0000 (00:07 +0100)] 
Tiny wibble to trace message

6 years agoAdd comments to describe AbsBinds
Simon Peyton Jones [Fri, 5 Apr 2013 23:05:40 +0000 (00:05 +0100)] 
Add comments to describe AbsBinds

6 years agoAdd stg_sel_n_noupd_info symbols to Linker.c
Simon Peyton Jones [Tue, 19 Mar 2013 15:55:31 +0000 (15:55 +0000)] 
Add stg_sel_n_noupd_info symbols to Linker.c

6 years agoUpdate error message text; spotted bu Sergei Trofimovich
Ian Lynagh [Sun, 21 Apr 2013 21:36:54 +0000 (22:36 +0100)] 
Update error message text; spotted bu Sergei Trofimovich

6 years agopass the correct -Dxxx_HOST_ARCH and -Dxxx_HOST_OS to hsc2hs; Fixes #7761.
Ian Lynagh [Sun, 21 Apr 2013 17:19:14 +0000 (18:19 +0100)] 
pass the correct -Dxxx_HOST_ARCH and -Dxxx_HOST_OS to hsc2hs; Fixes #7761.

Patch from Stephen Blackheath.

6 years agoUse a pthread-based implementation of Itimer.c on iOS
Ian Lynagh [Sun, 21 Apr 2013 16:54:57 +0000 (17:54 +0100)] 
Use a pthread-based implementation of Itimer.c on iOS

Patch from Stephen Blackheath.

timer_create doesn't exist and setitimer doesn't fire on iOS, so we're
using a pthreads-based implementation. It may be to do with
interference with the signals of the debugger. Revisit. See #7723.

6 years agoRemove some cross-compilation kludges
Ian Lynagh [Sun, 21 Apr 2013 16:30:48 +0000 (17:30 +0100)] 
Remove some cross-compilation kludges

I don't think these should be necessary. If something breaks as
a result then we can look at why.

6 years agoUse ffi_prep_closure_loc rather than ffi_prep_closure
Ian Lynagh [Sun, 21 Apr 2013 15:03:40 +0000 (16:03 +0100)] 
Use ffi_prep_closure_loc rather than ffi_prep_closure

The latter is deprecated. Part of #7718.

6 years agoDisplay operators using parentheses/backticks in error messages (#7848)
Krzysztof Gogolewski [Fri, 19 Apr 2013 11:23:11 +0000 (13:23 +0200)] 
Display operators using parentheses/backticks in error messages (#7848)

6 years agoPrint details of panic messages raised from GHCi (#7844)
Patrick Palka [Wed, 17 Apr 2013 15:22:29 +0000 (11:22 -0400)] 
Print details of panic messages raised from GHCi (#7844)

6 years agoFix "make 2" in ghc/
Ian Lynagh [Sun, 21 Apr 2013 12:14:10 +0000 (13:14 +0100)] 
Fix "make 2" in ghc/

The ghc-stage1_INPLACE variable wasn't being defined

6 years agoUse different exeext variables for each stage; fixes #7709
Ian Lynagh [Sat, 20 Apr 2013 17:51:18 +0000 (18:51 +0100)] 
Use different exeext variables for each stage; fixes #7709

Currently they are all set to the same value, but when cross-compiling
they could be set to different values.

6 years agoFix typo (spotted by gabor)
Ian Lynagh [Sat, 20 Apr 2013 17:45:11 +0000 (18:45 +0100)] 
Fix typo (spotted by gabor)

6 years agoTweak the bindist comparison tool
Ian Lynagh [Sat, 20 Apr 2013 16:55:13 +0000 (17:55 +0100)] 
Tweak the bindist comparison tool

It now just warns about files it doesn't recognise, rather than giving
an error. This means that random text files etc in the same directory
as the bindists don't make it fall over.

6 years agoFix haddocking
Ian Lynagh [Sat, 20 Apr 2013 15:21:29 +0000 (16:21 +0100)] 
Fix haddocking

We weren't seting the _DO_HADDOCK variables early enough.

6 years agoRemove ghc-pkg from the list of dep files we build during phase 0
Ian Lynagh [Sat, 20 Apr 2013 14:30:46 +0000 (15:30 +0100)] 
Remove ghc-pkg from the list of dep files we build during phase 0

I don't think it's necessary to build ghc-pkg that early.

6 years agoAdd deriveConstants to the dep files we build in phase 0
Ian Lynagh [Sat, 20 Apr 2013 14:29:32 +0000 (15:29 +0100)] 
Add deriveConstants to the dep files we build in phase 0

Dependency problem was discovered by int-e.

I've also added some comments about what's going on.

6 years agoFollow build system changes in integer-gmp
Ian Lynagh [Sat, 20 Apr 2013 13:17:00 +0000 (14:17 +0100)] 
Follow build system changes in integer-gmp

Also a couple of other fixes and sanity checks along the way.

6 years agoRemove the Windows installer
Ian Lynagh [Sat, 20 Apr 2013 12:00:21 +0000 (13:00 +0100)] 
Remove the Windows installer

We now leave making installers to the Haskell Platform.

6 years agoSome build system refactoring
Ian Lynagh [Sat, 20 Apr 2013 11:41:22 +0000 (12:41 +0100)] 
Some build system refactoring

6 years agoSmall build system refactoring
Ian Lynagh [Sat, 20 Apr 2013 00:44:08 +0000 (01:44 +0100)] 
Small build system refactoring

6 years agoSmall build system refactoring
Ian Lynagh [Fri, 19 Apr 2013 23:13:46 +0000 (00:13 +0100)] 
Small build system refactoring

6 years agoAdd a 'compare' command to sync-all
Ian Lynagh [Fri, 19 Apr 2013 19:55:50 +0000 (20:55 +0100)] 
Add a 'compare' command to sync-all

6 years agoSome sync-all refactoring
Ian Lynagh [Fri, 19 Apr 2013 19:22:07 +0000 (20:22 +0100)] 
Some sync-all refactoring

6 years agoUse a simpler way of finding the current git branch in sync-all
Ian Lynagh [Fri, 19 Apr 2013 12:53:28 +0000 (13:53 +0100)] 
Use a simpler way of finding the current git branch in sync-all

6 years agoUpdate darcs -> git in a comment
Ian Lynagh [Fri, 19 Apr 2013 11:49:01 +0000 (12:49 +0100)] 
Update darcs -> git in a comment

6 years agoRemove boot-pkgs from SRC_DIST_GHC_FILES
Ian Lynagh [Fri, 19 Apr 2013 11:48:32 +0000 (12:48 +0100)] 
Remove boot-pkgs from SRC_DIST_GHC_FILES

The file no longer exists

6 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Fri, 19 Apr 2013 09:22:49 +0000 (10:22 +0100)] 
Merge branch 'master' of darcs.haskell.org/ghc

6 years agoComment only
Simon Peyton Jones [Fri, 19 Apr 2013 09:21:49 +0000 (10:21 +0100)] 
Comment only

6 years agoCheck to see if TVar's are locked in check_read_only (fixes #7815)
Ryan Yates [Mon, 8 Apr 2013 23:18:51 +0000 (19:18 -0400)] 
Check to see if TVar's are locked in check_read_only (fixes #7815)

6 years agoFix page numbering in the users guide PDF; fixes #7793
Ian Lynagh [Wed, 17 Apr 2013 18:39:41 +0000 (19:39 +0100)] 
Fix page numbering in the users guide PDF; fixes #7793

The external core chapter had an abstract, which seems to reset the
page count to 0.

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Tue, 16 Apr 2013 15:41:08 +0000 (16:41 +0100)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoAllow partial applications of a type synonym in :kind in GHCi (Trac #7586)
Simon Peyton Jones [Tue, 16 Apr 2013 15:40:48 +0000 (16:40 +0100)] 
Allow partial applications of a type synonym in :kind in GHCi (Trac #7586)

Documentation is done too

6 years agoRemove accidentally-inserted tabs
Simon Peyton Jones [Tue, 16 Apr 2013 09:33:58 +0000 (10:33 +0100)] 
Remove accidentally-inserted tabs

6 years agoComments and debug output only
Simon Peyton Jones [Tue, 16 Apr 2013 09:33:31 +0000 (10:33 +0100)] 
Comments and debug output only

6 years agoMake the desugarer a tiny bit cleverer on coercions (fixes Trac #7837)
Simon Peyton Jones [Tue, 16 Apr 2013 09:33:13 +0000 (10:33 +0100)] 
Make the desugarer a tiny bit cleverer on coercions (fixes Trac #7837)

The desugarer was generating a redundant box/unbox pair on the
LHS of a RULE, which in turn made matching fail.

See Note [Simple coercions] in DsBinds.

6 years agoImprove the "main is not defined in Main" message a bit further
Simon Peyton Jones [Mon, 15 Apr 2013 16:39:39 +0000 (17:39 +0100)] 
Improve the "main is not defined in Main" message a bit further

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Mon, 15 Apr 2013 14:44:15 +0000 (15:44 +0100)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoFix the dynflags consistency code
Ian Lynagh [Mon, 15 Apr 2013 10:22:32 +0000 (11:22 +0100)] 
Fix the dynflags consistency code

It was checking to see whether the hscTarget is HscC or HscLlvm, and
changing it to HscC otherwise. But this meant that as well as rejecting
HscAsm, it also rejected HscInterpreted and HscNothing.

Now we just check whether it's HscAsm.

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 agoChange wording of "main is not defined in Main" message (Trac #7816)
Simon Peyton Jones [Fri, 12 Apr 2013 12:29:53 +0000 (13:29 +0100)] 
Change wording of "main is not defined in Main" message (Trac #7816)

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>