summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Flat constraint --> Simple constraintRichard Eisenberg2014-12-1212-152/+152
* Rewrite `Coercible` solverRichard Eisenberg2014-12-1223-944/+1610
* Fix an obscure but terrible bug in the simplifier (Trac #9567)Simon Peyton Jones2014-12-112-189/+288
* White space wibble onlySimon Peyton Jones2014-12-111-1/+1
* Comments only: move flattening notes to TcFlattenSimon Peyton Jones2014-12-103-297/+207
* Implement a fast path for new constraints looking like (a~b), namely unifyWantedSimon Peyton Jones2014-12-103-321/+436
* When flattening, try reducing type-family applications eagerlySimon Peyton Jones2014-12-103-18/+50
* Fix type-variable details naming (fixes misleading debug output)Simon Peyton Jones2014-12-101-2/+2
* Get rid of TcMType.newWantedEvVar(s)Simon Peyton Jones2014-12-102-9/+2
* Reorganise the work list, so that flattening goals are treated in the right o...Simon Peyton Jones2014-12-105-156/+244
* fix misleading error message regarding function arityYuras Shumovich2014-12-091-9/+25
* Implement -XStaticValuesFacundo Domínguez2014-12-0920-17/+384
* catch some recent typosGabor Greif2014-12-089-12/+12
* RAE's response to SPJ's question in flattening-notesRichard Eisenberg2014-12-081-0/+5
* Revise flattening-notesSimon Peyton Jones2014-12-081-31/+68
* Revise the inert-set invariants againSimon Peyton Jones2014-12-083-18/+30
* Comments and variable names only, in type checking of (e1 $ e2)Simon Peyton Jones2014-12-081-14/+14
* Improve the treatment of AppTy equalitiesSimon Peyton Jones2014-12-082-58/+72
* Optimise partitionFunEqs for the 'false' caseSimon Peyton Jones2014-12-081-8/+14
* Added comments to flattening-notesRichard Eisenberg2014-12-071-0/+31
* msse flag handling: fix trac issue #9777Denis Redozubov2014-12-052-21/+16
* Add -fwarn-unticked-promoted-constructors to -WallAustin Seipp2014-12-051-1/+2
* renamer: fix trac issue #9778Carlos Tomé2014-12-052-1/+14
* Add notes about the inert CTyEqCansSimon Peyton Jones2014-12-051-0/+150
* Prevent solveFlatWanteds from losing insolubles when using typechecker pluginsAdam Gundry2014-12-041-15/+32
* Comments on TrieMap and unifier.Edward Z. Yang2014-12-042-1/+21
* compiler: de-lhs deSugar/Austin Seipp2014-12-0318-640/+523
* compiler: de-lhs typecheck/Austin Seipp2014-12-0346-2518/+2118
* compiler: de-lhs simplStg/Austin Seipp2014-12-033-63/+53
* compiler: de-lhs stgSyn/Austin Seipp2014-12-033-163/+144
* compiler: de-lhs simplCore/Austin Seipp2014-12-0313-737/+616
* compiler: de-lhs hsSyn/Austin Seipp2014-12-0312-487/+383
* compiler: de-lhs basicTypes/Austin Seipp2014-12-0328-1259/+1041
* compiler: de-lhs specialise/Austin Seipp2014-12-033-181/+163
* compiler: de-lhs iface/Austin Seipp2014-12-038-457/+381
* compiler: de-lhs utils/Austin Seipp2014-12-0320-607/+446
* compiler: de-lhs coreSyn/Austin Seipp2014-12-0312-812/+658
* compiler: de-lhs rename/Austin Seipp2014-12-0310-597/+520
* compiler: de-lhs prelude/Austin Seipp2014-12-0310-542/+435
* compiler: de-lhs main/Austin Seipp2014-12-0312-354/+294
* Comments onlySimon Peyton Jones2014-12-031-2/+2
* Generate real (but empty) object files for signatures.Edward Z. Yang2014-12-023-8/+47
* Unique-ify the names of top-level auxiliary bindings in derived instances (Tr...Simon Peyton Jones2014-12-021-8/+41
* Fix another bug in deriving( Data ) for data families; Trac #4896Simon Peyton Jones2014-12-021-9/+25
* Minor refactoring of Edward's recent orphans patch (Trac #2182)Simon Peyton Jones2014-12-028-252/+289
* Rename Untouchables to TcLevelSimon Peyton Jones2014-12-0215-179/+181
* Remove references to SynTyCon. Fixes #9812Jan Stolarek2014-12-024-10/+12
* Comments and formatting in TyConJan Stolarek2014-12-021-81/+118
* Fix parser for UNPACK pragmasSimon Peyton Jones2014-12-011-5/+5
* Remove references to Parser.y.ppThomas Miedema2014-12-013-6/+3
View Lorry Controller Status