summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Collapse)AuthorAgeFilesLines
* Tweak the "sorry" message a bitSimon Marlow2010-12-081-1/+1
| | | | | - "sorry! (this is work in progress)\n" + "sorry! (unimplemented feature or known bug)\n"
* Fix the behaviour of :history for ticks surrounding top level functionspepeiborra@gmail.com2010-12-031-1/+4
|
* Don't warn of duplicate exports in case of module exports.Michal Terepeta2010-11-271-2/+10
| | | | | But only when the module exports refer to different modules. See ticket #4478.
* Fix whitespace/layout in RnNames.Michal Terepeta2010-10-301-564/+563
|
* Make RelaxedLayout off by defaultIan Lynagh2010-12-021-1/+0
| | | | | I suspect this is a vary rarely used extension to the official layout rule.
* Fix up TcInstDclssimonpj@microsoft.com2010-12-031-13/+6
| | | | | | | | | | | I really don't know how this module got left out of my last patch, namely Thu Dec 2 12:35:47 GMT 2010 simonpj@microsoft.com * Re-jig simplifySuperClass (again) I suggest you don't pull either the patch above, or this one, unless you really have to. I'm not fully confident that it works properly yet. Ran out of time. Sigh.
* Fix a recomp bug: make classes/datatypes depend directly on DFuns (#4469)Simon Marlow2010-12-025-73/+26
| | | | | | | | | | | And remove the old mechanism of recording dfun uses separately, because it didn't work. This wiki page describes recompilation avoidance and fingerprinting. I'll update it to describe the new method and what went wrong with the old method: http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/RecompilationAvoidance
* make a panic message more informative and suggest -dcore-lint (see #4534)Simon Marlow2010-12-011-4/+4
|
* Re-jig simplifySuperClass (again)simonpj@microsoft.com2010-12-029-84/+110
| | | | | | | | | | | | | This fixes the current loop in T3731, and will fix other reported loops. The loops show up when we are generating evidence for superclasses in an instance declaration. The trick is to make the "self" dictionary simplifySuperClass depend *explicitly* on the superclass we are currently trying to build. See Note [Dependencies in self dictionaries] in TcSimplify. That in turn means that EvDFunApp needs a dependency-list, used when chasing dependencies in isGoodRecEv.
* A little refactoring (remove redundant argument passed to isGoodRecEv)simonpj@microsoft.com2010-12-022-15/+6
|
* Make rebindable if-then-else a little more permissivesimonpj@microsoft.com2010-12-021-6/+28
| | | | | See Note [Rebindable syntax for if]. Fixes Trac #4798. Thanks to Nils Schweinsberg <mail@n-sch.de>
* Improve error message (Trac #4799)simonpj@microsoft.com2010-12-021-2/+2
|
* Fix a nasty bug in RULE matching: Trac #4814simonpj@microsoft.com2010-12-023-192/+272
| | | | | | See Note [Matching lets], which explains it all in detail. It took me a day to think of a nice way to fix the bug, but I think the result is quite respectable. Subtle, though.
* Rename -XPArr to -XParallelArraysBen Lippmeier2010-11-302-12/+14
|
* Remove NewQualifiedOperatorsIan Lynagh2010-12-012-15/+3
| | | | The extension was rejected by Haskell', and deprecated in 7.0.
* Fixed some 'unused vars' warningskeller@cse.unsw.edu.au2010-11-301-5/+5
|
* vectScalarLam handles int, float, and double nowkeller@cse.unsw.edu.au2010-11-291-2/+6
|
* Handling of lets, letrec and case when checking if a lambda expr needs to be ↵keller@cse.unsw.edu.au2010-11-151-1/+22
| | | | vectorised
* Always enable the archive-loading codeIan Lynagh2010-11-273-39/+27
| | | | If the GHCi .o lib doesn't exist, load the .a instead
* Inherit the ForceSpecConstr flag in non-recursive nested bindingsRoman Leshchinskiy2010-11-271-5/+7
| | | | | This makes sure that join points are fully specialised in loops which are marked as ForceSpecConstr.
* New flag -dddump-rule-rewritesRoman Leshchinskiy2010-11-272-3/+6
| | | | | | | Now, -ddump-rule-firings only shows the names of the rules that fired (it would show "before" and "after" with -dverbose-core2core previously) and -ddump-rule-rewrites always shows the "before" and "after" bits, even without -dverbose-core2core.
* Acutally, wild-card variables *can* have occurrencessimonpj@microsoft.com2010-11-262-6/+9
| | | | This patch removes the Lint test, and comments why
* Tidy up the handling of wild-card binders, and make Lint check itsimonpj@microsoft.com2010-11-264-11/+39
| | | | See Note [WildCard binders] in SimplEnv. Spotted by Roman.
* Substitution should just substitute, not optimisesimonpj@microsoft.com2010-11-251-10/+14
| | | | | | | | | | | This was causing Trac #4524, by optimising (e |> co) to e on the LHS of a rule. Result, the template variable 'co' wasn't bound any more. Now that substition doesn't optimise, it seems sensible to call simpleOptExpr rather than substExpr when substituting in the RHS of rules. Not a big deal either way.
* Make SpecConstr "look through" identity coercionssimonpj@microsoft.com2010-11-251-0/+3
|
* Comment onlysimonpj@microsoft.com2010-11-251-2/+2
|
* White space onlysimonpj@microsoft.com2010-11-011-2/+0
|
* Unicide OtherNumber category should be allowed in identifiers (#4373)Simon Marlow2010-11-151-1/+1
|
* vectoriser: fix warningBen Lippmeier2010-11-261-1/+0
|
* vectoriser: fix warningBen Lippmeier2010-11-261-1/+0
|
* vectoriser: take class directly from the instance tyconBen Lippmeier2010-11-261-15/+6
|
* vectoriser: comments onlyBen Lippmeier2010-11-251-7/+44
|
* vectoriser: follow changes in mkClassBen Lippmeier2010-11-251-0/+1
|
* vectoriser: tracing wibblesBen Lippmeier2010-11-251-8/+7
|
* mkDFunUnfolding wants the type of the dfun to be a PredTybenl@ouroborus.net2010-09-141-5/+31
|
* vectoriser: fix conflictsBen Lippmeier2010-11-251-3/+3
|
* Comments and formatting onlybenl@ouroborus.net2010-09-141-9/+17
|
* Comments and formatting to type environment vectoriserbenl@ouroborus.net2010-09-091-13/+19
|
* Don't mix implicit and explicit layoutIan Lynagh2010-11-242-6/+6
|
* Whitespace onlyIan Lynagh2010-11-241-13/+13
|
* Separate NondecreasingIndentation out into its own extensionIan Lynagh2010-11-242-2/+10
|
* Add another GHC layout rule relaxation to RelaxedLayoutIan Lynagh2010-11-241-1/+14
|
* Remove references to Haskell 98Ian Lynagh2010-11-233-6/+7
| | | | | They are no longer right, as we have Haskell' generating new Haskell standards.
* Just some alpha renamingIan Lynagh2010-11-212-12/+12
|
* Fix bug #3165 (:history throws irrefutable pattern failed)pepeiborra@gmail.com2010-11-154-33/+30
| | | | | | | | | I ran across this bug and took the time to fix it, closing a long time due TODO in InteractiveEval.hs Instead of looking around to find the enclosing declaration of a tick, this patch makes use of the information already collected during the coverage desugaring phase
* Add an extension for GHC's layout-rule relaxationsIan Lynagh2010-11-202-2/+12
| | | | | Still TODO: Add the other relaxation (#1060) and update the alternative layout rule to use the extension.
* Comments onlysimonpj@microsoft.com2010-11-191-8/+31
|
* ForceSpecConstr now forces specialisation even for arguments which aren't ↵Roman Leshchinskiy2010-11-181-24/+31
| | | | scrutinised
* Move the superclass generation to the canonicalisersimonpj@microsoft.com2010-11-182-113/+113
| | | | | | | | | Doing superclass generation in the canonicaliser (rather than TcInteract) uses less code, and is generally more efficient. See Note [Adding superclasses] in TcCanonical. Fixes Trac #4497.
* Fix the generation of in-scope variables for IfaceLint checksimonpj@microsoft.com2010-11-181-7/+9
|
View Lorry Controller Status