summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Typos in comments and manualGabor Greif2017-03-067-8/+8
* Make FloatOut/SetLevels idemoptent on bottoming functionsSimon Peyton Jones2017-03-061-61/+105
* Comments onlySimon Peyton Jones2017-03-061-1/+1
* Tiny refactorSimon Peyton Jones2017-03-061-2/+3
* Fix CSE (again) on literal stringsSimon Peyton Jones2017-03-061-35/+44
* Reexport CmpNat and friends (defined in GHC.TypeNats) from GHC.TypeLitsRyan Scott2017-03-041-6/+7
* Update dangling Note referenceJoachim Breitner2017-03-041-1/+1
* Comments only, in CSE (#13340)Reid Barton2017-03-031-3/+9
* Deserialize IfaceId more lazilyReid Barton2017-03-031-6/+2
* Produce KindReps for common kinds in GHC.TypesBen Gamari2017-03-032-45/+135
* TcTypeable: Try to reuse KindRepsBen Gamari2017-03-032-103/+184
* Revert "Read COMPLETE sets from external packages"Ben Gamari2017-03-0310-149/+66
* Read COMPLETE sets from external packagesRyan Scott2017-03-0210-66/+149
* Show: Add ShowS for ", "Ben Gamari2017-03-022-2/+4
* Changed parser message for RankNTypes (#12811)Rupert Horlick2017-03-021-5/+17
* Add suggestion for PatternSynonyms parse error (fixes #12429)Rupert Horlick2017-03-021-0/+4
* Don't float out expressions that are okay for speculationReid Barton2017-03-021-12/+12
* Don't allow orphan COMPLETE pragmas (#13349)Reid Barton2017-03-021-1/+35
* Print out sub-libraries of packages more nicely.Edward Z. Yang2017-03-022-3/+12
* Add -fwhole-archive-hs-libsSimon Marlow2017-03-022-6/+24
* Typofix.Edward Z. Yang2017-03-021-1/+1
* Prevent users from defining instances for abstract classes.Edward Z. Yang2017-03-022-0/+13
* Fix roles merging to apply only to non-rep-injective types.Edward Z. Yang2017-03-021-2/+47
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-029-129/+288
* Injective type families imply nominal injectivity, but NOT rep injEdward Z. Yang2017-03-021-1/+1
* Disallow non-nullary constraint synonyms on class.Edward Z. Yang2017-03-021-71/+72
* More comments on role subtyping, unsoundness fix.Edward Z. Yang2017-03-021-1/+54
* Extend Windows runtime loader libsearchTamar Christina2017-03-021-4/+7
* Prohibit RULES changing constructorsDavid Feuer2017-03-021-2/+25
* Eliminate ListSetOps from imp_trust_pkgsDavid Feuer2017-03-028-47/+51
* Properly acquire locks on not yet existing package databasesAndrzej Rybczak2017-03-021-2/+27
* Typeable: Rename KindRep bindings to $krep...Ben Gamari2017-03-021-1/+1
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-0146-227/+318
* Change catch# demand signatureDavid Feuer2017-03-012-2/+2
* Move isJoinId, isJoinId_maybe to IdSimon Peyton Jones2017-02-287-29/+32
* Mark non-recursive join lambdas as one-shotSimon Peyton Jones2017-02-281-27/+41
* Improve SetLevels for join pointsSimon Peyton Jones2017-02-281-157/+144
* Improve pretty-printing of typesSimon Peyton Jones2017-02-2810-105/+136
* Add VarSet.anyDVarSet, allDVarSetSimon Peyton Jones2017-02-284-11/+17
* Fix redundant import in CSEDavid Feuer2017-02-281-1/+1
* The Early Inline PatchSimon Peyton Jones2017-02-282-41/+57
* Combine identical case alternatives in CSESimon Peyton Jones2017-02-281-18/+114
* Try submodule bumps againBen Gamari2017-02-281-1/+1
* iOS: shared objects have .dylib extension.Moritz Angermann2017-02-281-0/+1
* Inline data constructor wrappers in phase 2 onlySimon Peyton Jones2017-02-281-2/+20
* Make Specialise work with castsSimon Peyton Jones2017-02-284-19/+126
* Add flag allowing convenient disabling of terminfo supportBen Gamari2017-02-281-0/+4
* Small changes to expression sizing in CoreUnfoldSimon Peyton Jones2017-02-281-2/+10
* When floating, don't box an expression that's okay for speculation (#13338)Reid Barton2017-02-281-4/+32
* DmdAnal: Clarify reference to Cardinality Analysis paperBen Gamari2017-02-281-1/+1
View Lorry Controller Status