summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/CoreArity.hs
Commit message (Expand)AuthorAgeFilesLines
* Apply a missing substitution in mkEtaWW (#16979)Simon Peyton Jones2019-07-301-8/+21
* [skip ci] Typo fix: b*ar*nches -> b*ra*nchesSiddharth Bhat2019-06-251-1/+1
* Fix arity type of coerced types in CoreArityÖmer Sinan Ağacan2019-05-311-2/+26
* Compute demand signatures assuming idAritySebastian Graf2019-04-301-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-8/+8
* Change the warning in substTy back to an assertionKrzysztof Gogolewski2019-03-111-1/+1
* Remove ExnStr and ThrowsExn businessSebastian Graf2019-02-011-3/+1
* A few typofixesGabor Greif2019-01-231-1/+1
* Coercion Quantificationningning2018-09-151-5/+14
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Refactor the Mighty SimplifierSimon Peyton Jones2017-08-251-30/+29
* Typos in comments and manual [ci skip]Gabor Greif2017-06-281-1/+1
* Prefer #if defined to #ifdefBen Gamari2017-04-281-1/+1
* Eta expansion and join pointsSimon Peyton Jones2017-04-281-96/+43
* Make let and app consistent in exprIsCheapXSimon Peyton Jones2017-04-121-2/+2
* Add Outputable instance for ArityTypeSimon Peyton Jones2017-04-121-0/+4
* No join-point from an INLINE function with wrong aritySimon Peyton Jones2017-03-171-2/+11
* Join pointsLuke Maurer2017-02-011-6/+152
* Fix a nasty bug in exprIsExpandableSimon Peyton Jones2017-01-201-2/+2
* Update levity polymorphismRichard Eisenberg2017-01-191-1/+7
* Fix a bug in ABot handling in CoreAritySimon Peyton Jones2016-12-231-3/+10
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+3
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-13/+16
* Fix #12076 by inlining trivial expressions in CorePrep.Edward Z. Yang2016-06-081-2/+2
* Implement the state hack without modifiyng OneShotInfoJoachim Breitner2016-04-271-1/+1
* Rename isNopSig to isTopSigJoachim Breitner2016-03-291-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-2/+2
* Make demand analysis understand catchSimon Peyton Jones2016-01-071-1/+2
* Random typo fixesHerbert Valerio Riedel2015-12-171-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-26/+23
* Comments onlySimon Peyton Jones2015-11-251-1/+0
* Add a blank lineSimon Peyton Jones2015-04-221-0/+1
* fix typos in coreSynJavran Cheng2015-03-021-1/+1
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-1/+1
* Source notes (Core support)Peter Wortmann2014-12-161-7/+32
* compiler: de-lhs coreSyn/Austin Seipp2014-12-031-0/+1003