summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/CoreSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-02-261-2345/+0
* Modules: Driver (#13009)Sylvain Henry2020-02-211-2/+2
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-5/+1
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-1/+1
* Fix an outdated note linkArnaud Spiwack2020-02-091-1/+1
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-5/+5
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-5/+5
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-2/+2
* Better arity for join pointsSimon Peyton Jones2019-10-281-3/+15
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-37/+105
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-3/+3
* GHCi supports not-necessarily-lifted join pointsRichard Eisenberg2019-08-141-0/+10
* Fix erroneous float in CoreOptSimon Peyton Jones2019-07-091-0/+22
* PrelRules: Don't break let/app invariant in shiftRuleBen Gamari2019-06-141-0/+3
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-9/+9
* A few typofixesGabor Greif2019-01-231-1/+1
* Rename literal constructorsSylvain Henry2018-11-221-12/+12
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-131-25/+46
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-4/+4
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Make seq# evaluatedness look through castsDavid Feuer2018-06-111-1/+2
* Let the simplifier know that seq# forcesDavid Feuer2018-06-061-1/+11
* vectorise: Put it out of its miseryBen Gamari2018-06-021-21/+0
* Define MCoercion typeningning2018-05-301-1/+2
* Allow top level ticked string literalsBartosz Nitka2018-03-061-5/+5
* Rewrite Note [The polymorphism rule of join points]Joachim Breitner2018-01-021-19/+50
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-3/+3
* Adjust AltCon Ord instance to match Core linter requirements.klebinger.andreas@gmx.at2017-11-151-4/+5
* Implement a dedicated exitfication pass #14152Joachim Breitner2017-10-291-5/+5
* A bunch of typofixesGabor Greif2017-09-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Spelling fixesGabor Greif2017-07-201-1/+1
* Fix links to SPJ’s papers (fixes #12578)Takenobu Tani2017-07-191-1/+1
* Fix #13233 by checking for lev-poly primopsRichard Eisenberg2017-05-021-1/+2
* Re-engineer caseRules to add tagToEnum/dataToTagSimon Peyton Jones2017-04-281-0/+2
* Print module when dumping rulesMatthew Pickering2017-03-291-1/+6
* No join-point from an INLINE function with wrong aritySimon Peyton Jones2017-03-171-0/+5
* Reimplement minusList using SetDavid Feuer2017-03-141-0/+14
* Introduce and use mkLetRec, mkLetNonRecBen Gamari2017-03-141-1/+11
* Join points can be levity-polymorphicSimon Peyton Jones2017-03-081-1/+17
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-011-2/+2
* Move isJoinId, isJoinId_maybe to IdSimon Peyton Jones2017-02-281-9/+0
* Kill off the remaining Rec []Simon Peyton Jones2017-02-201-2/+7
* Typos in manual, tests and commentsGabor Greif2017-02-201-1/+1
* Simplify OutputableBndrSimon Peyton Jones2017-02-171-3/+1
* Spelling fixesGabor Greif2017-02-021-1/+1
* Don't tick top-level string literalsBen Gamari2017-02-011-0/+5
* Join pointsLuke Maurer2017-02-011-10/+213
* Prune unneeded Derive* language pragmasGabor Greif2017-01-261-1/+1
View Lorry Controller Status