summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* Typofix.Edward Z. Yang2017-03-021-1/+1
* Prevent users from defining instances for abstract classes.Edward Z. Yang2017-03-028-0/+31
* Fix roles merging to apply only to non-rep-injective types.Edward Z. Yang2017-03-027-2/+111
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-0214-129/+315
* 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-025-75/+112
* More comments on role subtyping, unsoundness fix.Edward Z. Yang2017-03-026-1/+134
* Extend Windows runtime loader libsearchTamar Christina2017-03-022-5/+11
* Prohibit RULES changing constructorsDavid Feuer2017-03-029-37/+50
* Eliminate ListSetOps from imp_trust_pkgsDavid Feuer2017-03-029-53/+58
* User manual: Fix GADT paper linkÖmer Sinan Ağacan2017-03-021-1/+1
* testsuite: Mark T13340 as fixedBen Gamari2017-03-021-1/+1
* Properly acquire locks on not yet existing package databasesAndrzej Rybczak2017-03-022-10/+42
* SymbolExtras: A bit of spring cleaningBen Gamari2017-03-022-11/+9
* Typeable: Rename KindRep bindings to $krep...Ben Gamari2017-03-0213-180/+180
* Bump bytes allocated for T12234David Feuer2017-03-021-0/+1
* Fix expected result from T13143David Feuer2017-03-021-27/+25
* Document interaction between ApplicativeDo and existentials (#13242)Simon Marlow2017-03-021-0/+36
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-0147-230/+321
* Change catch# demand signatureDavid Feuer2017-03-0110-70/+102
* rts: Fix buildBen Gamari2017-02-282-1/+2
* Update containers againDavid Feuer2017-02-281-0/+0
* 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-2813-146/+175
* 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-2824-246/+222
* Combine identical case alternatives in CSESimon Peyton Jones2017-02-282-29/+119
* testsuite: Bump down T5837 and T10370 allocationsBen Gamari2017-02-281-1/+3
* Try submodule bumps againBen Gamari2017-02-2812-14/+17
* Add COMPLETE pragmas for TypeRep and ErrorCall pattern synonymsRyan Scott2017-02-283-0/+9
* Drop copy step from the rts/ghc.mkMoritz Angermann2017-02-283-12/+9
* Improve documentation for CreateBCOs Message.Moritz Angermann2017-02-281-0/+3
* iOS: shared objects have .dylib extension.Moritz Angermann2017-02-281-0/+1
* config.mk.in: Disable terminfo support on iOSBen Gamari2017-02-281-3/+6
* Inline data constructor wrappers in phase 2 onlySimon Peyton Jones2017-02-283-85/+103
* Make Specialise work with castsSimon Peyton Jones2017-02-284-19/+126
* Again disable stage0 terminfo on WindowsBen Gamari2017-02-281-0/+2
* rts: Allow profile output path to be specified on RTS command lineBen Gamari2017-02-284-23/+44
* Add flag allowing convenient disabling of terminfo supportBen Gamari2017-02-289-7/+40
* 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-283-4/+45
* Add Eq instances for TrName, ModuleBen Gamari2017-02-282-1/+11
* base: Expose Module from Type.ReflectionBen Gamari2017-02-282-1/+5
* configure: detect whether -lpthreads is necessary for pthreadsBen Gamari2017-02-282-0/+27
* DmdAnal: Clarify reference to Cardinality Analysis paperBen Gamari2017-02-281-1/+1
* Clear import path in --backpack mode to not accidentally pick up source files.Edward Z. Yang2017-02-271-0/+2
* Fix Mac OS X timestamp resolution bug.Edward Z. Yang2017-02-271-0/+5