summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Inline IOEnv methodswip/inline-ioenvDmitry Ivanov2017-02-231-0/+7
* Revert recent submodule bumpsBen Gamari2017-02-221-1/+1
* A much nicer solution for typechecking ApplicativeDoSimon Peyton Jones2017-02-221-35/+32
* Fix ApplicativeDo constraint scopingSimon Peyton Jones2017-02-221-22/+53
* Gather constraints locally in checkMainSimon Peyton Jones2017-02-211-7/+11
* Disallow class instances for synonymsSimon Peyton Jones2017-02-211-6/+39
* A bit more tc-tracing in TcTyClsDeclsSimon Peyton Jones2017-02-211-0/+2
* Remove panics for TcTyConSimon Peyton Jones2017-02-212-50/+57
* A little refactoring of the simplifier around join pointsSimon Peyton Jones2017-02-212-38/+45
* Replace some pushTcLevelM's with pushTcLevelM_Ryan Scott2017-02-211-3/+3
* Minor spelling, grammar, and formatting fixesRyan Scott2017-02-211-6/+7
* Fix SetLevels for join pointsSimon Peyton Jones2017-02-211-18/+14
* Improve Core Lint, mainly for join pointsSimon Peyton Jones2017-02-211-38/+69
* Refactor inferConstraints not to use CPSSimon Peyton Jones2017-02-212-22/+21
* Fix computation of dfun_tvs in mkNewTypeEqnSimon Peyton Jones2017-02-211-4/+3
* Fix DeriveAnyClass (again)Simon Peyton Jones2017-02-211-118/+126
* Spelling in comments onlySimon Peyton Jones2017-02-211-1/+1
* Bump time submodule to 1.8Ben Gamari2017-02-201-1/+1
* Remove redundant importSimon Peyton Jones2017-02-201-1/+0
* Fix Core pretty printerSimon Peyton Jones2017-02-201-2/+3
* Kill off the remaining Rec []Simon Peyton Jones2017-02-202-4/+9
* Change -dppr-ticks to -dsuppress-ticksSimon Peyton Jones2017-02-204-12/+15
* Typos in manual, tests and commentsGabor Greif2017-02-208-9/+9
* Disable Typeable binding generation for unboxed sumsBen Gamari2017-02-182-6/+10
* Type-indexed TypeableBen Gamari2017-02-1822-266/+902
* Generalize kind of the (->) tyconBen Gamari2017-02-1821-98/+464
* Say 'data' explicitly in IfAbstractTyCon output.Edward Z. Yang2017-02-171-2/+2
* Improvements/bugfixes to signature reexport handling.Edward Z. Yang2017-02-172-9/+36
* Fix recompilation tracking on signatures.Edward Z. Yang2017-02-172-5/+14
* Fix a Backpack recompilation avoidance bug when signatures change.Edward Z. Yang2017-02-176-37/+66
* Simplify OutputableBndrSimon Peyton Jones2017-02-174-35/+33
* Fix a substitution bug in cseCaseSimon Peyton Jones2017-02-171-1/+2
* Honour -dsuppress-uniques more thoroughlySimon Peyton Jones2017-02-178-45/+56
* Comments only, about inl_inline and inl_actSimon Peyton Jones2017-02-171-4/+21
* Use the correct origin in SectionL and Section RSimon Peyton Jones2017-02-165-22/+35
* Improve checking of joins in Core LintSimon Peyton Jones2017-02-161-123/+130
* Comments and tiny refactor onlySimon Peyton Jones2017-02-161-11/+17
* Typos [ci skip]Gabor Greif2017-02-157-8/+8
* Don't warn about missing methods for instances in signatures.Edward Z. Yang2017-02-141-1/+3
* Make deSugarExpr use runTcInteractiveReid Barton2017-02-144-207/+221
* Check local type family instances against all imported onesReid Barton2017-02-144-18/+177
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-1421-66/+328
* Allow type defaulting for multi-param type classes with ExtendedDefaultRulesvivid-synth2017-02-141-1/+28
* Refactor renaming of operators/sections to fix DuplicateRecordFields bugsAdam Gundry2017-02-141-22/+52
* TcUnify: Assert precondition of matchExpectedTyConAppBen Gamari2017-02-141-1/+1
* Debug: Use local symbols for unwind points (#13278)Ben Gamari2017-02-143-4/+5
* Typos in notes and comments [ci skip]Gabor Greif2017-02-134-6/+6
* Disable PVP warnings temporarily.Edward Z. Yang2017-02-121-2/+10
* Slightly reword not-exported message.Edward Z. Yang2017-02-121-1/+2
* Setup more error context for Backpack operations.Edward Z. Yang2017-02-123-8/+32
View Lorry Controller Status