summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Follow Cabal version bumpIan Lynagh2012-01-202-2/+2
|
* Remove getDOptsSmpl; use getDynFlags insteadIan Lynagh2012-01-193-10/+10
|
* Remove typecheck/TcSimplify.lhs-oldIan Lynagh2012-01-191-3297/+0
| | | | It hasn't been touched for more than a year.
* Remove getDOpts; use getDynFlags insteadIan Lynagh2012-01-1924-50/+49
|
* Remove getDOptsDs; use getDynFlags insteadIan Lynagh2012-01-194-8/+5
|
* Fix validateIan Lynagh2012-01-195-4/+25
| | | | | | | | This patch defines a flag -fno-warn-pointless-pragmas, and uses it to disable some warnings in the containers package. Along the way, also made a ContainsDynFlags class, and added a HasDynFlags instance for IOEnv (and thus TcRnIf and DsM).
* Rename the testsuite tarballIan Lynagh2012-01-181-4/+4
| | | | | | | | It's now ghc-<version>-testsuite.tar.bz2 rather than testsuite-ghc-<version>-src.tar.bz2 which (a) makes more sense, and (b) sorts better in directory listings.
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-01-182-1/+15
|\
| * Document -T RTS flag in manual.Edward Z. Yang2012-01-171-0/+11
| | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
| * Incorrect type conversion in LLVM backend (#5785).Ubuntu2012-01-181-1/+4
| |
* | Do not inherit "SPECIALISE instance" for INLINE default methodsSimon Peyton Jones2012-01-181-16/+21
| | | | | | | | | | Nor should we generate specialised dfuns; see Note [SPECIALISE instance pragmas]
* | Eliminate {| and |} vestiges in lexer/parserSimon Peyton Jones2012-01-172-19/+8
| | | | | | | | They weren't being lexed any more, but we still had productions!
* | Use nested tuples to desugar recursive do-notationSimon Peyton Jones2012-01-172-5/+5
|/ | | | Easy fix for Trac #5742.
* Comments only (to support debug tracing in DmdAnal)Simon Peyton Jones2012-01-171-4/+13
|
* Warn when a SPECIALISE pragma gives rise to a totally inactive ruleSimon Peyton Jones2012-01-172-25/+40
| | | | See Trac #5779
* Do not combine dictionaries in the EvVarCache when simplEqsOnly is onSimon Peyton Jones2012-01-171-29/+38
| | | | | This fixes Trac #5776; the background is in Note [Simplifying RULE lhs constraints] in TcSimplify
* Switch TcEvidence to Unix line endingsSimon Peyton Jones2012-01-171-600/+600
|
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-01-176-107/+111
|\
| * Only use TBAA when LLVM > 2.8. (#5782)David Terei2012-01-173-11/+25
| |
| * Tabs -> SpacesDavid Terei2012-01-161-87/+74
| |
| * Add missing initialisation of cap->disabledSimon Marlow2012-01-161-0/+1
| |
| * Documentation for -XDataKindsJose Pedro Magalhaes2012-01-161-9/+11
| |
* | Allow default superclass methods for multi-parameter type classesSimon Peyton Jones2012-01-171-14/+2
|/ | | | They were prohibited by mistake, a historical hangover
* Remove unnecessary extra use of orphan_hashSimon Marlow2012-01-161-2/+1
|
* Revert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)Simon Marlow2012-01-169-214/+137
| | | | This reverts commit 601c983dd0bada6b49bdadd8f172fd4eacac4b0c.
* Fix bug causing polling instead of blocking in the non-threaded RTS (#5773)Simon Marlow2012-01-161-18/+17
| | | | | | | | | This was a regression introduced accidentally in 6b1098511aaabd2c9503ee7be6da1944466f9cb4. We were previously passing a large time value to select() to simulate blocking, and this broke due to a change from unsigned to signed arithmetic. I've refactored it to be less fragile now - we just pass NULL as the timeval parameter to select(), which is the correct way to do blocking.
* Fix for tick intervals greater than one second.Simon Marlow2012-01-161-2/+2
|
* Split -XDataKinds from -XPolyKindsJose Pedro Magalhaes2012-01-164-13/+13
|
* DataConIds need to be treated specially in VectInfoManuel M T Chakravarty2012-01-161-1/+1
|
* Merge wibbleManuel M T Chakravarty2012-01-161-1/+1
|
* Fix vectorisation of classesManuel M T Chakravarty2012-01-169-24/+84
| | | | | | - Make sure that we have no implicit names in ifaces - Any vectorisation info makes a module an orphan module - Allow 'Show' in vectorised code without vectorising it for the moment
* Fix a #defineIan Lynagh2012-01-151-1/+1
| | | | | | | I don't think it was causing any problems, but TimeToUS(x+y) would have evaluated to x + (y / 1000)
* Remove trailing whitespace in compiler/parser/LexCore.hsIan Lynagh2012-01-151-8/+8
|
* remove tabs (+ ignore tabs option) from LexCore.hsNils Schweinsberg2012-01-151-40/+32
|
* Remove some "0 +"s that look redundantIan Lynagh2012-01-151-2/+2
|
* Remove an out-of-date commentIan Lynagh2012-01-151-2/+1
|
* When configuring, handle $topdir/ in the ghc --info outputIan Lynagh2012-01-141-0/+6
| | | | | | It might make more sense for there to be a way to get the "ghc --info" output with $topdir already expanded, but in the mean time this gets things working again.
* Define "ar command" correctly in settings file on WindowsIan Lynagh2012-01-144-5/+7
| | | | | We want to use the inplace ar, rather than whichever ar the machine that we build on happens to have.
* Switch to using the time package, rather than old-timeIan Lynagh2012-01-1411-47/+75
|
* Document the extra instances divergence from H98/H2010Ian Lynagh2012-01-141-0/+16
| | | | Now that they've moved from Control.Monad.Instances
* Document the Bits superclass divergence from Haskell 2010Ian Lynagh2012-01-141-0/+43
|
* Document the Num superclass divergence from H98/H2010Ian Lynagh2012-01-141-0/+33
|
* Add extra Num constraints since the Num superclass of Bits is removedBas van Dijk2012-01-141-3/+3
|
* Add some llvm build options to build.mk.sampleDavid Terei2012-01-131-1/+26
|
* Add -faggressive-primops plus refactoring in CoreUtilsSimon Peyton Jones2012-01-139-137/+214
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I'm experimenting with making GHC a bit more aggressive about a) dropping case expressions if the result is unused Simplify.rebuildCase, CaseElim equation b) floating case expressions inwards FloatIn.fiExpr, AnnCase In both cases the new behaviour is gotten with a static (debug) flag -faggressive-primops. The extra "aggression" is to allow discarding and floating in for side-effecting operations. See the new, extensive Note [PrimOp can_fail and has_side_effects] in PrimoOp. When discarding a case with unused binders, in the lifted-type case it's definitely ok if the scrutinee terminates; previously we were checking exprOkForSpeculation, which is significantly worse. So I wanted a new function CoreUtils.exprCertainlyTerminates. In doing this I ended up with a significant refactoring in CoreUtils. The new structure has quite a lot of nice sharing: exprIsCheap = exprIsCheap' isHNFApp exprIsExpandable = exprIsCheap' isConLikeApp exprIsHNF = exprIsHNFlike isHNFApp exprIsConLike = exprIsHNFlike isConLikeApp exprCertainlyTerminates = exprIsHNFlike isTerminatingApp
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-01-139-2865/+2950
|\
| * Fix validation errorDavid Terei2012-01-121-2/+2
| |
| * Fix mistake in flags.xmlDavid Terei2012-01-121-1/+1
| |
| * Consistent: Enbaled -> enabled in flag doc.David Terei2012-01-121-2/+2
| |
| * Add '-freg-liveness' flag to control if STG liveness informationDavid Terei2012-01-125-17/+48
| | | | | | | | is used for optimisation. (enabled by default)
View Lorry Controller Status