ghc.git
9 years agoAdd separate functions for querying DynFlag and ExtensionFlag options
Ian Lynagh [Sat, 18 Sep 2010 16:38:15 +0000 (16:38 +0000)] 
Add separate functions for querying DynFlag and ExtensionFlag options
and remove the temporary DOpt class workaround.

9 years agoFix mkUserGuidePart deps
Ian Lynagh [Sat, 18 Sep 2010 14:59:04 +0000 (14:59 +0000)] 
Fix mkUserGuidePart deps
We need to directly depend on the stage1 libs. The stage1 compiler lib
doesn't depend on them.

9 years agoFix build on cygwin: Normalise slashes in .depend files to be /
Ian Lynagh [Sat, 18 Sep 2010 13:23:28 +0000 (13:23 +0000)] 
Fix build on cygwin: Normalise slashes in .depend files to be /

9 years agoextra packages info is now read from packages file
Ian Lynagh [Fri, 17 Sep 2010 22:44:09 +0000 (22:44 +0000)] 
extra packages info is now read from packages file
rather than being repeated in the build system

9 years agoTweak darcs-all
Ian Lynagh [Fri, 17 Sep 2010 19:44:35 +0000 (19:44 +0000)] 
Tweak darcs-all

9 years agoBump dependencies
Ian Lynagh [Fri, 17 Sep 2010 18:36:09 +0000 (18:36 +0000)] 
Bump dependencies

9 years agoLibrary release notes for 7.0.1
Ian Lynagh [Fri, 17 Sep 2010 17:48:50 +0000 (17:48 +0000)] 
Library release notes for 7.0.1

9 years agoFix overriding of implicit parameters in the solver
simonpj@microsoft.com [Fri, 17 Sep 2010 14:04:03 +0000 (14:04 +0000)] 
Fix overriding of implicit parameters in the solver

9 years agoMinor type printing amomaly
simonpj@microsoft.com [Fri, 17 Sep 2010 14:02:04 +0000 (14:02 +0000)] 
Minor type printing amomaly

9 years agoSpaces only
simonpj@microsoft.com [Fri, 17 Sep 2010 14:01:56 +0000 (14:01 +0000)] 
Spaces only

9 years agoMinor refactoring
simonpj@microsoft.com [Fri, 17 Sep 2010 14:01:50 +0000 (14:01 +0000)] 
Minor refactoring

9 years agoAdd types of implicit parameters as untouchable
simonpj@microsoft.com [Fri, 17 Sep 2010 14:01:38 +0000 (14:01 +0000)] 
Add types of implicit parameters as untouchable

This is a tricky point:
   see Note [Implicit parameter untouchables]

9 years agoBetter pretty printing of implicit parameters
simonpj@microsoft.com [Fri, 17 Sep 2010 14:00:54 +0000 (14:00 +0000)] 
Better pretty printing of implicit parameters

9 years agoYet more error message improvement
simonpj@microsoft.com [Fri, 17 Sep 2010 12:12:06 +0000 (12:12 +0000)] 
Yet more error message improvement

9 years agoMore error message wibbles
simonpj@microsoft.com [Fri, 17 Sep 2010 09:47:21 +0000 (09:47 +0000)] 
More error message wibbles

9 years agoMore error refactoring
simonpj@microsoft.com [Fri, 17 Sep 2010 09:28:34 +0000 (09:28 +0000)] 
More error refactoring

9 years agoRefactor type errors a bit
simonpj@microsoft.com [Fri, 17 Sep 2010 08:07:26 +0000 (08:07 +0000)] 
Refactor type errors a bit

Improves kind error messages in paticular

9 years agoFix a very subtle shadowing bug in optCoercion
simonpj@microsoft.com [Thu, 16 Sep 2010 17:04:52 +0000 (17:04 +0000)] 
Fix a very subtle shadowing bug in optCoercion

See Note [Subtle shadowing in coercions]

This is what was going wrong in Trac 4160.

9 years agoFix bad error in tyVarsOfType
simonpj@microsoft.com [Thu, 16 Sep 2010 17:03:48 +0000 (17:03 +0000)] 
Fix bad error in tyVarsOfType

We weren't gathering the type variables free in the kind
of a coercion binder!

9 years agoMore assertions
simonpj@microsoft.com [Thu, 16 Sep 2010 17:03:10 +0000 (17:03 +0000)] 
More assertions

9 years agoAdd more location info in CoreLint
simonpj@microsoft.com [Thu, 16 Sep 2010 17:02:29 +0000 (17:02 +0000)] 
Add more location info in CoreLint

9 years agoPrint coercion variables as such (debugging change only)
simonpj@microsoft.com [Thu, 16 Sep 2010 16:59:44 +0000 (16:59 +0000)] 
Print coercion variables as such (debugging change only)

9 years agoRemove pprTrace
simonpj@microsoft.com [Wed, 15 Sep 2010 22:59:35 +0000 (22:59 +0000)] 
Remove pprTrace

9 years agoRemove dead code dealing with type refinement
simonpj@microsoft.com [Wed, 15 Sep 2010 22:32:30 +0000 (22:32 +0000)] 
Remove dead code dealing with type refinement

9 years agoUse mkAppTy
simonpj@microsoft.com [Wed, 15 Sep 2010 22:32:05 +0000 (22:32 +0000)] 
Use mkAppTy

Using AppTy in CoreLint was giving a bogus Lint failure

9 years agoComments only
simonpj@microsoft.com [Wed, 15 Sep 2010 22:12:53 +0000 (22:12 +0000)] 
Comments only

9 years agoExtend eta reduction to work with casted arguments
simonpj@microsoft.com [Wed, 15 Sep 2010 22:12:29 +0000 (22:12 +0000)] 
Extend eta reduction to work with casted arguments

See Trac #4201, and
Note [Eta reduction with casted arguments]

Thanks to Louis Wasserman for suggesting this, and
implementing an early version of the patch

9 years agoAllow "INLINEABLE" as a synonym
simonpj@microsoft.com [Wed, 15 Sep 2010 15:42:49 +0000 (15:42 +0000)] 
Allow "INLINEABLE" as a synonym

9 years agoDocumentation for INLINABLE
simonpj@microsoft.com [Wed, 15 Sep 2010 15:42:35 +0000 (15:42 +0000)] 
Documentation for INLINABLE

9 years agoImplement TH reification of instances (Trac #1835)
simonpj@microsoft.com [Wed, 15 Sep 2010 15:12:42 +0000 (15:12 +0000)] 
Implement TH reification of instances (Trac #1835)

Accompanying patch for template-haskell package is reqd

9 years agoerrno corresponding to ERROR_NO_DATA should be EPIPE (non-threaded RTS)
Simon Marlow [Wed, 15 Sep 2010 14:18:09 +0000 (14:18 +0000)] 
errno corresponding to ERROR_NO_DATA should be EPIPE (non-threaded RTS)

9 years agoWindows: use a thread-local variable for myTask()
Simon Marlow [Wed, 15 Sep 2010 12:06:27 +0000 (12:06 +0000)] 
Windows: use a thread-local variable for myTask()
Which entailed fixing an incorrect #ifdef in Task.c

9 years agoFix typo
Ian Lynagh [Wed, 15 Sep 2010 14:08:14 +0000 (14:08 +0000)] 
Fix typo

9 years agoAdd quotes in error message
simonpj@microsoft.com [Wed, 15 Sep 2010 14:47:24 +0000 (14:47 +0000)] 
Add quotes in error message

9 years agoFix isDefaultInlinePragma
simonpj@microsoft.com [Wed, 15 Sep 2010 14:47:10 +0000 (14:47 +0000)] 
Fix isDefaultInlinePragma

9 years agoImplement INLINABLE pragma
simonpj@microsoft.com [Wed, 15 Sep 2010 12:44:42 +0000 (12:44 +0000)] 
Implement INLINABLE pragma

Implements Trac #4299.  Documentation to come.

9 years agoLess voluminous error when derived code doesn't typecheck
simonpj@microsoft.com [Wed, 15 Sep 2010 07:23:01 +0000 (07:23 +0000)] 
Less voluminous error when derived code doesn't typecheck

9 years agoImprove pretty-printing of family instances
simonpj@microsoft.com [Wed, 15 Sep 2010 12:32:19 +0000 (12:32 +0000)] 
Improve pretty-printing of family instances

Fixed Trac #4246

9 years agoFix Trac #4240: -ddump-minimal-imports
simonpj@microsoft.com [Wed, 15 Sep 2010 12:19:37 +0000 (12:19 +0000)] 
Fix Trac #4240: -ddump-minimal-imports

See Note [Partial export] for the details.
I also fixed one egregious bug that was just
waiting to bite: we were using loadSysInterface
instead of loadSrcInterface.

9 years agoComments only
simonpj@microsoft.com [Wed, 15 Sep 2010 10:57:07 +0000 (10:57 +0000)] 
Comments only

9 years agoimplement setThreadAffinity on Windows (#1741)
Simon Marlow [Tue, 14 Sep 2010 15:58:44 +0000 (15:58 +0000)] 
implement setThreadAffinity on Windows (#1741)

9 years agoCOFF: cope with new debug sections in gcc 4.x (fixes ghciprog004)
Simon Marlow [Tue, 14 Sep 2010 15:30:26 +0000 (15:30 +0000)] 
COFF: cope with new debug sections in gcc 4.x (fixes ghciprog004)
Also updated the object file parser to properly handle the overflow
case for section names longer than 8 chars.

9 years agoeliminate clutter from make output
Simon Marlow [Wed, 15 Sep 2010 10:57:12 +0000 (10:57 +0000)] 
eliminate clutter from make output

9 years agorts_isProfiled should be a visible API (fixes T2615(dyn))
Simon Marlow [Wed, 15 Sep 2010 08:39:41 +0000 (08:39 +0000)] 
rts_isProfiled should be a visible API (fixes T2615(dyn))

9 years agoFix the "lost due to fragmentation" calculation
Simon Marlow [Tue, 14 Sep 2010 14:59:45 +0000 (14:59 +0000)] 
Fix the "lost due to fragmentation" calculation
It was counting the space used by block descriptors as "lost"

9 years agofix +RTS -S output: use peak_mblocks_allocated, now that mblocks can be freed
Simon Marlow [Tue, 14 Sep 2010 13:50:30 +0000 (13:50 +0000)] 
fix +RTS -S output: use peak_mblocks_allocated, now that mblocks can be freed

9 years agoFix egregious bug in deeplyInstantiate
simonpj@microsoft.com [Wed, 15 Sep 2010 07:03:25 +0000 (07:03 +0000)] 
Fix egregious bug in deeplyInstantiate

This resulted in an infinite loop in applyTypeToArgs, in syb

9 years agoImprove HsSyn pretty printing
simonpj@microsoft.com [Wed, 15 Sep 2010 07:02:55 +0000 (07:02 +0000)] 
Improve HsSyn pretty printing

9 years agoRemove (most of) the FiniteMap wrapper
Ian Lynagh [Tue, 14 Sep 2010 20:17:03 +0000 (20:17 +0000)] 
Remove (most of) the FiniteMap wrapper
We still have
    insertList, insertListWith, deleteList
which aren't in Data.Map, and
    foldRightWithKey
which works around the fold(r)WithKey addition and deprecation.

9 years agoImprove ASSERT
simonpj@microsoft.com [Tue, 14 Sep 2010 11:39:00 +0000 (11:39 +0000)] 
Improve ASSERT

9 years agoComment on what an "enumeration" type is
simonpj@microsoft.com [Tue, 14 Sep 2010 11:38:50 +0000 (11:38 +0000)] 
Comment on what an "enumeration" type is

9 years agoMake absent-arg wrappers work for unlifted types (fix Trac #4306)
simonpj@microsoft.com [Tue, 14 Sep 2010 11:38:27 +0000 (11:38 +0000)] 
Make absent-arg wrappers work for unlifted types (fix Trac #4306)

Previously we were simply passing arguments of unlifted
type to a wrapper, even if they were absent, which was
stupid.

See Note [Absent error Id] in WwLib.

9 years agoComments only
simonpj@microsoft.com [Tue, 14 Sep 2010 11:36:41 +0000 (11:36 +0000)] 
Comments only

9 years agoMove error-ids to MkCore (from PrelRules)
simonpj@microsoft.com [Tue, 14 Sep 2010 11:36:35 +0000 (11:36 +0000)] 
Move error-ids to MkCore (from PrelRules)

and adjust imports accordingly

9 years agoMore wibbles to deriving error messages
simonpj@microsoft.com [Tue, 14 Sep 2010 11:35:23 +0000 (11:35 +0000)] 
More wibbles to deriving error messages

9 years agoFix getThreadCPUTime()
Simon Marlow [Mon, 13 Sep 2010 15:38:38 +0000 (15:38 +0000)] 
Fix getThreadCPUTime()
ever since the patch "Check with sysconf _POSIX_THREAD_CPUTIME", it
has been returning incorrect results, because the sysconf variable to
check should have been _SC_THREAD_CPUTIME, not _POSIX_THREAD_CPUTIME.

9 years agofilter out the gcc-lib directory from the rts package's library-dirs
Simon Marlow [Mon, 13 Sep 2010 10:12:59 +0000 (10:12 +0000)] 
filter out the gcc-lib directory from the rts package's library-dirs
fixes problems when building with GHC 6.10 on Windows

9 years agoDon't include GC time in heap profiles (#4225)
Simon Marlow [Mon, 13 Sep 2010 13:38:52 +0000 (13:38 +0000)] 
Don't include GC time in heap profiles (#4225)

9 years agoUse clock_gettime (if available) to measure the process CPU time
Simon Marlow [Mon, 13 Sep 2010 13:38:18 +0000 (13:38 +0000)] 
Use clock_gettime (if available) to measure the process CPU time
This is much more accurate than getrusage, which was giving misleading
results when trying to time very quick operations like a minor GC.

9 years agomake stg_arg_bitmaps public, and available via the GHCi linker (#3672)
Simon Marlow [Mon, 13 Sep 2010 10:52:35 +0000 (10:52 +0000)] 
make stg_arg_bitmaps public, and available via the GHCi linker (#3672)

9 years agofix typo
Simon Marlow [Mon, 13 Sep 2010 10:51:00 +0000 (10:51 +0000)] 
fix typo

9 years agoUpdate release notes and docs with LLVM info.
David Terei [Tue, 14 Sep 2010 07:21:35 +0000 (07:21 +0000)] 
Update release notes and docs with LLVM info.

9 years agoRemove defaultExtensionFlags
Ian Lynagh [Mon, 13 Sep 2010 16:59:49 +0000 (16:59 +0000)] 
Remove defaultExtensionFlags
The default should do into languageExtensions instead

9 years agoImprove crash message
simonpj@microsoft.com [Mon, 13 Sep 2010 17:04:07 +0000 (17:04 +0000)] 
Improve crash message

9 years agoFix Trac #4302, plus a little refactoring
simonpj@microsoft.com [Mon, 13 Sep 2010 17:03:55 +0000 (17:03 +0000)] 
Fix Trac #4302, plus a little refactoring

9 years agoFix build with 6.10
Ian Lynagh [Mon, 13 Sep 2010 16:00:48 +0000 (16:00 +0000)] 
Fix build with 6.10

9 years agoHaddock fixes
simonpj@microsoft.com [Mon, 13 Sep 2010 12:05:10 +0000 (12:05 +0000)] 
Haddock fixes

9 years agoRemove two old junk files
simonpj@microsoft.com [Mon, 13 Sep 2010 10:34:26 +0000 (10:34 +0000)] 
Remove two old junk files

9 years agoSuper-monster patch implementing the new typechecker -- at last
simonpj@microsoft.com [Mon, 13 Sep 2010 09:50:48 +0000 (09:50 +0000)] 
Super-monster patch implementing the new typechecker -- at last

This major patch implements the new OutsideIn constraint solving
algorithm in the typecheker, following our JFP paper "Modular type
inference with local assumptions".

Done with major help from Dimitrios Vytiniotis and Brent Yorgey.

9 years agoFix simplifier statistics
simonpj@microsoft.com [Thu, 9 Sep 2010 08:54:41 +0000 (08:54 +0000)] 
Fix simplifier statistics

9 years agoTrace output
simonpj@microsoft.com [Wed, 8 Sep 2010 17:00:56 +0000 (17:00 +0000)] 
Trace output

9 years agoBetter debug output
simonpj@microsoft.com [Wed, 8 Sep 2010 17:00:47 +0000 (17:00 +0000)] 
Better debug output

9 years agoAdd Outputable instance for OccEncl
simonpj@microsoft.com [Wed, 8 Sep 2010 15:05:10 +0000 (15:05 +0000)] 
Add Outputable instance for OccEncl

9 years agoBetter simplifier counting
simonpj@microsoft.com [Tue, 7 Sep 2010 21:48:40 +0000 (21:48 +0000)] 
Better simplifier counting

9 years agoPut liftStringName into the known-key names
simonpj@microsoft.com [Mon, 6 Sep 2010 11:24:15 +0000 (11:24 +0000)] 
Put liftStringName into the known-key names

9 years agoDeprecate NoRelaxedPolyRec
simonpj@microsoft.com [Fri, 3 Sep 2010 23:45:19 +0000 (23:45 +0000)] 
Deprecate NoRelaxedPolyRec

9 years agoBuglet in Core Lint
simonpj@microsoft.com [Fri, 3 Sep 2010 23:44:57 +0000 (23:44 +0000)] 
Buglet in Core Lint

9 years agoGive seqId the right type
simonpj@microsoft.com [Fri, 3 Sep 2010 09:35:56 +0000 (09:35 +0000)] 
Give seqId the right type

9 years agoRemove dead code
simonpj@microsoft.com [Fri, 3 Sep 2010 09:35:48 +0000 (09:35 +0000)] 
Remove dead code

9 years agoComments and layout
simonpj@microsoft.com [Fri, 3 Sep 2010 09:35:02 +0000 (09:35 +0000)] 
Comments and layout

9 years agoRemove checkFreeness; no longer needed
simonpj@microsoft.com [Thu, 2 Sep 2010 23:32:27 +0000 (23:32 +0000)] 
Remove checkFreeness; no longer needed

9 years agoAssert
simonpj@microsoft.com [Thu, 2 Sep 2010 07:36:42 +0000 (07:36 +0000)] 
Assert

9 years agoAdd aserts
simonpj@microsoft.com [Thu, 2 Sep 2010 07:32:11 +0000 (07:32 +0000)] 
Add aserts

9 years agoWibbles
simonpj@microsoft.com [Tue, 31 Aug 2010 11:35:40 +0000 (11:35 +0000)] 
Wibbles

9 years agoWibble to allow phantom types in Enum
simonpj@microsoft.com [Wed, 25 Aug 2010 11:27:11 +0000 (11:27 +0000)] 
Wibble to allow phantom types in Enum

9 years agoAdd HsCoreTy to HsType
simonpj@microsoft.com [Tue, 24 Aug 2010 14:18:45 +0000 (14:18 +0000)] 
Add HsCoreTy to HsType

The main thing here is to allow us to provide type
signatures for 'deriving' bindings without pain.

9 years agoComments
simonpj@microsoft.com [Mon, 23 Aug 2010 22:36:54 +0000 (22:36 +0000)] 
Comments

9 years agoWibbles to error message
simonpj@microsoft.com [Mon, 23 Aug 2010 16:33:08 +0000 (16:33 +0000)] 
Wibbles to error message

9 years agoCorrect type signatures
simonpj@microsoft.com [Mon, 23 Aug 2010 15:30:45 +0000 (15:30 +0000)] 
Correct type signatures

9 years agoAdd missing signatures
simonpj@microsoft.com [Mon, 23 Aug 2010 11:24:13 +0000 (11:24 +0000)] 
Add missing signatures

9 years agoAdd type signatures in "deriving" bindings
simonpj@microsoft.com [Fri, 20 Aug 2010 23:42:30 +0000 (23:42 +0000)] 
Add type signatures in "deriving" bindings

9 years agoMinor
dimitris@microsoft.com [Fri, 20 Aug 2010 13:10:21 +0000 (13:10 +0000)] 
Minor

9 years agoBe a bit less aggressive in mark-many inside a cast
simonpj@microsoft.com [Thu, 19 Aug 2010 10:48:04 +0000 (10:48 +0000)] 
Be a bit less aggressive in mark-many inside a cast

9 years agoWibble
simonpj@microsoft.com [Wed, 18 Aug 2010 18:57:38 +0000 (18:57 +0000)] 
Wibble

9 years agoPretty printing change
simonpj@microsoft.com [Wed, 18 Aug 2010 06:54:36 +0000 (06:54 +0000)] 
Pretty printing change

9 years agoRemember to zonk FlatSkols!
simonpj@microsoft.com [Wed, 11 Aug 2010 14:35:55 +0000 (14:35 +0000)] 
Remember to zonk FlatSkols!

9 years agoDe-polymorphise
simonpj@microsoft.com [Fri, 30 Jul 2010 15:12:17 +0000 (15:12 +0000)] 
De-polymorphise

9 years agoWork around missing type signature in Happy
simonpj@microsoft.com [Fri, 30 Jul 2010 12:24:05 +0000 (12:24 +0000)] 
Work around missing type signature in Happy

Happy generates

      notHappyAtAll = error "Blah"

without a type signature, and currently the new
typechecker doesn't generalise it.  This patch
says "no monomorphism restriction" which makes it
generalise again.

Better would be to add a type sig to Happy's template

9 years agoAdd two local type signatures
simonpj@microsoft.com [Thu, 29 Jul 2010 15:26:11 +0000 (15:26 +0000)] 
Add two local type signatures

9 years agoSecond test from Simon's laptop
simonpj@microsoft.com [Thu, 29 Jul 2010 09:17:03 +0000 (09:17 +0000)] 
Second test from Simon's laptop