simonpj@microsoft.com [Wed, 15 Sep 2010 07:02:55 +0000 (07:02 +0000)]
Improve HsSyn pretty printing
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.
simonpj@microsoft.com [Tue, 14 Sep 2010 11:39:00 +0000 (11:39 +0000)]
Improve ASSERT
simonpj@microsoft.com [Tue, 14 Sep 2010 11:38:50 +0000 (11:38 +0000)]
Comment on what an "enumeration" type is
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.
simonpj@microsoft.com [Tue, 14 Sep 2010 11:36:41 +0000 (11:36 +0000)]
Comments only
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
simonpj@microsoft.com [Tue, 14 Sep 2010 11:35:23 +0000 (11:35 +0000)]
More wibbles to deriving error messages
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.
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
Simon Marlow [Mon, 13 Sep 2010 13:38:52 +0000 (13:38 +0000)]
Don't include GC time in heap profiles (#4225)
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.
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)
Simon Marlow [Mon, 13 Sep 2010 10:51:00 +0000 (10:51 +0000)]
fix typo
David Terei [Tue, 14 Sep 2010 07:21:35 +0000 (07:21 +0000)]
Update release notes and docs with LLVM info.
Ian Lynagh [Mon, 13 Sep 2010 16:59:49 +0000 (16:59 +0000)]
Remove defaultExtensionFlags
The default should do into languageExtensions instead
simonpj@microsoft.com [Mon, 13 Sep 2010 17:04:07 +0000 (17:04 +0000)]
Improve crash message
simonpj@microsoft.com [Mon, 13 Sep 2010 17:03:55 +0000 (17:03 +0000)]
Fix Trac #4302, plus a little refactoring
Ian Lynagh [Mon, 13 Sep 2010 16:00:48 +0000 (16:00 +0000)]
Fix build with 6.10
simonpj@microsoft.com [Mon, 13 Sep 2010 12:05:10 +0000 (12:05 +0000)]
Haddock fixes
simonpj@microsoft.com [Mon, 13 Sep 2010 10:34:26 +0000 (10:34 +0000)]
Remove two old junk files
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.
simonpj@microsoft.com [Thu, 9 Sep 2010 08:54:41 +0000 (08:54 +0000)]
Fix simplifier statistics
simonpj@microsoft.com [Wed, 8 Sep 2010 17:00:56 +0000 (17:00 +0000)]
Trace output
simonpj@microsoft.com [Wed, 8 Sep 2010 17:00:47 +0000 (17:00 +0000)]
Better debug output
simonpj@microsoft.com [Wed, 8 Sep 2010 15:05:10 +0000 (15:05 +0000)]
Add Outputable instance for OccEncl
simonpj@microsoft.com [Tue, 7 Sep 2010 21:48:40 +0000 (21:48 +0000)]
Better simplifier counting
simonpj@microsoft.com [Mon, 6 Sep 2010 11:24:15 +0000 (11:24 +0000)]
Put liftStringName into the known-key names
simonpj@microsoft.com [Fri, 3 Sep 2010 23:45:19 +0000 (23:45 +0000)]
Deprecate NoRelaxedPolyRec
simonpj@microsoft.com [Fri, 3 Sep 2010 23:44:57 +0000 (23:44 +0000)]
Buglet in Core Lint
simonpj@microsoft.com [Fri, 3 Sep 2010 09:35:56 +0000 (09:35 +0000)]
Give seqId the right type
simonpj@microsoft.com [Fri, 3 Sep 2010 09:35:48 +0000 (09:35 +0000)]
Remove dead code
simonpj@microsoft.com [Fri, 3 Sep 2010 09:35:02 +0000 (09:35 +0000)]
Comments and layout
simonpj@microsoft.com [Thu, 2 Sep 2010 23:32:27 +0000 (23:32 +0000)]
Remove checkFreeness; no longer needed
simonpj@microsoft.com [Thu, 2 Sep 2010 07:36:42 +0000 (07:36 +0000)]
Assert
simonpj@microsoft.com [Thu, 2 Sep 2010 07:32:11 +0000 (07:32 +0000)]
Add aserts
simonpj@microsoft.com [Tue, 31 Aug 2010 11:35:40 +0000 (11:35 +0000)]
Wibbles
simonpj@microsoft.com [Wed, 25 Aug 2010 11:27:11 +0000 (11:27 +0000)]
Wibble to allow phantom types in Enum
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.
simonpj@microsoft.com [Mon, 23 Aug 2010 22:36:54 +0000 (22:36 +0000)]
Comments
simonpj@microsoft.com [Mon, 23 Aug 2010 16:33:08 +0000 (16:33 +0000)]
Wibbles to error message
simonpj@microsoft.com [Mon, 23 Aug 2010 15:30:45 +0000 (15:30 +0000)]
Correct type signatures
simonpj@microsoft.com [Mon, 23 Aug 2010 11:24:13 +0000 (11:24 +0000)]
Add missing signatures
simonpj@microsoft.com [Fri, 20 Aug 2010 23:42:30 +0000 (23:42 +0000)]
Add type signatures in "deriving" bindings
dimitris@microsoft.com [Fri, 20 Aug 2010 13:10:21 +0000 (13:10 +0000)]
Minor
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
simonpj@microsoft.com [Wed, 18 Aug 2010 18:57:38 +0000 (18:57 +0000)]
Wibble
simonpj@microsoft.com [Wed, 18 Aug 2010 06:54:36 +0000 (06:54 +0000)]
Pretty printing change
simonpj@microsoft.com [Wed, 11 Aug 2010 14:35:55 +0000 (14:35 +0000)]
Remember to zonk FlatSkols!
simonpj@microsoft.com [Fri, 30 Jul 2010 15:12:17 +0000 (15:12 +0000)]
De-polymorphise
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
simonpj@microsoft.com [Thu, 29 Jul 2010 15:26:11 +0000 (15:26 +0000)]
Add two local type signatures
simonpj@microsoft.com [Thu, 29 Jul 2010 09:17:03 +0000 (09:17 +0000)]
Second test from Simon's laptop
simonpj@microsoft.com [Thu, 29 Jul 2010 09:13:44 +0000 (09:13 +0000)]
Test commit from Simon's laptop
simonpj@microsoft.com [Wed, 28 Jul 2010 07:55:25 +0000 (07:55 +0000)]
Add OutsideIn flag
simonpj@microsoft.com [Tue, 27 Jul 2010 14:15:39 +0000 (14:15 +0000)]
Layout only
simonpj@microsoft.com [Tue, 27 Jul 2010 13:16:59 +0000 (13:16 +0000)]
Improvement to SimplUtils.mkLam
simonpj@microsoft.com [Tue, 27 Jul 2010 13:15:38 +0000 (13:15 +0000)]
Give the correct kind to unsafeCoerce#
simonpj@microsoft.com [Tue, 27 Jul 2010 09:45:49 +0000 (09:45 +0000)]
Suppress warnings about recursive INLINE in output of desugarer
simonpj@microsoft.com [Mon, 26 Jul 2010 23:12:53 +0000 (23:12 +0000)]
Rename CorePrep.tryEtaReduce to tryEtaReducePrep
This avoids the name clash with the similar but
not identical CoreUtils.tryEtaReduce
simonpj@microsoft.com [Mon, 19 Jul 2010 21:11:11 +0000 (21:11 +0000)]
Add a trace message
simonpj@microsoft.com [Mon, 19 Jul 2010 17:04:41 +0000 (17:04 +0000)]
Don't use RelaxedPolyRec in the compiler; it's built in now
Matthias Kilian [Sun, 12 Sep 2010 18:15:18 +0000 (18:15 +0000)]
Remove duplicated #defines for FreeBSD
Matthias Kilian [Sun, 12 Sep 2010 15:05:06 +0000 (15:05 +0000)]
Don't fail with absolute silence
Ian Lynagh [Sat, 11 Sep 2010 19:58:09 +0000 (19:58 +0000)]
Add a release note: "-dynload wrapper" removed
Ian Lynagh [Sat, 11 Sep 2010 19:34:34 +0000 (19:34 +0000)]
put back the conversion of warn-lazy-unlifted-bindings into an error until 7.2
I think we'll currently still have too many people with old versions of
alex/happy to want to make this an error now.
Ian Lynagh [Sat, 11 Sep 2010 19:28:37 +0000 (19:28 +0000)]
6.14 -> 7.0
Ian Lynagh [Sat, 11 Sep 2010 16:20:59 +0000 (16:20 +0000)]
Add a couple more release notes
Ian Lynagh [Sat, 11 Sep 2010 16:20:05 +0000 (16:20 +0000)]
Document -dsuppress-module-prefixes
Ian Lynagh [Fri, 10 Sep 2010 19:13:01 +0000 (19:13 +0000)]
Enable -fregs-graph with -O2; fixes #2790
Ian Lynagh [Thu, 9 Sep 2010 17:02:07 +0000 (17:02 +0000)]
Remove unused code
Ian Lynagh [Thu, 9 Sep 2010 15:43:48 +0000 (15:43 +0000)]
Fix warnings
Ian Lynagh [Thu, 9 Sep 2010 15:09:57 +0000 (15:09 +0000)]
Fix warnings
lykahb@gmail.com [Wed, 1 Sep 2010 16:01:53 +0000 (16:01 +0000)]
Remove context completion
Now completion suggests to remove only modules added to context before.
Ross Paterson [Thu, 9 Sep 2010 12:55:31 +0000 (12:55 +0000)]
avoid Foreign.unsafePerformIO
Simon Marlow [Thu, 9 Sep 2010 11:14:50 +0000 (11:14 +0000)]
updates to the release notes
Simon Marlow [Thu, 9 Sep 2010 11:08:05 +0000 (11:08 +0000)]
newAlignedPinnedByteArray#: avoid allocating an extra word sometimes
benl@ouroborus.net [Thu, 9 Sep 2010 06:13:11 +0000 (06:13 +0000)]
Finish breaking up vectoriser utils
benl@ouroborus.net [Thu, 9 Sep 2010 04:24:51 +0000 (04:24 +0000)]
Move VectType module to Vectorise tree
benl@ouroborus.net [Thu, 9 Sep 2010 03:51:47 +0000 (03:51 +0000)]
Sort all the PADict/PData/PRDict/PRepr stuff into their own modules
benl@ouroborus.net [Thu, 9 Sep 2010 02:57:59 +0000 (02:57 +0000)]
Break out Repr and PADict stuff for vectorisation of ADTs to their own modules
benl@ouroborus.net [Thu, 9 Sep 2010 02:33:32 +0000 (02:33 +0000)]
Break out conversion functions to own module
benl@ouroborus.net [Thu, 9 Sep 2010 02:21:17 +0000 (02:21 +0000)]
Comments and formatting only
Ian Lynagh [Wed, 8 Sep 2010 21:32:51 +0000 (21:32 +0000)]
Remove "-dynload wrapper"; fixes trac #4275
Ian Lynagh [Sun, 5 Sep 2010 12:24:42 +0000 (12:24 +0000)]
Don't set visibility on Windows
With gcc 4.5.0-1, using visibility hidden gives:
error: visibility attribute not supported in this configuration; ignored
Ian Lynagh [Sun, 5 Sep 2010 11:12:01 +0000 (11:12 +0000)]
Fix warnings on Windows
Ian Lynagh [Sun, 5 Sep 2010 00:18:07 +0000 (00:18 +0000)]
Fix gcc wrapper for new mingw binaries
Ian Lynagh [Sun, 5 Sep 2010 10:31:29 +0000 (10:31 +0000)]
Don't pass our gcc options to stage0 ghc's gcc; they may not be suitable
Ian Lynagh [Sat, 4 Sep 2010 22:55:59 +0000 (22:55 +0000)]
Update intree-mingw creation
Ian Lynagh [Sat, 4 Sep 2010 21:51:12 +0000 (21:51 +0000)]
Update commands to build in-tree mingw
benl@ouroborus.net [Wed, 8 Sep 2010 07:41:02 +0000 (07:41 +0000)]
Break out hoisting utils into their own module
benl@ouroborus.net [Wed, 8 Sep 2010 07:20:40 +0000 (07:20 +0000)]
Break out closure utils into own module
benl@ouroborus.net [Wed, 8 Sep 2010 06:59:04 +0000 (06:59 +0000)]
Move VectVar module to Vectorise tree
benl@ouroborus.net [Wed, 8 Sep 2010 06:51:28 +0000 (06:51 +0000)]
Break out vectorisation of expressions into own module
benl@ouroborus.net [Wed, 8 Sep 2010 06:31:11 +0000 (06:31 +0000)]
Break out TyCon classifier into own module
benl@ouroborus.net [Wed, 8 Sep 2010 05:20:04 +0000 (05:20 +0000)]
Break out vectorisation of TyConDecls into own module
benl@ouroborus.net [Tue, 7 Sep 2010 11:03:11 +0000 (11:03 +0000)]
Break out type vectorisation into own module
Ian Lynagh [Sat, 4 Sep 2010 14:42:34 +0000 (14:42 +0000)]
Tidy up the ArchHasAdjustorSupport definition
Sergei Trofimovich [Sun, 29 Aug 2010 19:28:59 +0000 (19:28 +0000)]
ppc: switch handling of 'foreign import wrapper' (FIW) to libffi
Joseph Jezak reported darcs-2.4.4 SIGSEGV in interactive mode in ghc-6.12.3.
So I've concluded ppc also has rotten native adjustor. I don't have hardware
to verify the patch (ticket #3516 should help to test it), but I think it will
help (as similar patch helped for ia64 and ppc64).
Ian Lynagh [Sat, 4 Sep 2010 13:33:39 +0000 (13:33 +0000)]
Binary no longer has unusable UNPACK pragmas, so no need to turn of -Werror