ghc.git
6 years agoImprove documentation of overloaded lists
Simon Peyton Jones [Fri, 15 Feb 2013 09:02:04 +0000 (09:02 +0000)] 
Improve documentation of overloaded lists

6 years agoFix issues with finding llvm tools again (#7661).
David Terei [Thu, 14 Feb 2013 14:58:58 +0000 (15:58 +0100)] 
Fix issues with finding llvm tools again (#7661).

Patch modified from one by Karel Gardas <karel.gardas@centrum.cz>.

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Thu, 14 Feb 2013 14:53:28 +0000 (14:53 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Thu, 14 Feb 2013 14:39:14 +0000 (14:39 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

6 years agoBetter pretty-printing for Type
Simon Peyton Jones [Thu, 14 Feb 2013 14:38:39 +0000 (14:38 +0000)] 
Better pretty-printing for Type

Now a type like
   F (***)
will come out looking like that, whereas before
it came out as
   F ***

6 years agoBetter pretty-printing for HsType, fixes Trac #7645
Simon Peyton Jones [Thu, 14 Feb 2013 14:37:43 +0000 (14:37 +0000)] 
Better pretty-printing for HsType, fixes Trac #7645

6 years agoremoveIndirections: look through BLACKHOLE indirections
Simon Marlow [Thu, 14 Feb 2013 13:10:29 +0000 (13:10 +0000)] 
removeIndirections: look through BLACKHOLE indirections

This has been breaking StableNames for quite a while.

6 years agoisAlive needs to look through BLACKHOLE indirections
Simon Marlow [Thu, 14 Feb 2013 13:09:09 +0000 (13:09 +0000)] 
isAlive needs to look through BLACKHOLE indirections

This has been breaking StableNames and possibly weak pointers in some
cases.

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Thu, 14 Feb 2013 13:05:08 +0000 (13:05 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoFollow changes to HsPat
Simon Peyton Jones [Thu, 14 Feb 2013 13:04:30 +0000 (13:04 +0000)] 
Follow changes to HsPat

6 years agoAdd OverloadedLists, allowing list syntax to be overloaded
Simon Peyton Jones [Thu, 14 Feb 2013 13:04:14 +0000 (13:04 +0000)] 
Add OverloadedLists, allowing list syntax to be overloaded

This work was all done by
   Achim Krause <achim.t.krause@gmail.com>
   George Giorgidze <giorgidze@gmail.com>
   Weijers Jeroen <jeroen.weijers@uni-tuebingen.de>

It allows list syntax, such as [a,b], [a..b] and so on, to be
overloaded so that it works for a variety of types.

The design is described here:
    http://hackage.haskell.org/trac/ghc/wiki/OverloadedLists

Eg. you can use it for maps, so that
        [(1,"foo"), (4,"bar")] :: Map Int String

The main changes
 * The ExplicitList constructor of HsExpr gets witness field
 * Ditto ArithSeq constructor
 * Ditto the ListPat constructor of HsPat

Everything else flows from this.

6 years agoComments only
Simon Peyton Jones [Thu, 14 Feb 2013 11:41:30 +0000 (11:41 +0000)] 
Comments only

6 years agosmall tidyups and refactorings
Simon Marlow [Thu, 14 Feb 2013 08:58:03 +0000 (08:58 +0000)] 
small tidyups and refactorings

6 years agoSeparate StablePtr and StableName tables (#7674)
Simon Marlow [Thu, 14 Feb 2013 08:46:55 +0000 (08:46 +0000)] 
Separate StablePtr and StableName tables (#7674)

To improve performance of StablePtr.

6 years agoSimplify the allocation stats accounting
Simon Marlow [Thu, 14 Feb 2013 10:06:44 +0000 (10:06 +0000)] 
Simplify the allocation stats accounting

We were doing it in two different ways and asserting that the results
were the same.  In most cases they were, but I found one case where
they weren't: the GC itself allocates some memory for running
finalizers, and this memory was accounted for one way but not the
other.

It was simpler to remove the old way of counting allocation that to
try to fix it up, so I did that.

6 years agoFixes to the rts C flags for the debug way
Simon Marlow [Thu, 14 Feb 2013 09:09:53 +0000 (09:09 +0000)] 
Fixes to the rts C flags for the debug way

An earlier attempt at cleaning things up had made the debug way
compile with optimisation due to flag ordering issues.

6 years agoFix comment to use correct option name
shelarcy [Thu, 14 Feb 2013 08:19:57 +0000 (02:19 -0600)] 
Fix comment to use correct option name

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoDifferent layout for configure output and llvm tools.
David Terei [Thu, 14 Feb 2013 03:09:58 +0000 (04:09 +0100)] 
Different layout for configure output and llvm tools.

6 years agoRemove dead darcs handling from configure.
David Terei [Mon, 11 Feb 2013 07:30:55 +0000 (23:30 -0800)] 
Remove dead darcs handling from configure.

6 years agoFind LLVM tools when version number at end (e.g., llc-3.0) (#7661)
David Terei [Mon, 11 Feb 2013 07:24:27 +0000 (23:24 -0800)] 
Find LLVM tools when version number at end (e.g., llc-3.0) (#7661)

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Wed, 13 Feb 2013 17:42:43 +0000 (17:42 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoDesugar bang patterns correctly (fixes Trac #7649)
Simon Peyton Jones [Wed, 13 Feb 2013 17:42:18 +0000 (17:42 +0000)] 
Desugar bang patterns correctly (fixes Trac #7649)

We were discarding a bang around a view pattern, which is
utterly wrong

6 years agoSimplify the base case for 'check', and thereby fix Trac #7669
Simon Peyton Jones [Wed, 13 Feb 2013 17:37:17 +0000 (17:37 +0000)] 
Simplify the base case for 'check', and thereby fix Trac #7669

6 years agoComments only
Simon Peyton Jones [Wed, 13 Feb 2013 17:08:10 +0000 (17:08 +0000)] 
Comments only

6 years agoExport tcIfaceExpr as requested by Trac #7683
Simon Peyton Jones [Wed, 13 Feb 2013 17:08:03 +0000 (17:08 +0000)] 
Export tcIfaceExpr as requested by Trac #7683

6 years agoImprove pretty-printing of strict lets with -dppr-case-as-let
Simon Peyton Jones [Wed, 13 Feb 2013 17:07:26 +0000 (17:07 +0000)] 
Improve pretty-printing of strict lets with -dppr-case-as-let

6 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Wed, 13 Feb 2013 16:54:49 +0000 (16:54 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Wed, 13 Feb 2013 15:46:01 +0000 (15:46 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoAdd isNewtype to GHC.Generics (FIX #7631)
Jose Pedro Magalhaes [Wed, 13 Feb 2013 10:40:16 +0000 (10:40 +0000)] 
Add isNewtype to GHC.Generics (FIX #7631)

6 years agoGenerate better derived code for Eq
Simon Peyton Jones [Wed, 13 Feb 2013 08:52:44 +0000 (08:52 +0000)] 
Generate better derived code for Eq

In particular, when there are only a few nullary constructors generate
regular pattern matching code, rather than using con2Tag.  This avoids
generating unnecessary join points, which can make the code noticably
worse in the few-constructors case.

6 years agoCharge 1 for each case alternative in exprStats
Simon Peyton Jones [Wed, 13 Feb 2013 08:52:06 +0000 (08:52 +0000)] 
Charge 1 for each case alternative in exprStats

This doesn't affect inlining, only the stats reported by -dshow-passes.
But we were getting un-naturally small numbers for some big case expressions.

6 years agoConvert README to markdown.
David Terei [Wed, 13 Feb 2013 00:04:14 +0000 (01:04 +0100)] 
Convert README to markdown.

Patch from morabbin!

6 years agoGentoo calls 'w64' a mingw flavour with mingw-w64 runtime.
Sergei Trofimovich [Tue, 12 Feb 2013 21:59:57 +0000 (21:59 +0000)] 
Gentoo calls 'w64' a mingw flavour with mingw-w64 runtime.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Tue, 12 Feb 2013 13:56:29 +0000 (13:56 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Tue, 12 Feb 2013 13:55:03 +0000 (13:55 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Tue, 12 Feb 2013 12:46:32 +0000 (12:46 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoTypeable changes to containers while waiting for the upstream to update
Jose Pedro Magalhaes [Tue, 12 Feb 2013 12:08:52 +0000 (12:08 +0000)] 
Typeable changes to containers while waiting for the upstream to update

6 years agoTypeable changes to vector while waiting for the upstream to update
Jose Pedro Magalhaes [Tue, 12 Feb 2013 12:02:36 +0000 (12:02 +0000)] 
Typeable changes to vector while waiting for the upstream to update

6 years agoTypeable changes to time while waiting for the upstream to update
Jose Pedro Magalhaes [Tue, 12 Feb 2013 11:58:37 +0000 (11:58 +0000)] 
Typeable changes to time while waiting for the upstream to update

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Tue, 12 Feb 2013 11:12:28 +0000 (11:12 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoComments only
Simon Peyton Jones [Tue, 12 Feb 2013 11:11:31 +0000 (11:11 +0000)] 
Comments only

6 years agoUse a separate user's guide section for -XAutoDeriveTypeable
Jose Pedro Magalhaes [Tue, 12 Feb 2013 10:37:22 +0000 (10:37 +0000)] 
Use a separate user's guide section for -XAutoDeriveTypeable

6 years agoImplement poly-kinded Typeable
Jose Pedro Magalhaes [Thu, 7 Feb 2013 13:51:29 +0000 (13:51 +0000)] 
Implement poly-kinded Typeable

This patch makes the Data.Typeable.Typeable class work with arguments of any
kind. In particular, this removes the Typeable1..7 class hierarchy, greatly
simplyfing the whole Typeable story. Also added is the AutoDeriveTypeable
language extension, which will automatically derive Typeable for all types and
classes declared in that module. Since there is now no good reason to give
handwritten instances of the Typeable class, those are ignored (for backwards
compatibility), and a warning is emitted.

The old, kind-* Typeable class is now called OldTypeable, and lives in the
Data.OldTypeable module. It is deprecated, and should be removed in some future
version of GHC.

6 years agoMerge the new parallel I/O manager
Johan Tibell [Tue, 12 Feb 2013 06:42:40 +0000 (22:42 -0800)] 
Merge the new parallel I/O manager

6 years agoAdding missing symbol in rts/package.conf.in.
Kazu Yamamoto [Fri, 11 Jan 2013 08:33:13 +0000 (17:33 +0900)] 
Adding missing symbol in rts/package.conf.in.

6 years agoChanged ioManagerCapabilitiesChanged to take no arguments.
Andreas Voellmy [Mon, 7 Jan 2013 18:46:58 +0000 (13:46 -0500)] 
Changed ioManagerCapabilitiesChanged to take no arguments.

ioManagerCapabilitiesChanged now queries getNumCapabilities for the current number of enabled capabilities.

6 years agosetNumCapabilities calls GHC.Conc.IO.ioManagerCapabilitiesChanged before returning.
Andreas Voellmy [Sun, 23 Dec 2012 00:38:21 +0000 (19:38 -0500)] 
setNumCapabilities calls GHC.Conc.IO.ioManagerCapabilitiesChanged before returning.

This enables the IO manager to change the number of IO loops it uses (usually one per capability).

6 years agoAdded RTS hooks for the timer manager.
Andreas Voellmy [Thu, 20 Dec 2012 05:43:11 +0000 (00:43 -0500)] 
Added RTS hooks for the timer manager.

6 years agoFix Trac #7681.
Richard Eisenberg [Tue, 12 Feb 2013 04:07:25 +0000 (23:07 -0500)] 
Fix Trac #7681.

Removed checks for empty lists for case expressions and lambda-case.
If -XEmptyCase is not enabled, compilation still fails (appropriately)
in the renamer.

Had to remove dead code from TrieMap to pass the validator.

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Mon, 11 Feb 2013 15:51:11 +0000 (15:51 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoUpdate random submodule
Ian Lynagh [Mon, 11 Feb 2013 15:50:35 +0000 (15:50 +0000)] 
Update random submodule

6 years agoallocMoreStack: we should be retargetting table jumps too.
Simon Marlow [Mon, 11 Feb 2013 10:50:45 +0000 (10:50 +0000)] 
allocMoreStack: we should be retargetting table jumps too.

Thanks to @PHO on #7498 for pointing this out.

6 years agoMerge remote-tracking branch 'phonohawk/ticket-7498'
Simon Marlow [Mon, 11 Feb 2013 09:23:40 +0000 (09:23 +0000)] 
Merge remote-tracking branch 'phonohawk/ticket-7498'

* phonohawk/ticket-7498:
  Fix bugs in PPC.Instr.allocMoreStack (#7498)

6 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Mon, 11 Feb 2013 08:38:33 +0000 (08:38 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

6 years agoExtra comment about the fix to Trac #5113
Simon Peyton Jones [Mon, 11 Feb 2013 08:38:12 +0000 (08:38 +0000)] 
Extra comment about the fix to Trac #5113

6 years agoFix bugs in PPC.Instr.allocMoreStack (#7498)
PHO [Mon, 11 Feb 2013 04:49:26 +0000 (13:49 +0900)] 
Fix bugs in PPC.Instr.allocMoreStack (#7498)

This patch is ported from #7510, which fixes the same bug in the x86 nativeGen.

6 years agoDistinguish between llvm-gcc/gcc in compiler name detection.
Austin Seipp [Mon, 11 Feb 2013 04:01:36 +0000 (22:01 -0600)] 
Distinguish between llvm-gcc/gcc in compiler name detection.

It uglifies the code a tiny bit but it's nice to know exactly what
you're using.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoRevert accidental change.
Austin Seipp [Sun, 10 Feb 2013 08:49:01 +0000 (02:49 -0600)] 
Revert accidental change.

It slipped in on accident.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoMake sure ./configure tests valid C99 programs. Issue #7678.
Austin Seipp [Sun, 10 Feb 2013 08:22:29 +0000 (02:22 -0600)] 
Make sure ./configure tests valid C99 programs. Issue #7678.

Clang gives a big fat warning that there's no return value for the
statement, since the prototype defaults to 'int'.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoBetter detection of clang in ./configure. Issue #7678.
Austin Seipp [Sun, 10 Feb 2013 08:24:28 +0000 (02:24 -0600)] 
Better detection of clang in ./configure. Issue #7678.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoImprove sync-all's old-time-repo check
Ian Lynagh [Sat, 9 Feb 2013 23:48:28 +0000 (23:48 +0000)] 
Improve sync-all's old-time-repo check

It now checks that the directory exists before complaining that it's
old.

6 years agoA bit more tidying up
Simon Peyton Jones [Sat, 9 Feb 2013 12:39:58 +0000 (12:39 +0000)] 
A bit more tidying up

This is really just a completion of bcbfdd03.

6 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Sat, 9 Feb 2013 00:08:39 +0000 (00:08 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

Conflicts:
compiler/typecheck/TcInstDcls.lhs

6 years agoYet more refactoring in overlapping type-family instances
Simon Peyton Jones [Sat, 9 Feb 2013 00:03:40 +0000 (00:03 +0000)] 
Yet more refactoring in overlapping type-family instances

This patch mainly introduces TcValidity.checkConsistendFamInst,
and uses it when typechecking type-family instances, *including*
default instances.

I find I can't remember why I began this particular saga, but
it's a modest improvement I think.

6 years agoSplit the PlatformConstants type off into its own module
Ian Lynagh [Fri, 8 Feb 2013 22:01:03 +0000 (22:01 +0000)] 
Split the PlatformConstants type off into its own module

6 years agoAdd -fno-cse pragma in DynFlags.hs (fixes #7595)
Jan Stolarek [Wed, 30 Jan 2013 06:59:57 +0000 (07:59 +0100)] 
Add -fno-cse pragma in DynFlags.hs (fixes #7595)

6 years agoDon't import TypeRep
Simon Peyton Jones [Fri, 8 Feb 2013 18:03:51 +0000 (18:03 +0000)] 
Don't import TypeRep

6 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Fri, 8 Feb 2013 17:29:56 +0000 (17:29 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

6 years agoFix an old and egregious specialisation bug (Trac #5113)
Simon Peyton Jones [Fri, 8 Feb 2013 17:29:40 +0000 (17:29 +0000)] 
Fix an old and egregious specialisation bug (Trac #5113)

The specialiser needs to know if a dictionay has some structure,
so that it can decide whether to specialise a function. Eg
 (A)    let d = $dfblah d1
        in ....(f d)....

 (B)    \d. ....(f d)....

In (A) it's probably worth specialising f; in (B) it isn't.
Previously we were relying on d's unfolding, but the specialiser
does cloning as it goes, which discards the unfolding. So we
were simply discarding all specialisations for functions with
local dictionary bindings!  This bug seems to have been there
for a long time.

This is what originally caused Trac #5113.  Then we went through a phase
where local bindings were not generalised, and that meant there was
no locally overloaded f to specialise; so the performance problem appeared
to be fixed.  But now we are generalising local bindings again, so it
re-appeared.

This patch fixes the original problem.

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Fri, 8 Feb 2013 12:42:21 +0000 (12:42 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoNote major changes in 7.8.1 in 7.8.1 release notes file
Ian Lynagh [Thu, 7 Feb 2013 16:41:27 +0000 (16:41 +0000)] 
Note major changes in 7.8.1 in 7.8.1 release notes file

6 years agoClean up AC_PREREQ.
Gabor Greif [Thu, 7 Feb 2013 11:53:59 +0000 (12:53 +0100)] 
Clean up AC_PREREQ.

6 years agoRequire autoconf 2.60, as
Gabor Greif [Thu, 7 Feb 2013 11:13:50 +0000 (12:13 +0100)] 
Require autoconf 2.60, as

version 2.59 seems to be incompatible with our updated macros.
If somebody insists on 2.59 (which is almost 10 years old) I'll
have to hunt down the reason for the recent (Dec 2012?) breakage.

Note that I did not check with 2.60 (I have 2.65), so that one
may still be problematic.

6 years agocomments
Simon Marlow [Thu, 7 Feb 2013 10:00:09 +0000 (10:00 +0000)] 
comments

6 years agoTidy up tso->stackobj before calling threadStackUnderflow (#7636)
Simon Marlow [Thu, 7 Feb 2013 09:55:20 +0000 (09:55 +0000)] 
Tidy up tso->stackobj before calling threadStackUnderflow (#7636)

Fixes the following crash:

  internal error: threadStackUnderflow: not enough space for return values

when using STM.

6 years agoUnify interfae of both variants FP_ARG_WITH_PATH... in aclocal.m4 and
David Terei [Wed, 6 Feb 2013 21:47:51 +0000 (13:47 -0800)] 
Unify interfae of both variants FP_ARG_WITH_PATH... in aclocal.m4 and
document them.

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Wed, 6 Feb 2013 14:10:39 +0000 (14:10 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoFix spelling
Gabor Greif [Wed, 6 Feb 2013 13:45:21 +0000 (14:45 +0100)] 
Fix spelling

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Wed, 6 Feb 2013 13:28:29 +0000 (13:28 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoFix threadDelay on Windows; fixes ThreadDelay001 failures
Ian Lynagh [Wed, 6 Feb 2013 13:14:55 +0000 (13:14 +0000)] 
Fix threadDelay on Windows; fixes ThreadDelay001 failures

MSDN says of Sleep:
    If dwMilliseconds is greater than one tick but less than two, the
    wait can be anywhere between one and two ticks, and so on.
so we need to add (milliseconds-per-tick - 1) to the amount of time we
sleep for.

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Wed, 6 Feb 2013 12:54:33 +0000 (12:54 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoBetter pretty-printing of types and coercions
Simon Peyton Jones [Wed, 6 Feb 2013 12:53:49 +0000 (12:53 +0000)] 
Better pretty-printing of types and coercions

6 years agoSpelling in comment
Simon Peyton Jones [Wed, 6 Feb 2013 12:53:36 +0000 (12:53 +0000)] 
Spelling in comment

6 years agoFix spelling mistake in user guide (#7657).
David Terei [Wed, 6 Feb 2013 08:01:12 +0000 (00:01 -0800)] 
Fix spelling mistake in user guide (#7657).

6 years agoWarning police
Manuel M T Chakravarty [Wed, 6 Feb 2013 03:07:44 +0000 (14:07 +1100)] 
Warning police

6 years agoMerge branch 'refs/heads/vect-avoid-merge'
Manuel M T Chakravarty [Wed, 6 Feb 2013 02:13:59 +0000 (13:13 +1100)] 
Merge branch 'refs/heads/vect-avoid-merge'

6 years agoVectoriser: merge fix
Manuel M T Chakravarty [Wed, 6 Feb 2013 00:00:39 +0000 (11:00 +1100)] 
Vectoriser: merge fix

6 years agoMerge branch 'refs/heads/vect-avoid' into vect-avoid-merge
Manuel M T Chakravarty [Tue, 5 Feb 2013 23:31:17 +0000 (10:31 +1100)] 
Merge branch 'refs/heads/vect-avoid' into vect-avoid-merge

Conflicts:
compiler/rename/RnSource.lhs
compiler/simplCore/OccurAnal.lhs
compiler/vectorise/Vectorise/Exp.hs

NB: Merging instead of rebasing for a change. During rebase Git got confused due to the lack of the submodules in my quite old fork.

6 years agoUse usecs rather than msecs for microseconds
Ian Lynagh [Tue, 5 Feb 2013 23:26:24 +0000 (23:26 +0000)] 
Use usecs rather than msecs for microseconds

We were using "us" elsewhere, so this was inconsistent.

6 years agoFix a typo
Ian Lynagh [Tue, 5 Feb 2013 18:51:29 +0000 (18:51 +0000)] 
Fix a typo

6 years agoAdd a dependency of program modules on GHC.TopHandler
Ian Lynagh [Tue, 5 Feb 2013 17:38:43 +0000 (17:38 +0000)] 
Add a dependency of program modules on GHC.TopHandler

If you were unlucky, the build could fail, e.g.:

utils\mkUserGuidePart\Main.hs:1:1:
    Failed to load interface for `GHC.TopHandler'
    There are files missing in the `base' package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
utils/mkUserGuidePart/ghc.mk:18: recipe for target `utils/mkUserGuidePart/dist/build/Main.o' failed

6 years agoAdd the new random commit again
Ian Lynagh [Tue, 5 Feb 2013 14:08:05 +0000 (14:08 +0000)] 
Add the new random commit again

6 years agoinstall ghc-pkg correctly when Stage1Only=YES (#7639)
Simon Marlow [Tue, 5 Feb 2013 12:39:50 +0000 (12:39 +0000)] 
install ghc-pkg correctly when Stage1Only=YES (#7639)

6 years agoRemove '-favoid-vect' and add '-fvectorisation-avoidance'
Manuel M T Chakravarty [Tue, 5 Feb 2013 06:53:50 +0000 (17:53 +1100)] 
Remove '-favoid-vect' and add '-fvectorisation-avoidance'

* By default '-fvectorisation-avoidance' is enabled at all optimisation levels (but it only matters in combination with '-fvectorise').
* The new vectoriser always uses vectorisation avoidance, but with '-fno-vectorisation-avoidance' it restricts it to simple scalar applications (and dictionary computations)

6 years agoRevert "Update the random repo again, now the patch is actually pushed"
Ian Lynagh [Mon, 4 Feb 2013 22:45:12 +0000 (22:45 +0000)] 
Revert "Update the random repo again, now the patch is actually pushed"

This reverts commit a40e7d7082ac75b4629db9bda75366519f3218a0.

6 years agoUpdate the random repo again, now the patch is actually pushed
Ian Lynagh [Mon, 4 Feb 2013 22:40:47 +0000 (22:40 +0000)] 
Update the random repo again, now the patch is actually pushed

6 years agoRevert random submodule back to an extant hash.
Geoffrey Mainland [Mon, 4 Feb 2013 17:20:51 +0000 (17:20 +0000)] 
Revert random submodule back to an extant hash.

6 years agoMerge commit '3cedbfb49996da2f029b4a84ca39f4d21f309813'
Simon Marlow [Mon, 4 Feb 2013 11:19:33 +0000 (11:19 +0000)] 
Merge commit '3cedbfb49996da2f029b4a84ca39f4d21f309813'

* commit '3cedbfb49996da2f029b4a84ca39f4d21f309813':
  AsmCodeGen.NcgImpl.ncgMakeFarBranches should take account of info tables (#709)
  Move AsmCodeGen.makeFarBranches to PPC.Instr (#709)

6 years agoVectoriser: avoid producing (\v -> v) v in liftSimple
Manuel M T Chakravarty [Mon, 4 Feb 2013 06:54:16 +0000 (17:54 +1100)] 
Vectoriser: avoid producing (\v -> v) v in liftSimple

6 years agoVectoriser: abstract arguments to scalar functions in the right order
Manuel M T Chakravarty [Mon, 4 Feb 2013 05:43:34 +0000 (16:43 +1100)] 
Vectoriser: abstract arguments to scalar functions in the right order