summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* Refactor lookupFixityRn-related code following D1744RyanGlScott2016-01-151-7/+7
* Add missing type representationsBen Gamari2016-01-131-2/+1
* Tiny refactorSimon Peyton Jones2016-01-071-3/+4
* Remove unused exportSimon Peyton Jones2016-01-071-1/+1
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-3/+0
* Visible type applicationRichard Eisenberg2015-12-242-6/+11
* Refactoring onlySimon Peyton Jones2015-12-242-6/+5
* Fix ASSERT in buildPatSyn, and T10897 testSimon Peyton Jones2015-12-231-6/+10
* Random typo fixesHerbert Valerio Riedel2015-12-171-1/+1
* Improve pretty-printing in pprIfaceIdBndrSimon Peyton Jones2015-12-171-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-118-571/+806
* Make the order of fixities in the iface file deterministicBartosz Nitka2015-12-021-1/+5
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-12/+17
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-255-29/+61
* Support multiple debug output levelsBen Gamari2015-11-231-2/+2
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-182-5/+6
* Revert "Unify hsig and hs-boot; add preliminary "hs-boot" merging."Edward Z. Yang2015-11-162-41/+8
* Move usage calculation to desugaring, simplifying ModGuts.Edward Z. Yang2015-11-161-197/+15
* Turn ImportedModsVal into a data typeJoachim Breitner2015-11-131-3/+3
* Give helpful advice when a fully qualified name is not in scopeJoachim Breitner2015-11-131-3/+3
* Associate pattern synonyms with types in module exportsMatthew Pickering2015-11-112-2/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-304-112/+130
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-294-130/+112
* Generate Typeable info at definition sitesBen Gamari2015-10-294-112/+130
* Record pattern synonymsMatthew Pickering2015-10-294-14/+33
* Pattern synonyms: swap provided/requiredSimon Peyton Jones2015-10-282-2/+2
* Sort field labels before fingerprint hashingBartosz Nitka2015-10-271-1/+8
* Implement DuplicateRecordFieldsAdam Gundry2015-10-165-52/+94
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-143-12/+12
* Simplify type of ms_srcimps and ms_textual_imps.Edward Z. Yang2015-10-091-2/+2
* Move orphan instance/rule warnings to typechecker/desugarer.Edward Z. Yang2015-10-081-78/+15
* Unify hsig and hs-boot; add preliminary "hs-boot" merging.Edward Z. Yang2015-09-212-8/+41
* Revert "Revert "Revert "Change loadSrcInterface to return a list of ModIface"""Edward Z. Yang2015-09-211-44/+6
* Revert "Revert "Revert "Support for multiple signature files in scope."""Edward Z. Yang2015-09-212-26/+10
* Refactor BranchLists.Richard Eisenberg2015-09-212-6/+7
* Perform a validity check on assoc type defaults.Richard Eisenberg2015-09-212-2/+2
* Show minimal complete definitions in ghci (#10847)Moritz Kiefer2015-09-171-3/+27
* Remove redundant language extensionsJan Stolarek2015-09-121-1/+1
* Injective type familiesJan Stolarek2015-09-034-24/+53
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-2/+2
* Anchor type family instances deterministicallyBartosz Nitka2015-08-311-6/+1
* MkIface: Introduce PatSynId, ReflectionId, DefMethIdBen Gamari2015-08-271-2/+11
* IfaceEnv: Clean up updNameCache a bitBen Gamari2015-08-271-13/+8
* Move newImplicitBinder to from IfaceEnv to BuildTyClBen Gamari2015-08-272-19/+19
* BinIface: Clean up whitespaceBen Gamari2015-08-261-3/+2
* Comments and white spaceSimon Peyton Jones2015-08-261-1/+2
* Replace HsBang type with HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-08-104-39/+81
* Replace (SourceText,FastString) with StringLiteral data typeAlan Zimmerman2015-08-021-1/+1
* Improve warnings for rules that might not fireSimon Peyton Jones2015-07-272-3/+4
* Implementation of StrictData language extensionAdam Sandberg Eriksson2015-07-273-6/+6