summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* | | Updates to the constraint solver to be able to handle implicationDimitrios.Vytiniotis2012-04-105-93/+226
|/ /
* | Update names to match the implementation in GHC.TypeLits.Iavor S. Diatchki2012-04-083-27/+29
* | Allow promoted constructors in the typedoc production (#5948)Paolo Capriotti2012-04-061-0/+3
|/
* Merge branch 'master' of http://darcs.haskell.org/ghcDimitrios.Vytiniotis2012-04-055-30/+33
|\
| * Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-04-0540-1874/+2682
| |\
| * | Fix Trac #5952, by changing the Outputable TyCon instance,Simon Peyton Jones2012-04-055-30/+33
* | | Improved caching: I was flushing the solved when going under implications,Dimitrios.Vytiniotis2012-04-052-23/+31
* | | Implemeting a lookup modulo non-idempotent substitution.Dimitrios.Vytiniotis2012-04-051-17/+21
| |/ |/|
* | Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-04-0561-2264/+3639
|\ \
| * \ Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavorDimitrios.Vytiniotis2012-04-0525-271/+934
| |\ \
| | * | --amendDavid Terei2012-04-041-9/+9
| | * | Fix GHC API with respect to safe haskell. (#5989)David Terei2012-04-047-123/+155
| | * | Update safe haskell error/warn formattingDavid Terei2012-04-041-15/+11
| | * | Fix tracking of reason safe inference failed. (#5988)David Terei2012-04-043-24/+46
| | * | Fix uneeded test in safe haskell codeDavid Terei2012-04-041-1/+2
| | * | Add the GC_GLOBAL_SYNC event marking that all caps are stopped for GCMikolaj2012-04-046-3/+26
| | * | Fix the timestamps in GC_START and GC_END events on the GC-initiating capMikolaj2012-04-048-19/+94
| | * | Emit final heap alloc events and rearrange code to calculate alloc totalsDuncan Coutts2012-04-044-24/+34
| | * | Move trace of cap delete from shutdownCapability to freeCapabilityDuncan Coutts2012-04-041-21/+7
| | * | Adjust the eventlog description header for the spark counter eventDuncan Coutts2012-04-042-1/+2
| | * | Add new eventlog events for various heap and GC statisticsDuncan Coutts2012-04-0411-15/+386
| | * | Change the presentation of parallel GC work balance in +RTS -sDuncan Coutts2012-04-043-22/+20
| | * | Calculate the total memory allocated on a per-capability basisDuncan Coutts2012-04-044-1/+22
| | * | Add eventlog/trace stuff for capabilities: create/delete/enable/disableDuncan Coutts2012-04-048-53/+180
| | |/
| * | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavorDimitrios.Vytiniotis2012-04-043-110/+125
| |\ \ | | |/
| | * Document optimisation passes, to some extent at leastSimon Peyton Jones2012-04-041-71/+60
| | * Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-04-0414-232/+438
| | |\
| | * | Tighten up on type validity checkingSimon Peyton Jones2012-04-042-39/+65
| * | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavorDimitrios.Vytiniotis2012-04-047-29/+106
| |\ \ \ | | | |/ | | |/|
| | * | Update comments about Addr in foreign declarations.Paolo Capriotti2012-04-042-10/+7
| | * | Improved checks for "dynamic" and "wrapper" foreign declarations (#5664)Paolo Capriotti2012-04-042-14/+35
| | * | Prevent nested TH exceptions from bubbling up to the top level (#5976)Paolo Capriotti2012-04-032-6/+37
| | * | Support qualified identifiers in quasi-quotes (#5555).Paolo Capriotti2012-04-022-1/+29
| | * | Fixed typo in b857c8ad which caused NewtypeD to be interpreted as DataD.Mikhail Vorozhtsov2012-04-021-1/+1
| * | | Adding a forgotten pre-canonicalication cache-lookup stage.Dimitrios.Vytiniotis2012-04-042-2/+22
| * | | Wibble: using original type for the dictionary if it has not changed (to pres...Dimitrios.Vytiniotis2012-04-041-3/+6
| * | | More informative tracing for ddump-cs-traceDimitrios.Vytiniotis2012-04-042-6/+10
| * | | When rewriting a flavor with rewriteCtFlavor, in the case of reflexivity,Dimitrios.Vytiniotis2012-04-031-5/+11
| * | | Bugfix in emitKindConstraint (must not cache orig constraint as Solved!); addedDimitrios.Vytiniotis2012-04-031-1/+7
| * | | Commentary, following the relaxation of idempotence of the inert substitution.Dimitrios.Vytiniotis2012-04-033-9/+37
| * | | Dropping the idempotence restriction on the inert substitution,Dimitrios.Vytiniotis2012-04-021-69/+24
| * | | Deleting more old commented code.Dimitrios.Vytiniotis2012-04-022-414/+1
| * | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavorDimitrios.Vytiniotis2012-04-0218-271/+769
| |\ \ \ | | |/ /
| | * | Whitespace only in main/Packages.lhsIan Lynagh2012-04-011-167/+160
| | * | Tidy up compiler/ghc.cabal.inIan Lynagh2012-04-011-26/+10
| | * | Add a section about promoted literals to the manual.Iavor S. Diatchki2012-03-311-0/+46
| | * | Add an entry for -XExplicitNamespaces to the manual.Iavor S. Diatchki2012-03-311-0/+6
| | * | Add some missing equations for type-literals.Iavor S. Diatchki2012-03-311-0/+6
| | * | Respect package qualifier when validating imports in GHCi (#5979)Patrick Palka2012-03-311-1/+2
| | * | Attempt to detect loops through imported function RULEsMax Bolingbroke2012-03-301-9/+102
| | |/