ghc.git
7 years agoImprove support for cross-compilation
Simon Marlow [Mon, 30 Jan 2012 11:19:03 +0000 (11:19 +0000)] 
Improve support for cross-compilation

Patchset from Stephen Blackheath <stephen.blackheath@ipwnstudios.com>

7 years agoFix register clobber list in StgRun for ARM
Ben Gamari [Sat, 28 Jan 2012 21:55:04 +0000 (16:55 -0500)] 
Fix register clobber list in StgRun for ARM

The ARM implementation of StgRun does not claim that it clobbers r7-r12. As a
result, the compiler will sometimes put the returned RegTable in one of these
registers, resulting in an invalid RegTable to be returned. Hilarity ensues.

Signed-off-by: Ben Gamari <bgamari.foss@gmail.com>
7 years agoRemove bogus extra definition of $(dir)
Simon Marlow [Mon, 23 Jan 2012 10:23:36 +0000 (10:23 +0000)] 
Remove bogus extra definition of $(dir)

This was preventing things like 'cd compiler; make stage2/build/DynFlags.o'
from working.

7 years agoPass alex and happy locations to ghc-cabal; fixes #5579
Ian Lynagh [Sat, 28 Jan 2012 23:33:11 +0000 (23:33 +0000)] 
Pass alex and happy locations to ghc-cabal; fixes #5579

We only use --with-alex / --with-happy if we know where alex / happy
are. In particular, we don't need them when building from a source
tarball.

7 years agoStart on 7.6.1 release notes
Ian Lynagh [Sat, 28 Jan 2012 17:26:06 +0000 (17:26 +0000)] 
Start on 7.6.1 release notes

7 years agoFIX #5819: add -XDataKinds to the language options section of the user's guide
Jose Pedro Magalhaes [Fri, 27 Jan 2012 13:40:31 +0000 (14:40 +0100)] 
FIX #5819: add -XDataKinds to the language options section of the user's guide

7 years agode-tabbed the hs-boot files
Ian Lynagh [Wed, 25 Jan 2012 16:30:36 +0000 (16:30 +0000)] 
de-tabbed the hs-boot files

7 years agoRename polyKindsErr to dataKindsErr
Ian Lynagh [Wed, 25 Jan 2012 13:19:58 +0000 (13:19 +0000)] 
Rename polyKindsErr to dataKindsErr

7 years agoJust rename a local variable
Ian Lynagh [Wed, 25 Jan 2012 13:15:55 +0000 (13:15 +0000)] 
Just rename a local variable

7 years agoRemove accidentally commited 'trace' statements
David Terei [Thu, 26 Jan 2012 18:51:32 +0000 (10:51 -0800)] 
Remove accidentally commited 'trace' statements

7 years agoFix validation error, import only in GHCi
David Terei [Thu, 26 Jan 2012 18:51:10 +0000 (10:51 -0800)] 
Fix validation error, import only in GHCi

7 years agoImprove source documentation for Ghci stmt IO lifting
David Terei [Thu, 26 Jan 2012 09:54:00 +0000 (01:54 -0800)] 
Improve source documentation for Ghci stmt IO lifting

7 years agoFix mistake in previous commits.
David Terei [Thu, 26 Jan 2012 09:51:06 +0000 (01:51 -0800)] 
Fix mistake in previous commits.

7 years agoFix missing import in HscMain.
David Terei [Thu, 26 Jan 2012 09:50:44 +0000 (01:50 -0800)] 
Fix missing import in HscMain.

7 years agoFix warning in GhciMonad.
David Terei [Thu, 26 Jan 2012 09:49:44 +0000 (01:49 -0800)] 
Fix warning in GhciMonad.

7 years agoCode cleaning
David Terei [Thu, 26 Jan 2012 07:49:54 +0000 (23:49 -0800)] 
Code cleaning

7 years agoHave hscStmtWithLocation return (IO [HValue]).
David Terei [Thu, 26 Jan 2012 07:37:25 +0000 (23:37 -0800)] 
Have hscStmtWithLocation return (IO [HValue]).

7 years agoFormatting wibbles.
David Terei [Thu, 26 Jan 2012 02:37:40 +0000 (18:37 -0800)] 
Formatting wibbles.

7 years agoImprove source code documentation og GHCi main.
David Terei [Thu, 26 Jan 2012 02:17:16 +0000 (18:17 -0800)] 
Improve source code documentation og GHCi main.

7 years agoTabs -> Spaces
David Terei [Thu, 26 Jan 2012 02:43:09 +0000 (18:43 -0800)] 
Tabs -> Spaces

7 years agoRemove old dead safe haskell setting
David Terei [Wed, 25 Jan 2012 22:45:13 +0000 (14:45 -0800)] 
Remove old dead safe haskell setting

7 years agoAdd a missing newline in the ghci :h text; spotted by Alexander McPhail
Ian Lynagh [Tue, 24 Jan 2012 19:09:10 +0000 (19:09 +0000)] 
Add a missing newline in the ghci :h text; spotted by Alexander McPhail

7 years agoPort "Add new primtypes 'ArrayArray#' and 'MutableArrayArray#'" to new codegen.
Edward Z. Yang [Fri, 20 Jan 2012 22:17:24 +0000 (17:17 -0500)] 
Port "Add new primtypes 'ArrayArray#' and 'MutableArrayArray#'" to new codegen.

021a0dd265ff34c1e292813c06185eff1d6b5c1c appears to have only
partially added the new primops associated with ArrayArray#
and MutableArrayArray#

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Ian Lynagh [Fri, 20 Jan 2012 12:47:25 +0000 (12:47 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoFollow Cabal version bump
Ian Lynagh [Fri, 20 Jan 2012 12:17:45 +0000 (12:17 +0000)] 
Follow Cabal version bump

7 years agoFix bug introduced in fac8ecbbafde17dd92439c41747223c43e9d2b80
Simon Marlow [Thu, 19 Jan 2012 09:33:52 +0000 (09:33 +0000)] 
Fix bug introduced in fac8ecbbafde17dd92439c41747223c43e9d2b80

Fixes recent failures in hGetBuf001.

7 years agoRemove getDOptsSmpl; use getDynFlags instead
Ian Lynagh [Thu, 19 Jan 2012 13:35:27 +0000 (13:35 +0000)] 
Remove getDOptsSmpl; use getDynFlags instead

7 years agoRemove typecheck/TcSimplify.lhs-old
Ian Lynagh [Thu, 19 Jan 2012 13:34:57 +0000 (13:34 +0000)] 
Remove typecheck/TcSimplify.lhs-old

It hasn't been touched for more than a year.

7 years agoRemove getDOpts; use getDynFlags instead
Ian Lynagh [Thu, 19 Jan 2012 13:31:54 +0000 (13:31 +0000)] 
Remove getDOpts; use getDynFlags instead

7 years agoRemove getDOptsDs; use getDynFlags instead
Ian Lynagh [Thu, 19 Jan 2012 13:17:50 +0000 (13:17 +0000)] 
Remove getDOptsDs; use getDynFlags instead

7 years agoFix validate
Ian Lynagh [Thu, 19 Jan 2012 12:51:22 +0000 (12:51 +0000)] 
Fix validate

This patch defines a flag -fno-warn-pointless-pragmas, and uses it to
disable some warnings in the containers package.

Along the way, also made a ContainsDynFlags class, and added a
HasDynFlags instance for IOEnv (and thus TcRnIf and DsM).

7 years agoRename the testsuite tarball
Ian Lynagh [Wed, 18 Jan 2012 12:14:48 +0000 (12:14 +0000)] 
Rename the testsuite tarball

It's now
    ghc-<version>-testsuite.tar.bz2
rather than
    testsuite-ghc-<version>-src.tar.bz2
which (a) makes more sense, and (b) sorts better in directory listings.

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Wed, 18 Jan 2012 15:29:45 +0000 (15:29 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoDo not inherit "SPECIALISE instance" for INLINE default methods
Simon Peyton Jones [Wed, 18 Jan 2012 13:19:38 +0000 (13:19 +0000)] 
Do not inherit "SPECIALISE instance" for INLINE default methods

Nor should we generate specialised dfuns;
see Note [SPECIALISE instance pragmas]

7 years agoDocument -T RTS flag in manual.
Edward Z. Yang [Wed, 18 Jan 2012 04:55:53 +0000 (23:55 -0500)] 
Document -T RTS flag in manual.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7 years agoIncorrect type conversion in LLVM backend (#5785).
Ubuntu [Wed, 18 Jan 2012 01:22:35 +0000 (01:22 +0000)] 
Incorrect type conversion in LLVM backend (#5785).

7 years agoEliminate {| and |} vestiges in lexer/parser
Simon Peyton Jones [Tue, 17 Jan 2012 16:40:51 +0000 (16:40 +0000)] 
Eliminate {| and |} vestiges in lexer/parser

They weren't being lexed any more, but we still had productions!

7 years agoUse nested tuples to desugar recursive do-notation
Simon Peyton Jones [Tue, 17 Jan 2012 16:40:03 +0000 (16:40 +0000)] 
Use nested tuples to desugar recursive do-notation

Easy fix for Trac #5742.

7 years agoComments only (to support debug tracing in DmdAnal)
Simon Peyton Jones [Tue, 17 Jan 2012 16:01:41 +0000 (16:01 +0000)] 
Comments only (to support debug tracing in DmdAnal)

7 years agoWarn when a SPECIALISE pragma gives rise to a totally inactive rule
Simon Peyton Jones [Tue, 17 Jan 2012 16:01:16 +0000 (16:01 +0000)] 
Warn when a SPECIALISE pragma gives rise to a totally inactive rule
See Trac #5779

7 years agoDo not combine dictionaries in the EvVarCache when simplEqsOnly is on
Simon Peyton Jones [Tue, 17 Jan 2012 12:15:26 +0000 (12:15 +0000)] 
Do not combine dictionaries in the EvVarCache when simplEqsOnly is on

This fixes Trac #5776; the background is in
Note [Simplifying RULE lhs constraints] in TcSimplify

7 years agoSwitch TcEvidence to Unix line endings
Simon Peyton Jones [Tue, 17 Jan 2012 10:56:14 +0000 (10:56 +0000)] 
Switch TcEvidence to Unix line endings

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Tue, 17 Jan 2012 10:30:46 +0000 (10:30 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoAllow default superclass methods for multi-parameter type classes
Simon Peyton Jones [Tue, 17 Jan 2012 08:35:38 +0000 (08:35 +0000)] 
Allow default superclass methods for multi-parameter type classes

They were prohibited by mistake, a historical hangover

7 years agoOnly use TBAA when LLVM > 2.8. (#5782)
David Terei [Tue, 17 Jan 2012 08:23:22 +0000 (00:23 -0800)] 
Only use TBAA when LLVM > 2.8. (#5782)

7 years agoTabs -> Spaces
David Terei [Tue, 17 Jan 2012 03:12:18 +0000 (19:12 -0800)] 
Tabs -> Spaces

7 years agoAdd missing initialisation of cap->disabled
Simon Marlow [Mon, 16 Jan 2012 14:36:56 +0000 (14:36 +0000)] 
Add missing initialisation of cap->disabled

7 years agoDocumentation for -XDataKinds
Jose Pedro Magalhaes [Mon, 16 Jan 2012 14:02:31 +0000 (15:02 +0100)] 
Documentation for -XDataKinds

7 years agoRemove unnecessary extra use of orphan_hash
Simon Marlow [Mon, 16 Jan 2012 13:23:24 +0000 (13:23 +0000)] 
Remove unnecessary extra use of orphan_hash

7 years agoRevert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)
Simon Marlow [Mon, 16 Jan 2012 12:41:56 +0000 (12:41 +0000)] 
Revert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)

This reverts commit 601c983dd0bada6b49bdadd8f172fd4eacac4b0c.

7 years agoFix bug causing polling instead of blocking in the non-threaded RTS (#5773)
Simon Marlow [Mon, 16 Jan 2012 09:49:24 +0000 (09:49 +0000)] 
Fix bug causing polling instead of blocking in the non-threaded RTS (#5773)

This was a regression introduced accidentally in
6b1098511aaabd2c9503ee7be6da1944466f9cb4.  We were previously passing
a large time value to select() to simulate blocking, and this broke
due to a change from unsigned to signed arithmetic.  I've refactored
it to be less fragile now - we just pass NULL as the timeval parameter
to select(), which is the correct way to do blocking.

7 years agoFix for tick intervals greater than one second.
Simon Marlow [Mon, 16 Jan 2012 09:30:00 +0000 (09:30 +0000)] 
Fix for tick intervals greater than one second.

7 years agoSplit -XDataKinds from -XPolyKinds
Jose Pedro Magalhaes [Mon, 16 Jan 2012 13:18:22 +0000 (14:18 +0100)] 
Split -XDataKinds from -XPolyKinds

7 years agoDataConIds need to be treated specially in VectInfo
Manuel M T Chakravarty [Mon, 16 Jan 2012 01:58:42 +0000 (12:58 +1100)] 
DataConIds need to be treated specially in VectInfo

7 years agoMerge wibble
Manuel M T Chakravarty [Sun, 15 Jan 2012 13:22:04 +0000 (00:22 +1100)] 
Merge wibble

7 years agoFix vectorisation of classes
Manuel M T Chakravarty [Sun, 15 Jan 2012 11:10:28 +0000 (22:10 +1100)] 
Fix vectorisation of classes

- Make sure that we have no implicit names in ifaces
- Any vectorisation info makes a module an orphan module
- Allow 'Show' in vectorised code without vectorising it for the moment

7 years agoFix a #define
Ian Lynagh [Sun, 15 Jan 2012 19:21:38 +0000 (19:21 +0000)] 
Fix a #define

I don't think it was causing any problems, but
    TimeToUS(x+y)
would have evaluated to
    x + (y / 1000)

7 years agoRemove trailing whitespace in compiler/parser/LexCore.hs
Ian Lynagh [Sun, 15 Jan 2012 15:11:54 +0000 (15:11 +0000)] 
Remove trailing whitespace in compiler/parser/LexCore.hs

7 years agoremove tabs (+ ignore tabs option) from LexCore.hs
Nils Schweinsberg [Mon, 2 Jan 2012 23:48:04 +0000 (00:48 +0100)] 
remove tabs (+ ignore tabs option) from LexCore.hs

7 years agoRemove some "0 +"s that look redundant
Ian Lynagh [Sun, 15 Jan 2012 00:50:03 +0000 (00:50 +0000)] 
Remove some "0 +"s that look redundant

7 years agoRemove an out-of-date comment
Ian Lynagh [Sun, 15 Jan 2012 00:49:48 +0000 (00:49 +0000)] 
Remove an out-of-date comment

7 years agoWhen configuring, handle $topdir/ in the ghc --info output
Ian Lynagh [Sat, 14 Jan 2012 22:04:34 +0000 (22:04 +0000)] 
When configuring, handle $topdir/ in the ghc --info output

It might make more sense for there to be a way to get the
"ghc --info" output with $topdir already expanded, but in
the mean time this gets things working again.

7 years agoDefine "ar command" correctly in settings file on Windows
Ian Lynagh [Sat, 14 Jan 2012 21:35:53 +0000 (21:35 +0000)] 
Define "ar command" correctly in settings file on Windows

We want to use the inplace ar, rather than whichever ar the
machine that we build on happens to have.

7 years agoSwitch to using the time package, rather than old-time
Ian Lynagh [Sat, 14 Jan 2012 17:07:10 +0000 (17:07 +0000)] 
Switch to using the time package, rather than old-time

7 years agoDocument the extra instances divergence from H98/H2010
Ian Lynagh [Sat, 14 Jan 2012 14:01:20 +0000 (14:01 +0000)] 
Document the extra instances divergence from H98/H2010

Now that they've moved from Control.Monad.Instances

7 years agoDocument the Bits superclass divergence from Haskell 2010
Ian Lynagh [Sat, 14 Jan 2012 13:54:51 +0000 (13:54 +0000)] 
Document the Bits superclass divergence from Haskell 2010

7 years agoDocument the Num superclass divergence from H98/H2010
Ian Lynagh [Sat, 14 Jan 2012 13:40:58 +0000 (13:40 +0000)] 
Document the Num superclass divergence from H98/H2010

7 years agoAdd extra Num constraints since the Num superclass of Bits is removed
Bas van Dijk [Sat, 29 Oct 2011 01:38:07 +0000 (03:38 +0200)] 
Add extra Num constraints since the Num superclass of Bits is removed

7 years agoAdd some llvm build options to build.mk.sample
David Terei [Fri, 13 Jan 2012 21:51:47 +0000 (13:51 -0800)] 
Add some llvm build options to build.mk.sample

7 years agoAdd -faggressive-primops plus refactoring in CoreUtils
Simon Peyton Jones [Fri, 13 Jan 2012 17:50:00 +0000 (17:50 +0000)] 
Add -faggressive-primops plus refactoring in CoreUtils

I'm experimenting with making GHC a bit more aggressive about
  a) dropping case expressions if the result is unused
        Simplify.rebuildCase, CaseElim equation

  b) floating case expressions inwards
        FloatIn.fiExpr, AnnCase

In both cases the new behaviour is gotten with a static (debug)
flag -faggressive-primops.  The extra "aggression" is to allow
discarding and floating in for side-effecting operations.  See
the new, extensive Note [PrimOp can_fail and has_side_effects]
in PrimoOp.

When discarding a case with unused binders, in the lifted-type
case it's definitely ok if the scrutinee terminates; previously
we were checking exprOkForSpeculation, which is significantly
worse.

So I wanted a new function CoreUtils.exprCertainlyTerminates.
In doing this I ended up with a significant refactoring in
CoreUtils.  The new structure has quite a lot of nice sharing:

    exprIsCheap             = exprIsCheap' isHNFApp
    exprIsExpandable        = exprIsCheap' isConLikeApp

    exprIsHNF               = exprIsHNFlike isHNFApp
    exprIsConLike           = exprIsHNFlike isConLikeApp
    exprCertainlyTerminates = exprIsHNFlike isTerminatingApp

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Fri, 13 Jan 2012 15:51:44 +0000 (15:51 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoComments only
Simon Peyton Jones [Fri, 13 Jan 2012 15:48:23 +0000 (15:48 +0000)] 
Comments only

7 years agoGet the knownKeyNames for doubleFromInteger right
Simon Peyton Jones [Fri, 13 Jan 2012 15:46:56 +0000 (15:46 +0000)] 
Get the knownKeyNames for doubleFromInteger right

There was a trivial typo which meant that important
newly-added rules would never fire!

7 years agoFix validation error
David Terei [Fri, 13 Jan 2012 02:47:25 +0000 (18:47 -0800)] 
Fix validation error

7 years agoFix mistake in flags.xml
David Terei [Fri, 13 Jan 2012 00:16:45 +0000 (16:16 -0800)] 
Fix mistake in flags.xml

7 years agoConsistent: Enbaled -> enabled in flag doc.
David Terei [Thu, 12 Jan 2012 23:44:45 +0000 (15:44 -0800)] 
Consistent: Enbaled -> enabled in flag doc.

7 years agoAdd '-freg-liveness' flag to control if STG liveness information
David Terei [Thu, 12 Jan 2012 23:43:12 +0000 (15:43 -0800)] 
Add '-freg-liveness' flag to control if STG liveness information
is used for optimisation. (enabled by default)

7 years agoFormatting fixes to flags.xml
David Terei [Thu, 12 Jan 2012 23:32:51 +0000 (15:32 -0800)] 
Formatting fixes to flags.xml

7 years agoAdd '-fllvm-tbaa' flag for controlling LLVM TBAA opt.
David Terei [Thu, 12 Jan 2012 22:20:25 +0000 (14:20 -0800)] 
Add '-fllvm-tbaa' flag for controlling LLVM TBAA opt.

7 years agoUpdate '.gitignore'
David Terei [Thu, 12 Jan 2012 20:01:10 +0000 (12:01 -0800)] 
Update '.gitignore'

7 years agoImprove LLVM TBAA hierachy (#5567).
David Terei [Thu, 12 Jan 2012 19:58:15 +0000 (11:58 -0800)] 
Improve LLVM TBAA hierachy (#5567).

7 years agoMake "make sdist" generate a testsuite tarball as well as the src tarball
Ian Lynagh [Fri, 13 Jan 2012 00:18:06 +0000 (00:18 +0000)] 
Make "make sdist" generate a testsuite tarball as well as the src tarball

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Thu, 12 Jan 2012 17:21:00 +0000 (17:21 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoFix if-def-ery for DEBUG
Simon Peyton Jones [Thu, 12 Jan 2012 17:18:52 +0000 (17:18 +0000)] 
Fix if-def-ery for DEBUG

7 years agoComments only
Simon Peyton Jones [Thu, 12 Jan 2012 17:18:30 +0000 (17:18 +0000)] 
Comments only

7 years agoFix Trac #5658: strict bindings not floated in
Simon Peyton Jones [Thu, 12 Jan 2012 17:17:22 +0000 (17:17 +0000)] 
Fix Trac #5658: strict bindings not floated in

Two changes here

* The main change here is to enhance the FloatIn pass so that it can
  float case-bindings inwards.  In particular the case bindings for
  array indexing.

* Also change the code in Simplify, to allow a case on array
  indexing (ie can_fail is true) to be discarded altogether if its
  results are unused.

Lots of new comments in PrimOp about can_fail and has_side_effects

Some refactoring to share the FloatBind data structure between
FloatIn and FloatOut

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Thu, 12 Jan 2012 16:30:43 +0000 (16:30 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Thu, 12 Jan 2012 15:11:06 +0000 (15:11 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoImplememt -fdefer-type-errors (Trac #5624)
Simon Peyton Jones [Thu, 12 Jan 2012 15:10:54 +0000 (15:10 +0000)] 
Implememt -fdefer-type-errors (Trac #5624)

This patch implements the idea of deferring (most) type errors to
runtime, instead emitting only a warning at compile time.  The
basic idea is very simple:

 * The on-the-fly unifier in TcUnify never fails; instead if it
   gets stuck it emits a constraint.

 * The constraint solver tries to solve the constraints (and is
   entirely unchanged, hooray).

 * The remaining, unsolved constraints (if any) are passed to
   TcErrors.reportUnsolved.  With -fdefer-type-errors, instead of
   emitting an error message, TcErrors emits a warning, AND emits
   a binding for the constraint witness, binding it
   to (error "the error message"), via the new form of evidence
   TcEvidence.EvDelayedError.  So, when the program is run,
   when (and only when) that witness is needed, the program will
   crash with the exact same error message that would have been
   given at compile time.

Simple really.  But, needless to say, the exercise forced me
into some major refactoring.

 * TcErrors is almost entirely rewritten

 * EvVarX and WantedEvVar have gone away entirely

 * ErrUtils is changed a bit:
     * New Severity field in ErrMsg
     * Renamed the type Message to MsgDoc (this change
       touches a lot of files trivially)

 * One minor change is that in the constraint solver we try
   NOT to combine insoluble constraints, like Int~Bool, else
   all such type errors get combined together and result in
   only one error message!

 * I moved some definitions from TcSMonad to TcRnTypes,
   where they seem to belong more

7 years agoTOP/includes/dist doesn't exist (yet?) and makes ghcpkg05 fail, so remove it
Simon Marlow [Thu, 12 Jan 2012 13:55:42 +0000 (13:55 +0000)] 
TOP/includes/dist doesn't exist (yet?) and makes ghcpkg05 fail, so remove it

7 years agoUse Type Based Alias Analysis (TBAA) in LLVM backend (#5567)
David Terei [Thu, 12 Jan 2012 07:09:40 +0000 (23:09 -0800)] 
Use Type Based Alias Analysis (TBAA) in LLVM backend (#5567)

TBAA allows us to specify a type hierachy in metadata with
the property that nodes on different branches don't alias.
This should somewhat improve the optimizations LLVM does that
rely on alias information.

7 years agoAdd Metadata support to LLVM bindings.
David Terei [Thu, 12 Jan 2012 02:49:22 +0000 (18:49 -0800)] 
Add Metadata support to LLVM bindings.

7 years agoMore improvements to llvm output style (#5750)
David Terei [Wed, 11 Jan 2012 19:49:02 +0000 (11:49 -0800)] 
More improvements to llvm output style (#5750)

7 years agoUse /usr/bin/gcc when making the OS X installer
Ian Lynagh [Wed, 11 Jan 2012 21:00:42 +0000 (21:00 +0000)] 
Use /usr/bin/gcc when making the OS X installer

On XCode 4.1, we use /usr/bin/gcc-4.2 as it makes better code than
/usr/bin/gcc for us. However, gcc-4.2 doesn't exist in XCode 4.2, so we
need to use /usr/bin/gcc there. As the installer can be used on either,
we make it always use /usr/bin/gcc.

7 years agoDon't try to use gcc-4.2 on XCode >= 4.2
Ian Lynagh [Wed, 11 Jan 2012 19:01:55 +0000 (19:01 +0000)] 
Don't try to use gcc-4.2 on XCode >= 4.2

It was removed in 4.2.

7 years agocheck for failed external symbol lookups (partial fix for #5748)
Gregory Wright [Sat, 7 Jan 2012 14:58:00 +0000 (09:58 -0500)] 
check for failed external symbol lookups (partial fix for #5748)

7 years agoClean more files in "make clean"
Ian Lynagh [Wed, 11 Jan 2012 15:54:30 +0000 (15:54 +0000)] 
Clean more files in "make clean"

The libraries get configured during "make", so plain old "make clean"
should clean up the configure droppings.

Also fixed another wildcard/patsubst problem.

7 years agoFix cleaning buildinfo files
Ian Lynagh [Wed, 11 Jan 2012 15:50:02 +0000 (15:50 +0000)] 
Fix cleaning buildinfo files

We were applying $(wildcard ...) to the literal string
libraries/%/*.buildinfo, which of course had no matches.

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Wed, 11 Jan 2012 08:32:02 +0000 (08:32 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Ian Lynagh [Wed, 11 Jan 2012 01:52:38 +0000 (01:52 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc