summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Fix a couple of bugs in the way info tables are generated for 64-bit platformsSimon Marlow2014-11-052-15/+25
* Remove redundant contexts from Foldable methodsDavid Feuer2014-11-051-17/+3
* A little refactoring of HsSplice and friendsSimon Peyton Jones2014-11-048-96/+134
* Simon's major commit to re-engineer the constraint solverSimon Peyton Jones2014-11-0413-2218/+2842
* Add flattening-notesSimon Peyton Jones2014-11-041-0/+49
* Comments onlySimon Peyton Jones2014-11-041-1/+2
* Fix the superclass-cycle detection code (Trac #9739)Simon Peyton Jones2014-11-042-19/+23
* Add comments explaining ProbOneShotSimon Peyton Jones2014-11-044-44/+79
* Improve error message for a handwritten Typeable instanceSimon Peyton Jones2014-11-041-18/+24
* Define ctEvLoc and ctEvCoercion, and use themSimon Peyton Jones2014-11-042-5/+15
* Minor refactoring (no change in functionality)Simon Peyton Jones2014-11-041-3/+3
* Don't filter out allegedly-irrelevant bindings with -dppr-debugSimon Peyton Jones2014-11-041-1/+3
* Only report "could not deduce s~t from ..." for givens that include equalitiesSimon Peyton Jones2014-11-041-6/+8
* When reporting the context of given constraints, stop when you find oneSimon Peyton Jones2014-11-041-6/+17
* Typechecker debug tracing onlySimon Peyton Jones2014-11-044-32/+39
* Normalise the type of an inferred let-bindingSimon Peyton Jones2014-11-042-12/+21
* Get the Untouchables level right in simplifyInferSimon Peyton Jones2014-11-045-126/+179
* Refactor the treatment of lexically-scoped type variables for instance declar...Simon Peyton Jones2014-11-044-21/+28
* Refactor skolemising, and newClsInstSimon Peyton Jones2014-11-045-103/+117
* Rename setRole_maybe to downgradeRole_maybeSimon Peyton Jones2014-11-041-18/+18
* Simplify the API for tcInstTyVars, and make it more consistent with other sim...Simon Peyton Jones2014-11-045-31/+33
* Fix reduceTyFamApp_maybeSimon Peyton Jones2014-11-041-12/+34
* White space onlySimon Peyton Jones2014-11-045-52/+60
* Add the unfolding and inline-pragma for DFuns in DsBinds, not TcInstDclsSimon Peyton Jones2014-11-042-23/+28
* Simplify the generation of superclass constraints in tcInstDecl2Simon Peyton Jones2014-11-041-9/+10
* Some refactoring around endPass and debug dumpingSimon Peyton Jones2014-11-0413-117/+157
* Improve pretty-printing of type variablesSimon Peyton Jones2014-11-041-10/+10
* Tidy up pretty-printing of SrcLoc and SrcSpanSimon Peyton Jones2014-11-041-46/+55
* Add GHC.Prim.oneShotJoachim Breitner2014-11-022-3/+42
* Put one-Shot info in the interfaceJoachim Breitner2014-11-025-19/+69
* Tweak the error message for pattern synonym methods,Dr. ERDI Gergo2014-11-021-1/+1
* Fix #9738, by handling {-# ANN ... #-} in DsMeta.Richard Eisenberg2014-11-011-20/+56
* Fix #9084 by calling notHandled when unknown bits are enountered.Richard Eisenberg2014-11-011-19/+60
* Annotate poly-kinded type patterns in instance reification.Richard Eisenberg2014-11-011-19/+72
* Annotate reified poly-kinded tycons when necessary. (#8953)Richard Eisenberg2014-11-011-3/+69
* Always use KindedTV when reifying. (#8953)Richard Eisenberg2014-11-011-3/+4
* Bring unbound tyvars into scope during reifyInstances.Richard Eisenberg2014-11-012-14/+23
* rnMethodBind: reject pattern synonyms in instance definitions (fixes #9705)Dr. ERDI Gergo2014-11-011-0/+10
* Remove legacy support for -optdef flagsThomas Miedema2014-10-311-24/+4
* remove old .NET related codeYuras Shumovich2014-10-3111-114/+6
* Fix comment typosJan Stolarek2014-10-312-3/+3
* Comments onlyJan Stolarek2014-10-301-1/+1
* Add __GLASGOW_HASKELL_TH__=YES/NO to CPP definitionsJoachim Breitner2014-10-291-0/+6
* Convert GHCi sources from .lhs to .hsRodlogic2014-10-297-151/+93
* Typo in commentGabor Greif2014-10-281-2/+2
* Un-wire `Integer` type (re #9714)Herbert Valerio Riedel2014-10-274-80/+70
* fix a typo in comments: normaliseFfiTypeYuras Shumovich2014-10-241-1/+1
* Implementation of hsig (module signatures), per #9252Edward Z. Yang2014-10-2426-202/+745
* Enabled warn on tabs by default (fixes #9230)Mateusz Lenik2014-10-211-1/+2
* Fixes the ARM buildMoritz Angermann2014-10-211-2/+5