summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-15303-201/+583
| | | | | | | | | | | | | | | | | | In some cases, the layout of the LANGUAGE/OPTIONS_GHC lines has been reorganized, while following the convention, to - place `{-# LANGUAGE #-}` pragmas at the top of the source file, before any `{-# OPTIONS_GHC #-}`-lines. - Moreover, if the list of language extensions fit into a single `{-# LANGUAGE ... -#}`-line (shorter than 80 characters), keep it on one line. Otherwise split into `{-# LANGUAGE ... -#}`-lines for each individual language extension. In both cases, try to keep the enumeration alphabetically ordered. (The latter layout is preferable as it's more diff-friendly) While at it, this also replaces obsolete `{-# OPTIONS ... #-}` pragma occurences by `{-# OPTIONS_GHC ... #-}` pragmas.
* Avoid trivial cases of NondecreasingIndentationHerbert Valerio Riedel2014-05-153-8/+7
| | | | | | | This cleanup allows the following refactoring commit to avoid adding a few `{-# LANGUAGE NondecreasingIndentation #-}` pragmas. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Convert `ghc-bin.cabal` to use others-extensionsHerbert Valerio Riedel2014-05-154-6/+15
| | | | | | | This replaces the previous `default-extensions` by per-file declared `{-# LANGUAGE ... #-}` pragmas. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Drop default-extensions:CPP in hpc-bin.cabalHerbert Valerio Riedel2014-05-151-1/+0
| | | | | | | The utils/hpc/*.hs code doesn't use any CPP statements anyway, so this extensions was redundantly enabled to begin with. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Drop use of CPP in `bin-package-db`Herbert Valerio Riedel2014-05-152-5/+9
| | | | | | | This also removes the redundant `default-extensions` field in `bin-package-db.cabal` and adds an `other-extensions` field instead. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Avoid NondecreasingIndentation syntax in ghc-pkgHerbert Valerio Riedel2014-05-152-31/+31
| | | | | | | | | This also makes ghc-pkg.cabal `default-extensions`-free NB: Printing this commit via `git show --ignore-all-spaces` shows the only non-whitespaces changes are in `ghc-pkg.cabal` Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Add missing stack checks to stg_ap_* functions (#9001)Simon Marlow2014-05-144-116/+208
|
* Remove LANGUAGE pragrams implied by Haskell2010Herbert Valerio Riedel2014-05-1411-16/+7
| | | | | | | | | Haskell2010 implies (at least) EmptyDataDecls, ForeignFunctionInterface, PatternGuards, DoAndIfThenElse, and RelaxedPolyRec. This is a follow-up to dd92e2179e3171a0630834b773c08d416101980d Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Set cabal files to default-language:Haskell2010Herbert Valerio Riedel2014-05-1413-35/+45
| | | | | | | This is a first step towards eliminating `default-extensions` in favour of per-file declared `{-# LANGUAGE ... #-}` pragmas. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Add strict ver. of (<$>): (<$!>) to Control.MonadAlexander Berntsen2014-05-142-0/+17
| | | | | | | | | | | | | | | A strict (<$>) has been proposed numerous times. The first time around[1] by Johan Tibell, and the last time around[2] by David Luposchainsky. David's thread was able to avoid The Bikeshed Monster, and his (<$!>) proposal received unanimous +1s all around. This addresses #9099. [1]: http://www.haskell.org/pipermail/libraries/2013-November/021728.html [2]: http://www.haskell.org/pipermail/libraries/2014-April/022864.html Authored-by: Alexander Berntsen <alexander@plaimi.net> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Update Haddock submodule.Mateusz Kowalczyk2014-05-141-0/+0
| | | | | | | This splits up Haddock up a bit to allow use of its parser (and in the future perhaps more) without GHC dependency. It should build fine with the regular work-flow but if you get problems with building Haddock then please revert this and let me know.
* Wibble to 4cfc1faeSimon Peyton Jones2014-05-141-1/+1
| | | | | isSynTyCon is true of type *family* TyCons, which *are* allowed in TyConAppCo
* Fix globalRegMaybe for unregisterised build.Peter Trommler2014-05-131-0/+2
| | | | | | | | | | In commit 83a003f globalRegMaybe will be called but panics for unregisterised compilers. In an unregisterised compiler there are no global registers so always return `Nothing`. Fixes #9055.
* Fix invariant in mkAppCoFlexibleSimon Peyton Jones2014-05-131-1/+3
| | | | | mkAppCoFlexible was breaking the invariant that the head of a TyConAppCo cannot be a type synonym. This small patch fixes it.
* Lint should check that TyConAppCo doesn't have a synonym in the tycon positionSimon Peyton Jones2014-05-131-0/+3
| | | | That is why Lint didn't nail Trac #9102
* Typo in noteGabor Greif2014-05-131-1/+1
|
* Typo in commentGabor Greif2014-05-131-1/+1
|
* Improve desugaring of lazy pattern matchSimon Peyton Jones2014-05-122-14/+12
| | | | | This patch implements a simpler, and nicer, desugaring for lazy pattern matching, fixing Trac #9098
* In splitHsFunType, take account of prefix (->)Simon Peyton Jones2014-05-123-7/+31
| | | | This fixes Trac #9096
* Comments only, on inert_fsks and inert_no_eqsSimon Peyton Jones2014-05-123-9/+53
| | | | I wrote these when studying Trac #9090
* Revert output of T5979Joachim Breitner2014-05-101-1/+1
| | | | | | | | this reverts 12332f1. The error message changes when there are two versions of transformers in the database, one of them hidden. That might be a bug of its own, but for now lets make the test case succeed after a fresh build. Affected developers should probably $ ./inplace/bin/ghc-pkg unregister transformers-0.3.0.0
* Require transformers for T5979Joachim Breitner2014-05-101-1/+1
| | | | | | in order to get a reliable error message (although the error message could be improved anyways to mention the explicit package the module is imported with.)
* testsuite: fix cc004Austin Seipp2014-05-091-2/+2
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* testsuite: fix cgrun051 exit codeAustin Seipp2014-05-091-1/+1
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Update .gitignoreAustin Seipp2014-05-091-0/+1
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Error message wibble, presumably due to recent changes in transformersSimon Peyton Jones2014-05-081-1/+1
|
* Better error message in vectoriserSimon Peyton Jones2014-05-082-3/+6
|
* Preserve evaluated-ness in CoreTidySimon Peyton Jones2014-05-081-45/+70
| | | | | | | | The main effect of this patch is to preserve the evaluated-ness of case binders and suchlike, to avoid spurious Lint complaints after tidying. See Note [Preserve evaluatedness] in CoreTidy. Plus a bit of associated refactoring of tidyIdBndr, tidyLetBndr.
* Mark evaluated arguments in dataConInstPatSimon Peyton Jones2014-05-081-8/+27
| | | | | | See Note [Mark evaluated arguments] in CoreUtils. This is not a significant change, but avoids a spurious Lint complaint.
* Refactor buildClass and mkDictSelId a bit, to avoid the no_unf argumentSimon Peyton Jones2014-05-086-46/+41
| | | | | No change in functionality, just a cleaner story, with the RHS for dictionary selectors being treated less specially than before.
* Improve tracing in SimplifierSimon Peyton Jones2014-05-081-17/+18
|
* Update transformers submodule to new v0.4 relHerbert Valerio Riedel2014-05-072-0/+0
| | | | | This also updates the haskeline to upstream master to accomodate the new transformers version
* Adding missing test files for #9071Simon Peyton Jones2014-05-066-0/+44
|
* Add a bit more typechecker tracingSimon Peyton Jones2014-05-061-2/+6
| | | | This is in pursuit of Trac #9063
* Fix Trac #9071, an egregious bug in TcDeriv.inferConstraintsSimon Peyton Jones2014-05-064-23/+28
| | | | | | The constraints for Functor don't line up 1-1 with the arguments (they are fetched out from sub-terms of the type), but the surrounding code was mistakenly assuming they were in 1-1 association.
* Second go at fixing #9061Simon Peyton Jones2014-05-061-22/+24
| | | | | My first attempt introduce a bug in -fprint-minimal-imports, but fortunately a regression test caught it.
* Modularise pretty-printing for forallsSimon Peyton Jones2014-05-065-21/+24
| | | | | | | | | See TypeRep.pprUserForAll. This just makes forall-printing a bit more consistent. In particular, I wasn't seeing the kind foralls when displaying a CoAxiom or CoAxBranch The output on T7939 is just possible a bit too verbose now, but even if so that's an error in the right direction.
* Improve comments and tracing in SpecConstrSimon Peyton Jones2014-05-051-22/+31
|
* Changed profiling output is fine (according to Simon Marlow)Simon Peyton Jones2014-05-051-29/+27
|
* Add -fno-full-laziness to get consistent profiling outputSimon Peyton Jones2014-05-051-1/+1
|
* Fix over-zealous unused-import warningSimon Peyton Jones2014-05-053-4/+27
| | | | | | See Note [Un-warnable import decls] in RnNames. Fixes Trac #9061.
* Revert "Per-thread allocation counters and limits"Simon Marlow2014-05-0433-580/+146
| | | | | | | | Problems were found on 32-bit platforms, I'll commit again when I have a fix. This reverts the following commits: 54b31f744848da872c7c6366dea840748e01b5cf b0534f78a73f972e279eed4447a5687bd6a8308e
* Improve docs for array indexing primopsJohan Tibell2014-05-041-0/+10
|
* Update comment now that we have per-gen weak pointer lists.Edward Z. Yang2014-05-041-4/+2
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* fix rts exported symbols base_GHCziIOziException_allocationLimitExceeded_closureSergei Trofimovich2014-05-032-2/+3
| | | | | | | | | | | | | | | | Commit b0534f78a73f972e279eed4447a5687bd6a8308e added new exported rts symbols, but slightly misspelled them. Observer on first compiled program: > Linking dist/build/haskell-updater/haskell-updater ... > /usr/lib64/ghc-7.9.20140503/rts-1.0/libHSrts.a(Schedule.o): In function `scheduleWaitThread': > (.text+0xc4c): undefined reference to `base_GHCziIOziException_allocationLimitExceeded_closure' > /usr/lib64/ghc-7.9.20140503/rts-1.0/libHSrts.a(RtsStartup.o): In function `hs_init_ghc': > (.text+0x2fa): undefined reference to `base_GHCziIOziException_allocationLimitExceeded_closure' > collect2: error: ld returned 1 exit status CC: Simon Marlow <marlowsd@gmail.com> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* Remove external coreAustin Seipp2014-05-0336-3733/+51
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Update Haddock submodule ref. Fixes `cabal test'.Mateusz Kowalczyk2014-05-031-0/+0
|
* Per-thread allocation counters and limitsSimon Marlow2014-05-0232-146/+579
| | | | | | | | | | | | | | | | | | | | | | | This tracks the amount of memory allocation by each thread in a counter stored in the TSO. Optionally, when the counter drops below zero (it counts down), the thread can be sent an asynchronous exception: AllocationLimitExceeded. When this happens, given a small additional limit so that it can handle the exception. See documentation in GHC.Conc for more details. Allocation limits are similar to timeouts, but - timeouts use real time, not CPU time. Allocation limits do not count anything while the thread is blocked or in foreign code. - timeouts don't re-trigger if the thread catches the exception, allocation limits do. - timeouts can catch non-allocating loops, if you use -fno-omit-yields. This doesn't work for allocation limits. I couldn't measure any impact on benchmarks with these changes, even for nofib/smp.
* Replace all #!/usr/bin/perl with #!/usr/bin/env perlJoachim Breitner2014-04-304-4/+10
| | | | As suggested in #9057.
* Don't inline non-register GlobalRegsSimon Marlow2014-04-291-12/+100
|
View Lorry Controller Status