summaryrefslogtreecommitdiff
path: root/compiler/basicTypes
Commit message (Expand)AuthorAgeFilesLines
* Finish fix for #14880.Tobias Dammers2018-10-282-29/+31
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-9/+9
* Fix cardinality change of fields in addDataConStrictnessÖmer Sinan Ağacan2018-10-151-1/+5
* Add RubbishLit for absent bindings of UnliftedRepSebastian Graf2018-10-141-2/+85
* Set `infixr -1 ->`Alec Theriault2018-10-041-1/+1
* Make GHC (the library) flexible in the choice of integer libraryJoachim Breitner2018-10-031-26/+34
* Coercion Quantificationningning2018-09-156-155/+245
* Define activeAfterInitial, activeDuringFinalSimon Peyton Jones2018-09-052-1/+11
* make iToBase62's inner loop stricter in one of its argumentsAlp Mestanogullari2018-09-021-1/+1
* Fix #15502 by not casting to Int during TH conversionRyan Scott2018-08-271-2/+12
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-216-7/+7
* Set strictness correctly for JoinIdsSimon Peyton Jones2018-08-211-3/+18
* Check if files are same in combineSrcSpansZubin Duggal2018-08-121-2/+4
* Turn on MonadFail desugaring by defaultHerbert Valerio Riedel2018-08-071-0/+6
* Remove the type-checking knot.Richard Eisenberg2018-08-011-23/+23
* Revert "Don't inline functions with RULES too early"Ben Gamari2018-08-012-11/+1
* Don't inline functions with RULES too earlySimon Peyton Jones2018-07-312-1/+11
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-161-15/+8
* Move check for dcUserTyVarBinders invariantRichard Eisenberg2018-07-141-16/+3
* Adding missing 'no'jhb5632018-07-121-1/+1
* Fix newtype instance GADTsRyan Scott2018-07-051-9/+43
* A few typofixes in commentsGabor Greif2018-06-292-2/+2
* More misc commentsSimon Peyton Jones2018-06-251-4/+3
* A few more typofixes in docs/comments [ci skip]Gabor Greif2018-06-201-1/+1
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Two small refactoringsSimon Peyton Jones2018-06-181-2/+2
* Handle DuplicateRecordFields correctly in filterImports (fixes #14487)Adam Gundry2018-06-171-0/+18
* Built-in Natural literals in CoreSylvain Henry2018-06-151-168/+241
* Make NameSort note into proper NoteMatthew Pickering2018-06-151-1/+2
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-144-50/+94
* Fix deserialization of docs (#15240)Simon Jakobi2018-06-141-0/+8
* Comments onlySimon Peyton Jones2018-06-111-5/+7
* Rename dataConRepNameUnique to dataConTyRepNameUniqueMatthew Pickering2018-06-071-3/+3
* Introduce DerivingViaRyan Scott2018-06-041-27/+0
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-1/+1
* Remove ~# from surface syntaxDavid Feuer2018-06-021-1/+1
* vectorise: Put it out of its miseryBen Gamari2018-06-025-91/+4
* Delete duplicate definition of fingerprintByteStringSimon Jakobi2018-05-301-9/+1
* Typofixes [ci skip]Gabor Greif2018-05-291-2/+2
* Typo in commentsGabor Greif2018-05-231-1/+1
* Algebraically simplify add/sub with carry/overflowSebastian Graf2018-05-151-12/+36
* Fix #14875 by introducing PprPrec, and using itRyan Scott2018-05-131-36/+21
* TcInteract: Ensure that tycons have representations before solving for TypeableBen Gamari2018-05-131-0/+1
* comments onlySimon Peyton Jones2018-04-201-4/+4
* Some cleanup of the Exitification codeJoachim Breitner2018-04-091-5/+1
* Comments only, about exitifcationSimon Peyton Jones2018-04-061-1/+1
* Fix accidental breakage in T7050Simon Peyton Jones2018-04-031-12/+18
* Allow unpacking of single-data-con GADTsSimon Peyton Jones2018-04-021-20/+39
* Track type variable scope more carefully.Richard Eisenberg2018-03-312-4/+12
* Fix panic on module re-exports of DuplicateRcordFieldsAdam Gundry2018-03-251-0/+1
View Lorry Controller Status