ghc.git
6 years agoSuppress a misleading error message (Trac #7869)
Simon Peyton Jones [Mon, 29 Apr 2013 16:28:20 +0000 (17:28 +0100)] 
Suppress a misleading error message (Trac #7869)

We were saying
     The function `f' is applied to one argument,
     but its type `[a] -> b' has only one
which is obviously bogus.

This fix suppresses the explanation in cases where it may not
be the *right* explanation.

6 years agoTighten up on the kind checking for foralls
Simon Peyton Jones [Mon, 29 Apr 2013 16:26:17 +0000 (17:26 +0100)] 
Tighten up on the kind checking for foralls

In particular,
   (forall a. Num a => ...)
always has kind *, becuase the "=>" really is a function.

It turned out that this was at the bottom of the crash in Trac #7778,
which is now fixed

6 years agoFix build on OS X
Ian Lynagh [Mon, 29 Apr 2013 23:42:31 +0000 (00:42 +0100)] 
Fix build on OS X

sed on OS X doesn't handle \+

6 years agoFix build
Ian Lynagh [Sun, 28 Apr 2013 21:15:44 +0000 (22:15 +0100)] 
Fix build

6 years agoAdd -L flags to libs.depend (fixes #7465)
Ian Lynagh [Sun, 28 Apr 2013 21:04:04 +0000 (22:04 +0100)] 
Add -L flags to libs.depend (fixes #7465)

Based on a patch from Peter Trommler

6 years agoTidy up some build system code
Ian Lynagh [Sun, 28 Apr 2013 21:02:11 +0000 (22:02 +0100)] 
Tidy up some build system code

6 years agoSmall refactoring in ghc-pkg
Ian Lynagh [Sun, 28 Apr 2013 20:59:28 +0000 (21:59 +0100)] 
Small refactoring in ghc-pkg

6 years agoUpdate Cabal
Ian Lynagh [Sun, 28 Apr 2013 20:58:16 +0000 (21:58 +0100)] 
Update Cabal

6 years agoRemove some old "backwards compatibility" code
Ian Lynagh [Sun, 28 Apr 2013 20:57:03 +0000 (21:57 +0100)] 
Remove some old "backwards compatibility" code

It was marked as "backwards compatibility" in 2006, so I think
can be removed now. It allowed using old field names when looking
at fields with ghc-pkg.

6 years agoMake "ghc-pkg field pkg field --simple-output" do something useful
Ian Lynagh [Sun, 28 Apr 2013 20:50:47 +0000 (21:50 +0100)] 
Make "ghc-pkg field pkg field --simple-output" do something useful

It used to just ignore the --simple-output flag

6 years agoRecord libffi directory in rts package conf; trac #7465
Ian Lynagh [Sun, 28 Apr 2013 16:46:16 +0000 (17:46 +0100)] 
Record libffi directory in rts package conf; trac #7465

Patch from Peter Trommler

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Sat, 27 Apr 2013 23:49:30 +0000 (00:49 +0100)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoFix build on Windows
Ian Lynagh [Sat, 27 Apr 2013 23:15:55 +0000 (00:15 +0100)] 
Fix build on Windows

6 years agoFix linking with binutils 2.22 or later on FreeBSD 9.1, where one should
Gabor Pali [Sat, 27 Apr 2013 21:17:01 +0000 (23:17 +0200)] 
Fix linking with binutils 2.22 or later on FreeBSD 9.1, where one should
explicitly link against any dependent library

6 years agoSet DYNAMIC_GHC_PROGRAMS=NO for FreeBSD because $ORIGIN is not resolved
Gabor Pali [Sat, 27 Apr 2013 21:13:12 +0000 (23:13 +0200)] 
Set DYNAMIC_GHC_PROGRAMS=NO for FreeBSD because $ORIGIN is not resolved
properly (see #7819)

6 years agoDon't use getPackageLinkOpts on iOS; fixes #7720.
Ian Lynagh [Sat, 27 Apr 2013 11:45:04 +0000 (12:45 +0100)] 
Don't use getPackageLinkOpts on iOS; fixes #7720.

On iOS, binaries are really static libraries, so we don't want to use
flags like -lm when linking them.

6 years agoFix mismatched visibility of assembler impls of StgRun
Ian Lynagh [Sat, 27 Apr 2013 00:18:01 +0000 (01:18 +0100)] 
Fix mismatched visibility of assembler impls of StgRun

Based on a patch from PHO, in trac #7813.

We were previously declaring StgRun as a private symbol (in
rts/StgRun.h), but were actually defining it as a public one (in
rts/StgCRun.c). This caused a linkage problem with old binutils. See:
http://www.haskell.org/pipermail/ghc-devs/2013-April/000932.html

6 years agoHandle sign bit when generating veneer for ARM Thumb branch relocation
Colin Watson [Mon, 8 Apr 2013 23:02:27 +0000 (00:02 +0100)] 
Handle sign bit when generating veneer for ARM Thumb branch relocation

6 years agoUse -rpath flags on all Elf OSes, not just Linux
Ian Lynagh [Fri, 26 Apr 2013 23:28:31 +0000 (00:28 +0100)] 
Use -rpath flags on all Elf OSes, not just Linux

Patch from pgj; part of #7819.

6 years agoWhen linking with $ORIGIN rpaths, use the "-z origin" linker flag too
Ian Lynagh [Fri, 26 Apr 2013 23:26:06 +0000 (00:26 +0100)] 
When linking with $ORIGIN rpaths, use the "-z origin" linker flag too

On FreeBSD, one needs use "-z origin" in order to enable resolution
of $ORIGIN in RPATH. Part of #7819.

6 years agoUpdate Cabal
Ian Lynagh [Fri, 26 Apr 2013 22:30:27 +0000 (23:30 +0100)] 
Update Cabal

6 years agoRemove extCoreName from DynFlags
Ian Lynagh [Fri, 26 Apr 2013 21:18:45 +0000 (22:18 +0100)] 
Remove extCoreName from DynFlags

We now just pass the filename as an argument

6 years agoWhitespace only in MkExternalCore
Ian Lynagh [Fri, 26 Apr 2013 20:16:11 +0000 (21:16 +0100)] 
Whitespace only in MkExternalCore

6 years agoRemove DynFlags's hscOutName field
Ian Lynagh [Fri, 26 Apr 2013 20:09:46 +0000 (21:09 +0100)] 
Remove DynFlags's hscOutName field

We now just pass the output filename as an argument instead

6 years ago"ghc --info" now claims has "Support dynamic-too" as "YES"
Ian Lynagh [Fri, 26 Apr 2013 18:42:06 +0000 (19:42 +0100)] 
"ghc --info" now claims has "Support dynamic-too" as "YES"

6 years agoFix "-dynamic-too --make"; fixes #7864
Ian Lynagh [Fri, 26 Apr 2013 18:40:36 +0000 (19:40 +0100)] 
Fix "-dynamic-too --make"; fixes #7864

6 years agoWe need to setModLocation in the HscOut phase, not the Hsc phase
Ian Lynagh [Fri, 26 Apr 2013 18:11:43 +0000 (19:11 +0100)] 
We need to setModLocation in the HscOut phase, not the Hsc phase

The output location needs to be different for the vanilla and dynamic
ways when doing -dynamic-too. Fixes dynamicToo003.

6 years agoUpdate Cabal
Ian Lynagh [Fri, 26 Apr 2013 01:07:33 +0000 (02:07 +0100)] 
Update Cabal

6 years agoMark -dynamic-too as unsupported for now
Ian Lynagh [Fri, 26 Apr 2013 00:17:29 +0000 (01:17 +0100)] 
Mark -dynamic-too as unsupported for now

It doesn't work with --make yet. Trac #7864 filed.

6 years agoUpdate the isStaticFlag predicate
Ian Lynagh [Thu, 25 Apr 2013 20:31:34 +0000 (21:31 +0100)] 
Update the isStaticFlag predicate

-fspec-inline-join-points was removed in Jan 2010:
99f41975ae61fc919638aa389199b32742332eff

-fno-hi-version-check was removed in Nov 2003:
98744cef7b82e7eefbb1c6f1d8b9e28c415939c4

-dno-black-holing was removed in Aug 2011:
1c2f89535394958f75cfb15c8c5e0433a20953ed

-fruntime-types was removed in Apr 2008:
8d6bc9bf51829ea04da5f599b84114ef220f0a19

-fhardwire-lib-paths was removed in Jan 2008:
1b98179e0faf8c1ddf79c12827b24d4b7979b83e

6 years agoRemove some old commented-out code in StaticFlags
Ian Lynagh [Thu, 25 Apr 2013 20:27:30 +0000 (21:27 +0100)] 
Remove some old commented-out code in StaticFlags

6 years agoUpdate Cabal
Ian Lynagh [Thu, 25 Apr 2013 20:26:21 +0000 (21:26 +0100)] 
Update Cabal

6 years agoWhitespace only in StaticFlags
Ian Lynagh [Thu, 25 Apr 2013 20:26:07 +0000 (21:26 +0100)] 
Whitespace only in StaticFlags

6 years agoAdd a "Support dynamic-too" field to the --info output
Ian Lynagh [Thu, 25 Apr 2013 19:28:28 +0000 (20:28 +0100)] 
Add a "Support dynamic-too" field to the --info output

This is always "YES".

6 years agoFix the inplace name of ghc-cabal
Ian Lynagh [Thu, 25 Apr 2013 17:54:32 +0000 (18:54 +0100)] 
Fix the inplace name of ghc-cabal

We had inplace/bin/ghc-cabalghc-cabal

6 years agoFixed moer tyops
Gabor Greif [Tue, 23 Apr 2013 09:24:12 +0000 (11:24 +0200)] 
Fixed moer tyops

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.