summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
...
* Revert "Have addModFinalizer expose the local type environment."Facundo Domínguez2017-01-068-244/+206
* Have addModFinalizer expose the local type environment.Facundo Domínguez2017-01-068-206/+244
* Fix the implementation of the "push rules"Simon Peyton Jones2017-01-064-152/+198
* Avoid exponential blowup in FamInstEnv.normaliseTypeSimon Peyton Jones2017-01-061-13/+35
* Use the right in-scope setSimon Peyton Jones2017-01-061-2/+3
* Add a CSE pass to Stg (#9291)Joachim Breitner2017-01-0510-30/+499
* Ensure nested binders have Internal NamesSimon Peyton Jones2017-01-053-51/+65
* Minor refactoring in CSESimon Peyton Jones2017-01-051-34/+46
* Remove a redundant testSimon Peyton Jones2017-01-051-1/+4
* Typofixes in manual and comments [ci skip]Gabor Greif2017-01-042-2/+2
* Refactor importdecls/topdecls parsing.Edward Z. Yang2017-01-021-44/+50
* Don't suggest enabling TypeApplications when it's already enabledMaciej Bielecki2017-01-021-2/+8
* Disallow users to write instances of KnownNat and KnownSymsjorn32017-01-021-6/+11
* CallArity: Use exprIsCheap to detect thunksJoachim Breitner2016-12-261-5/+16
* rename: Add note describing #11216Ben Gamari2016-12-231-4/+22
* Add caret diagnosticsPhil Ruffwind2016-12-233-10/+104
* rename: Don't require 'fail' in non-monadic contextsBen Gamari2016-12-232-3/+22
* Push coercions in exprIsConApp_maybeSimon Peyton Jones2016-12-231-2/+48
* Removed dead code in DsCCall.mk_altSimon Peyton Jones2016-12-231-48/+41
* Propagate evaluated-ness a bit more faithfullySimon Peyton Jones2016-12-232-3/+23
* Tiny refactor in CoreTidySimon Peyton Jones2016-12-231-10/+10
* Float unboxed expressions by boxingSimon Peyton Jones2016-12-233-118/+219
* Ensure that even bottoming functions have an unfoldingSimon Peyton Jones2016-12-231-20/+26
* Comments onlySimon Peyton Jones2016-12-231-0/+2
* White space onlySimon Peyton Jones2016-12-231-4/+4
* Fix a bug in ABot handling in CoreAritySimon Peyton Jones2016-12-231-3/+10
* Alpha-renaming and white space onlySimon Peyton Jones2016-12-231-10/+11
* Fix another forward reference to a NoteRyan Scott2016-12-211-2/+2
* Notes on parsing lists in Parser.yEdward Z. Yang2016-12-211-0/+44
* Support for abi-depends for computing shadowing.Edward Z. Yang2016-12-213-116/+211
* Disambiguate two Notes with identical namesRyan Scott2016-12-211-2/+2
* Fix a forward reference to a NoteRyan Scott2016-12-211-2/+2
* Fix 'SPECIALISE instance'Simon Peyton Jones2016-12-218-98/+133
* Never apply worker/wrapper to DFunsSimon Peyton Jones2016-12-212-38/+46
* Move InId/OutId to CoreSynSimon Peyton Jones2016-12-218-84/+51
* Lint DFunUnfoldingsSimon Peyton Jones2016-12-211-2/+14
* Don't eta-expand in stable unfoldingsSimon Peyton Jones2016-12-212-13/+36
* Move typeSize/coercionSize into TyCoRepSimon Peyton Jones2016-12-214-47/+59
* Test Trac #12968, plus some commentsSimon Peyton Jones2016-12-212-0/+5
* Rewrite Note [Api annotations] for clarity.Edward Z. Yang2016-12-203-55/+88
* Allow use of the external interpreter in stage1.Shea Levy2016-12-2027-322/+98
* Revert "Allow use of the external interpreter in stage1."Tamar Christina2016-12-1927-75/+322
* Introduce unboxedSum{Data,Type}Name to template-haskellRyan Scott2016-12-182-3/+17
* Fix Haddock comment typo.Edward Z. Yang2016-12-181-1/+1
* Check family instance consistency of hs-boot families later, fixes #11062.Edward Z. Yang2016-12-175-8/+81
* Allow use of the external interpreter in stage1.Shea Levy2016-12-1727-322/+75
* Improve StringBuffer and FastString docsPhil Ruffwind2016-12-172-4/+51
* Windows: Improve terminal detection mechanismPhil Ruffwind2016-12-174-98/+154
* Reshuffle levity polymorphism checks.Richard Eisenberg2016-12-174-21/+28
* Revert "Do not init record accessors as exported"Ben Gamari2016-12-173-17/+2