ghc.git
8 years agoMore updates to Safe Haskell to implement new design (done!).
David Terei [Tue, 25 Oct 2011 18:07:09 +0000 (11:07 -0700)] 
More updates to Safe Haskell to implement new design (done!).

Conflicts:

compiler/main/DynFlags.hs
compiler/main/HscMain.lhs

8 years agoFix some validation errors
David Terei [Tue, 25 Oct 2011 22:15:37 +0000 (15:15 -0700)] 
Fix some validation errors

Conflicts:

compiler/main/DynFlags.hs
compiler/main/HscMain.lhs

8 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Tue, 1 Nov 2011 07:39:41 +0000 (07:39 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

8 years agoMinor refactoring only
Simon Peyton Jones [Tue, 1 Nov 2011 07:38:45 +0000 (07:38 +0000)] 
Minor refactoring only

8 years agoFix unused var warning on windows
Duncan Coutts [Mon, 31 Oct 2011 23:01:36 +0000 (23:01 +0000)] 
Fix unused var warning on windows

8 years agoFix warnings and whitespace in HsBinds.
Michal Terepeta [Sun, 30 Oct 2011 11:28:59 +0000 (12:28 +0100)] 
Fix warnings and whitespace in HsBinds.

8 years agoFix duplicate type signature error (ticket #5589).
Michal Terepeta [Sun, 30 Oct 2011 11:20:44 +0000 (12:20 +0100)] 
Fix duplicate type signature error (ticket #5589).

8 years agoFix recent rts flags changes on windows
Duncan Coutts [Mon, 31 Oct 2011 11:39:15 +0000 (11:39 +0000)] 
Fix recent rts flags changes on windows

I naively assumed that mingw would not have unistd.h or sys/types
but it has both, yet does not have getuid() and friends.

8 years agoVECTORISE pragmas for type classes and instances
Manuel M T Chakravarty [Mon, 31 Oct 2011 06:37:26 +0000 (17:37 +1100)] 
VECTORISE pragmas for type classes and instances

* Frontend support (not yet used in the vectoriser)

8 years agoTabs -> spaces
Manuel M T Chakravarty [Thu, 27 Oct 2011 23:31:51 +0000 (10:31 +1100)] 
Tabs -> spaces

8 years agoTabs -> spaces
Manuel M T Chakravarty [Thu, 27 Oct 2011 05:40:33 +0000 (16:40 +1100)] 
Tabs -> spaces

8 years agoTabs -> Spaces
Manuel M T Chakravarty [Wed, 26 Oct 2011 02:30:52 +0000 (13:30 +1100)] 
Tabs -> Spaces

8 years agoTabs -> spaces
Manuel M T Chakravarty [Wed, 26 Oct 2011 00:26:07 +0000 (11:26 +1100)] 
Tabs -> spaces

8 years agoTabs -> spaces
Manuel M T Chakravarty [Tue, 25 Oct 2011 23:32:54 +0000 (10:32 +1100)] 
Tabs -> spaces

8 years agoThe Types inside an OutCoercion are *not* InTypes
Max Bolingbroke [Sun, 30 Oct 2011 08:28:52 +0000 (08:28 +0000)] 
The Types inside an OutCoercion are *not* InTypes

8 years agoAllow the -t -T -s -S flags (without <file> arg!) in -rtsopts=some mode
Duncan Coutts [Thu, 27 Oct 2011 16:35:44 +0000 (17:35 +0100)] 
Allow the -t -T -s -S flags (without <file> arg!) in -rtsopts=some mode

Without any <file> arg, these flags just dump info to stderr so
are at most a mild information disclosure danger. We disallow
a <file> arg in the default -rtsopts=some mode since that will
overwrite the given file.

8 years agoChange what +RTS options are available by default
Duncan Coutts [Thu, 27 Oct 2011 12:26:15 +0000 (13:26 +0100)] 
Change what +RTS options are available by default

Ticket #3910 originally pointed out that the RTS options are a potential
security problem. For example the -t -s or -S flags can be used to
overwrite files. This would be bad in the context of CGI scripts or
setuid binaries. So we introduced a system where +RTS processing is more
or less disabled unless you pass the -rtsopts flag at link time.

This scheme is safe enough but it also really annoies users. They have
to use -rtsopts in many circumstances: with -threaded to use -N, with
-eventlog to use -l, with -prof to use any of the profiling flags. Many
users just set -rtsopts globally or in project .cabal files. Apart from
annoying users it reduces security because it means that deployed
binaries will have all RTS options enabled rather than just profiling
ones.

This patch relaxes the set of RTS options that are available in the
default -rtsopts=some case. For "deployment" ways like vanilla and
-threaded we remain quite conservative. Only --info -? --help are
allowed for vanilla. For -threaded, -N and -N<x> are allowed with a
check that x <= num cpus.

For "developer" ways like -debug, -eventlog, -prof, we allow all the
options that are special to that way. Some of these allow writing files,
but the file written is not directly under the control of the attacker.
For the setuid case (where the attacker would have control over binary
name, current dir, local symlinks etc) we check if the process is
running setuid/setgid and refuse all RTS option processing. Users would
need to use -rtsopts=all in this case.

We are making the assumption that developers will not deploy binaries
built in the -debug, -eventlog, -prof ways. And even if they do, the
damage should be limited to DOS, information disclosure and writing
files like <progname>.eventlog, not arbitrary files.

8 years agoUse signed comparison for +RTS -N x <= 0 test
Duncan Coutts [Thu, 27 Oct 2011 12:16:24 +0000 (13:16 +0100)] 
Use signed comparison for +RTS -N x <= 0 test

Otherwise we can use +RTS -N-1 and get 2^32 or 2^64 capabilities
which doesn't work out so well...

8 years agoRemove +RTS --help text for -De flag which no longer exists
Duncan Coutts [Thu, 27 Oct 2011 12:09:02 +0000 (13:09 +0100)] 
Remove +RTS --help text for -De flag which no longer exists

8 years agoAdd an RTS eventlog tracing class for user messages
Duncan Coutts [Thu, 27 Oct 2011 11:44:05 +0000 (12:44 +0100)] 
Add an RTS eventlog tracing class for user messages

Enables people to turn them on/off. Defaults to on.

8 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Ian Lynagh [Wed, 26 Oct 2011 18:06:53 +0000 (19:06 +0100)] 
Merge branch 'master' of darcs.haskell.org/ghc

8 years agofix#5380: arrows if command given too general a type
Ross Paterson [Wed, 26 Oct 2011 17:23:57 +0000 (18:23 +0100)] 
fix#5380: arrows if command given too general a type

There were two bugs with the implementation of rebindable syntax, so I
adapted the code for if-expressions.  Also noted that rebinding of if
is a bit more restricted in the arrows case.

8 years agoMerge branch 'master' of mac:ghc/git/val32/.
Ian Lynagh [Wed, 26 Oct 2011 17:22:47 +0000 (18:22 +0100)] 
Merge branch 'master' of mac:ghc/git/val32/.

8 years agoRevert "More updates to Safe Haskell to implement new design (done!)."
Ian Lynagh [Wed, 26 Oct 2011 16:37:35 +0000 (17:37 +0100)] 
Revert "More updates to Safe Haskell to implement new design (done!)."

This reverts commit bb0eb57e329bcdd781e24b0d86993a0df25beed8.

8 years agoRevert "Fix some validation errors"
Ian Lynagh [Wed, 26 Oct 2011 16:37:27 +0000 (17:37 +0100)] 
Revert "Fix some validation errors"

This reverts commit 4e2121f4fa33743d0acb42506b4d34952a7e4c80.

8 years agoFix typo
Ian Lynagh [Wed, 26 Oct 2011 14:29:15 +0000 (15:29 +0100)] 
Fix typo

8 years agoAdd a clock domain capset and emit wall clock time on rts init
Duncan Coutts [Wed, 26 Oct 2011 10:58:44 +0000 (11:58 +0100)] 
Add a clock domain capset and emit wall clock time on rts init

8 years agoAdd new eventlog EVENT_WALL_CLOCK_TIME for time matching
Duncan Coutts [Tue, 25 Oct 2011 17:55:55 +0000 (18:55 +0100)] 
Add new eventlog EVENT_WALL_CLOCK_TIME for time matching

Eventlog timestamps are elapsed times (in nanoseconds) relative to the
process start. To be able to merge eventlogs from multiple processes we
need to be able to align their timelines. If they share a clock domain
(or a user judges that their clocks are sufficiently closely
synchronised) then it is sufficient to know how the eventlog timestamps
match up with the clock.

The EVENT_WALL_CLOCK_TIME contains the clock time with (up to)
nanosecond precision. It is otherwise an ordinary event and so contains
the usual timestamp for the same moment in time. It therefore enables
us to match up all the eventlog timestamps with clock time.

8 years agoAdd rts time util getUnixEpochTime
Duncan Coutts [Tue, 25 Oct 2011 17:41:46 +0000 (18:41 +0100)] 
Add rts time util getUnixEpochTime

The other existing time utilities give us time elapsed since process
or thread start. This is for wall clock time, using the common Unix
epoch interpretation.

8 years agoDelete some old Win9x C code
Duncan Coutts [Tue, 25 Oct 2011 17:40:46 +0000 (18:40 +0100)] 
Delete some old Win9x C code

8 years agoRename traceCapsetModify for consistency and clarity
Duncan Coutts [Tue, 25 Oct 2011 17:31:33 +0000 (18:31 +0100)] 
Rename traceCapsetModify for consistency and clarity

8 years agoVerify that I can still add tabs to a file already containing them
Max Bolingbroke [Wed, 26 Oct 2011 10:11:37 +0000 (11:11 +0100)] 
Verify that I can still add tabs to a file already containing them

8 years agoFix some validation errors
David Terei [Tue, 25 Oct 2011 22:15:37 +0000 (15:15 -0700)] 
Fix some validation errors

8 years agoAdd some documentation to IOEnv.
David Terei [Tue, 25 Oct 2011 18:07:41 +0000 (11:07 -0700)] 
Add some documentation to IOEnv.

8 years agoMore updates to Safe Haskell to implement new design (done!).
David Terei [Tue, 25 Oct 2011 18:07:09 +0000 (11:07 -0700)] 
More updates to Safe Haskell to implement new design (done!).

8 years agoSetup new Safe Haskell interface
David Terei [Thu, 20 Oct 2011 03:01:40 +0000 (20:01 -0700)] 
Setup new Safe Haskell interface

8 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Ian Lynagh [Tue, 25 Oct 2011 19:49:34 +0000 (20:49 +0100)] 
Merge branch 'master' of darcs.haskell.org/ghc

8 years agoEnable dynamic libraries on OSX amd64
Ian Lynagh [Tue, 25 Oct 2011 19:48:03 +0000 (20:48 +0100)] 
Enable dynamic libraries on OSX amd64

I don't know why it wasn't already enabled, but it seems to work.

8 years agoComments only
Simon Peyton Jones [Tue, 25 Oct 2011 16:44:58 +0000 (17:44 +0100)] 
Comments only

8 years agoUnconditionally derive some instances
Ian Lynagh [Mon, 24 Oct 2011 10:49:31 +0000 (11:49 +0100)] 
Unconditionally derive some instances

They used to be only derived when DEBUG was on

8 years agoRemove some CPP
Ian Lynagh [Sun, 23 Oct 2011 23:13:43 +0000 (00:13 +0100)] 
Remove some CPP

8 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Tue, 25 Oct 2011 10:23:53 +0000 (11:23 +0100)] 
Merge branch 'master' of darcs.haskell.org/ghc

8 years agoMake GHCi :kind commane work again
Simon Peyton Jones [Tue, 25 Oct 2011 10:23:12 +0000 (11:23 +0100)] 
Make GHCi :kind commane work again

In generalising :kind to :kind! I managed to make it
work only for types of kind *, which is a bit stupid.

This fixes it.  Regression test coming.

8 years agoFix infinite loop in PredTYpe size checking (#5581)
Max Bolingbroke [Tue, 25 Oct 2011 09:28:31 +0000 (10:28 +0100)] 
Fix infinite loop in PredTYpe size checking (#5581)

8 years agoFix Haddock dependency on library archive
Manuel M T Chakravarty [Tue, 25 Oct 2011 08:50:53 +0000 (19:50 +1100)] 
Fix Haddock dependency on library archive

8 years agoVectoriser gets all DPH library identifiers from Data.Array.Parallel.Prim
Manuel M T Chakravarty [Mon, 24 Oct 2011 03:48:34 +0000 (14:48 +1100)] 
Vectoriser gets all DPH library identifiers from Data.Array.Parallel.Prim

* No more use of hardcoded original names
* Initialisation of the desugarer monad loads 'Data.Array.Parallel.Prim' if -fdph-* given
* Initialisation of the vectoriser gets all built-in names from there

8 years agoTabs -> spaces
Manuel M T Chakravarty [Wed, 19 Oct 2011 05:09:37 +0000 (16:09 +1100)] 
Tabs -> spaces

8 years agoTabs -> spaces
Manuel M T Chakravarty [Sun, 16 Oct 2011 10:19:55 +0000 (21:19 +1100)] 
Tabs -> spaces

8 years agoTabs -> spaces
Manuel M T Chakravarty [Sat, 15 Oct 2011 06:22:53 +0000 (17:22 +1100)] 
Tabs -> spaces

8 years agoTabs -> spaces
Manuel M T Chakravarty [Sat, 15 Oct 2011 06:03:06 +0000 (17:03 +1100)] 
Tabs -> spaces

8 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Mon, 24 Oct 2011 18:51:16 +0000 (19:51 +0100)] 
Merge branch 'master' of darcs.haskell.org/ghc

8 years agoMake the matching in PrelRules "look through" unfoldings
Simon Peyton Jones [Mon, 24 Oct 2011 17:05:42 +0000 (18:05 +0100)] 
Make the matching in PrelRules "look through" unfoldings

This is important for Integer literals; fixes Trac #5576

8 years agoComments and layout only
Simon Peyton Jones [Mon, 24 Oct 2011 17:04:53 +0000 (18:04 +0100)] 
Comments and layout only

8 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Mon, 24 Oct 2011 14:44:02 +0000 (15:44 +0100)] 
Merge branch 'master' of darcs.haskell.org/ghc

8 years agoLayout only
Simon Peyton Jones [Mon, 24 Oct 2011 14:43:49 +0000 (15:43 +0100)] 
Layout only

8 years agoAssociated type defaults work only for type *synonym* defaults
Simon Peyton Jones [Mon, 24 Oct 2011 14:40:07 +0000 (15:40 +0100)] 
Associated type defaults work only for type *synonym* defaults

8 years agoComments only
Simon Peyton Jones [Mon, 24 Oct 2011 14:39:44 +0000 (15:39 +0100)] 
Comments only

8 years agodelete shadowed entries from tcg_rdr_env (#5564)
Simon Marlow [Wed, 19 Oct 2011 10:46:20 +0000 (11:46 +0100)] 
delete shadowed entries from tcg_rdr_env (#5564)

This just tidies up the out-of-scope error messages in GHCi by not
suggesting some names twice.

8 years agoGive a correct SrcSpan to 'it' (#5564)
Simon Marlow [Wed, 19 Oct 2011 10:40:43 +0000 (11:40 +0100)] 
Give a correct SrcSpan to 'it' (#5564)

8 years agoIncrement the line number correctly in GHCi
Simon Marlow [Wed, 19 Oct 2011 10:39:44 +0000 (11:39 +0100)] 
Increment the line number correctly in GHCi

We were doing this when stdin was not a terminal, so all the tests
worked, but not when stdin was a terminal.  In fact the line number
was stuck at "2".

8 years agofix race condition in yieldCapability() (#5552)
Simon Marlow [Mon, 24 Oct 2011 12:29:32 +0000 (13:29 +0100)] 
fix race condition in yieldCapability() (#5552)

See comment for details.  I've tried quite hard, but haven't been able
to make a small test case that reproduces the bug.

8 years agoComments only on superclass cycle check
Simon Peyton Jones [Mon, 24 Oct 2011 11:46:26 +0000 (12:46 +0100)] 
Comments only on superclass cycle check

8 years agoAdd note about superclass cycle check
Max Bolingbroke [Mon, 24 Oct 2011 08:31:14 +0000 (09:31 +0100)] 
Add note about superclass cycle check

8 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Mon, 24 Oct 2011 07:34:19 +0000 (08:34 +0100)] 
Merge branch 'master' of darcs.haskell.org/ghc

8 years agoEliminate all uses of IF_ARCH_i386, and remove the definition
Ian Lynagh [Sun, 23 Oct 2011 22:07:17 +0000 (23:07 +0100)] 
Eliminate all uses of IF_ARCH_i386, and remove the definition

8 years agoRemove unused CPP definitions of COMMA
Ian Lynagh [Sun, 23 Oct 2011 21:50:26 +0000 (22:50 +0100)] 
Remove unused CPP definitions of COMMA

8 years agoRemove unused IF_OS_* CPP definitions
Ian Lynagh [Sun, 23 Oct 2011 21:49:26 +0000 (22:49 +0100)] 
Remove unused IF_OS_* CPP definitions

8 years agoEliminate a couple of IF_ARCH_i386's
Ian Lynagh [Sun, 23 Oct 2011 21:47:15 +0000 (22:47 +0100)] 
Eliminate a couple of IF_ARCH_i386's

8 years agoMore CPP removal
Ian Lynagh [Sun, 23 Oct 2011 21:45:06 +0000 (22:45 +0100)] 
More CPP removal

8 years agoCorrect a comment
Ian Lynagh [Sun, 23 Oct 2011 21:35:07 +0000 (22:35 +0100)] 
Correct a comment

8 years agoFinish removing CPP from nativeGen/PPC/Ppr.hs
Ian Lynagh [Sun, 23 Oct 2011 19:41:01 +0000 (20:41 +0100)] 
Finish removing CPP from nativeGen/PPC/Ppr.hs

8 years agoRemove half the CPP from nativeGen/PPC/Ppr.hs
Ian Lynagh [Sun, 23 Oct 2011 19:27:19 +0000 (20:27 +0100)] 
Remove half the CPP from nativeGen/PPC/Ppr.hs

8 years agoSome DEBUG CPP removal
Ian Lynagh [Sun, 23 Oct 2011 17:49:24 +0000 (18:49 +0100)] 
Some DEBUG CPP removal

8 years agoRemove a redundant #ifdef DEBUG
Ian Lynagh [Sun, 23 Oct 2011 17:09:20 +0000 (18:09 +0100)] 
Remove a redundant #ifdef DEBUG

Assertions already get optimised away if DEBUG is off

8 years agoFollow cabal->Cabal rename, and fix haddock index generation
Ian Lynagh [Sun, 23 Oct 2011 15:13:56 +0000 (16:13 +0100)] 
Follow cabal->Cabal rename, and fix haddock index generation

We now make use of the ghc-packages file when making the haddock index.

8 years agoBrief documentation about relaxed superclass cycle check
Max Bolingbroke [Sat, 22 Oct 2011 13:03:07 +0000 (14:03 +0100)] 
Brief documentation about relaxed superclass cycle check

8 years agoCorrect the manual to use ConstraintKinds rather than ConstraintKinds
Max Bolingbroke [Sat, 22 Oct 2011 13:02:51 +0000 (14:02 +0100)] 
Correct the manual to use ConstraintKinds rather than ConstraintKinds

8 years agoImplement relaxed superclass cycle check
Max Bolingbroke [Fri, 21 Oct 2011 15:44:23 +0000 (16:44 +0100)] 
Implement relaxed superclass cycle check

This new check permits code such as the following:

  class B cls a where
    meth :: cls a => a -> a

  class B C a => C a where

This code can never cause the constraint solver to diverge, adding
infinite numbers of superclasses, because C is not mentioned as a
superclass of B.

8 years agoFix kind-checking for unboxed tuples (fixes Trac #5573)
Simon Peyton Jones [Sat, 22 Oct 2011 11:03:11 +0000 (12:03 +0100)] 
Fix kind-checking for unboxed tuples (fixes Trac #5573)

In particular we don't allow *nested* unboxed tuples, but the
typechecker wasn't actually enforcing that, which confused the
later stages of the compiler.

I also updated the documentation on unboxed tuples.

8 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Fri, 21 Oct 2011 22:09:29 +0000 (23:09 +0100)] 
Merge branch 'master' of darcs.haskell.org/ghc

8 years agoMake sure the arg and result of ($) have kind *
Simon Peyton Jones [Fri, 21 Oct 2011 22:07:10 +0000 (23:07 +0100)] 
Make sure the arg and result of ($) have kind *

Fixes Trac #5570

8 years agoRecover proper sharing for Integer literals
Simon Peyton Jones [Fri, 21 Oct 2011 16:53:30 +0000 (17:53 +0100)] 
Recover proper sharing for Integer literals

Trac #5549 showed a loss of performance for GHC 7.4.
What was happening was that an integer literal was being
allocated each time around a loop, rather than being
floated to top level and shared.

Two fixes
 * Make the float-out pass float literals that are non-trivial
 * Make the inliner *not* treat Integer literals as size-zero

8 years agoEcho the Haddock command line, to make deugging any crash in Haddock easier
Simon Peyton Jones [Fri, 21 Oct 2011 15:42:04 +0000 (16:42 +0100)] 
Echo the Haddock command line, to make deugging any crash in Haddock easier

8 years agoA little more refactoring, triggered by the fix to Trac #5545
Simon Peyton Jones [Fri, 21 Oct 2011 15:41:13 +0000 (16:41 +0100)] 
A little more refactoring, triggered by the fix to Trac #5545

8 years agoPrint simplifier statistics in simplifyExpr as well
Simon Peyton Jones [Fri, 21 Oct 2011 15:38:56 +0000 (16:38 +0100)] 
Print simplifier statistics in simplifyExpr as well

8 years agoRefactor the way in which type (and other) signatures are renamed
Simon Peyton Jones [Fri, 21 Oct 2011 15:37:43 +0000 (16:37 +0100)] 
Refactor the way in which type (and other) signatures are renamed

This was a trickier change than I had anticipated, but I think
it's considerably tidier now.

Fixes Trac #5533.

8 years agoBe even more careful about eta expansion when bottom is involved
Simon Peyton Jones [Fri, 21 Oct 2011 15:34:21 +0000 (16:34 +0100)] 
Be even more careful about eta expansion when bottom is involved

See Note [Dealing with bottom], reproduced below.  Fixes Trac #5557.

3.  Note [Dealing with bottom]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Consider
f = \x -> error "foo"
Here, arity 1 is fine.  But if it is
f = \x -> case x of
True  -> error "foo"
False -> \y -> x+y
then we want to get arity 2.  Technically, this isn't quite right, because
(f True) `seq` 1
should diverge, but it'll converge if we eta-expand f.  Nevertheless, we
do so; it improves some programs significantly, and increasing convergence
isn't a bad thing.  Hence the ABot/ATop in ArityType.

However, this really isn't always the Right Thing, and we have several
tickets reporting unexpected bahaviour resulting from this
transformation.  So we try to limit it as much as possible:

 * Do NOT move a lambda outside a known-bottom case expression
      case undefined of { (a,b) -> \y -> e }
   This showed up in Trac #5557

 * Do NOT move a lambda outside a case if all the branches of
   the case are known to return bottom.
      case x of { (a,b) -> \y -> error "urk" }
   This case is less important, but the idea is that if the fn is
   going to diverge eventually anyway then getting the best arity
   isn't an issue, so we might as well play safe

Of course both these are readily defeated by disguising the bottoms.

8 years agoFinish fixing #5529: Require that constructors are imported from all types
Ian Lynagh [Thu, 20 Oct 2011 23:47:15 +0000 (00:47 +0100)] 
Finish fixing #5529: Require that constructors are imported from all types

We used to have a hack for Foreign.C.Types and System.Posix.Types,
but I've removed that now. We also mark any constructors that we look
through as "used", so that we don't get warnings about unused imports.

8 years agoFollow change in FFI import decls
Ian Lynagh [Thu, 20 Oct 2011 23:43:23 +0000 (00:43 +0100)] 
Follow change in FFI import decls

Now need to import constructors for Foreign.C.Types types

8 years agoSome CPP removal
Ian Lynagh [Thu, 20 Oct 2011 01:01:10 +0000 (02:01 +0100)] 
Some CPP removal

8 years agoRemove some legacy code
Ian Lynagh [Thu, 20 Oct 2011 00:07:22 +0000 (01:07 +0100)] 
Remove some legacy code

__GLASGOW_HASKELL__ >= 612 is now always true

8 years agoRemove unused elf_OBJ_FORMAT #define
Ian Lynagh [Wed, 19 Oct 2011 23:46:53 +0000 (00:46 +0100)] 
Remove unused elf_OBJ_FORMAT #define

8 years agoFIX BUILD on OS X 10.5: Check whether ld understands -no_compact_unwind
Thorkil Naur [Tue, 18 Oct 2011 22:20:53 +0000 (00:20 +0200)] 
FIX BUILD on OS X 10.5: Check whether ld understands -no_compact_unwind

8 years agoA little more CPP removal
Ian Lynagh [Wed, 19 Oct 2011 20:49:26 +0000 (21:49 +0100)] 
A little more CPP removal

8 years agoConvert the HAVE_GNU_NONEXEC_STACK conditional into Haskell
Ian Lynagh [Wed, 19 Oct 2011 16:33:25 +0000 (17:33 +0100)] 
Convert the HAVE_GNU_NONEXEC_STACK conditional into Haskell

8 years agoRemove all Haskell conditionals on HAVE_SUBSECTIONS_VIA_SYMBOLS
Ian Lynagh [Wed, 19 Oct 2011 15:57:38 +0000 (16:57 +0100)] 
Remove all Haskell conditionals on HAVE_SUBSECTIONS_VIA_SYMBOLS

We now use the value from the targetPlatform instead.

8 years agoAdd "have subsections via symbols" to the Platform type
Ian Lynagh [Wed, 19 Oct 2011 15:36:40 +0000 (16:36 +0100)] 
Add "have subsections via symbols" to the Platform type

8 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Ian Lynagh [Wed, 19 Oct 2011 13:17:47 +0000 (14:17 +0100)] 
Merge branch 'master' of darcs.haskell.org/ghc

Conflicts:
compiler/utils/Platform.hs

8 years agoPut the target platform in the settings file
Ian Lynagh [Wed, 19 Oct 2011 12:32:11 +0000 (13:32 +0100)] 
Put the target platform in the settings file

8 years agoadd info about pulling changes (#5562)
Simon Marlow [Wed, 19 Oct 2011 09:37:08 +0000 (10:37 +0100)] 
add info about pulling changes (#5562)