summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Use strict types and folds in CoreStatsReid Barton2017-04-041-9/+11
* Clean up coreView/tcView.Ben Gamari2017-03-311-7/+16
* Disable bogus lint checks about levity polimorphic coerionsJoachim Breitner2017-03-311-5/+1
* Print module when dumping rulesMatthew Pickering2017-03-291-1/+6
* Allow unbound Refl binders in a RULESimon Peyton Jones2017-03-291-5/+13
* Spelling in comments only [ci skip]Gabor Greif2017-03-281-1/+1
* Fix #13458Richard Eisenberg2017-03-271-8/+18
* Typos in comments (notes too) [ci skip]Gabor Greif2017-03-241-6/+6
* No join-point from an INLINE function with wrong aritySimon Peyton Jones2017-03-176-1090/+1196
* Improve Lint a littleSimon Peyton Jones2017-03-171-5/+13
* Fix #12709 by not building bad applicationsRichard Eisenberg2017-03-171-1/+4
* Typos in manual and comments [ci skip]Gabor Greif2017-03-171-2/+2
* Introduce putLogMsgBen Gamari2017-03-151-3/+3
* Reimplement minusList using SetDavid Feuer2017-03-141-0/+14
* Shortcut a test in exprIsOkDavid Feuer2017-03-141-2/+2
* Introduce and use mkLetRec, mkLetNonRecBen Gamari2017-03-141-1/+11
* Emit Core lint warnings on stderr, fix #13342Ben Fiedler2017-03-111-2/+4
* Comments only [ci skip]Gabor Greif2017-03-091-1/+1
* Join points can be levity-polymorphicSimon Peyton Jones2017-03-083-14/+35
* Typos in comments and manualGabor Greif2017-03-061-1/+1
* TcTypeable: Try to reuse KindRepsBen Gamari2017-03-031-2/+26
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-013-5/+7
* Move isJoinId, isJoinId_maybe to IdSimon Peyton Jones2017-02-282-9/+8
* Make Specialise work with castsSimon Peyton Jones2017-02-281-4/+58
* Small changes to expression sizing in CoreUnfoldSimon Peyton Jones2017-02-281-2/+10
* Refactor floating of bindings (fiBind)Simon Peyton Jones2017-02-261-28/+29
* Make exprIsConApp_maybe work better for literals stringsSimon Peyton Jones2017-02-241-4/+13
* Spelling only [ci skip]Gabor Greif2017-02-232-2/+2
* Improve Core Lint, mainly for join pointsSimon Peyton Jones2017-02-211-38/+69
* Fix Core pretty printerSimon Peyton Jones2017-02-201-2/+3
* Kill off the remaining Rec []Simon Peyton Jones2017-02-201-2/+7
* Change -dppr-ticks to -dsuppress-ticksSimon Peyton Jones2017-02-201-3/+3
* Typos in manual, tests and commentsGabor Greif2017-02-202-2/+2
* Type-indexed TypeableBen Gamari2017-02-181-1/+1
* Generalize kind of the (->) tyconBen Gamari2017-02-184-13/+31
* Simplify OutputableBndrSimon Peyton Jones2017-02-172-22/+27
* Improve checking of joins in Core LintSimon Peyton Jones2017-02-161-123/+130
* Typos [ci skip]Gabor Greif2017-02-151-2/+2
* Tweaks and typos in manual, note refs, commentsGabor Greif2017-02-091-1/+1
* Improve -dsuppress-coercionsSimon Peyton Jones2017-02-081-2/+3
* Improve the simple optimiserSimon Peyton Jones2017-02-081-198/+364
* More typos in comments [skip ci]Gabor Greif2017-02-082-5/+5
* cpeApp: Make Int accumulator strictBen Gamari2017-02-071-1/+1
* Another improvement to SetLevelsSimon Peyton Jones2017-02-071-3/+4
* Comments onlySimon Peyton Jones2017-02-071-3/+3
* Do not inline bottoming thingsSimon Peyton Jones2017-02-071-0/+5
* Do Worker/Wrapper for NOINLINE thingsEric Seidel2017-02-051-1/+4
* New internal dynamic flag: Very aggressive inliningJoachim Breitner2017-02-041-1/+8
* Improve wrapTicks performance with lots of redundant source notesPeter Wortmann2017-02-041-5/+14
* Ditch static flagsSylvain Henry2017-02-021-9/+11