summaryrefslogtreecommitdiff
path: root/compiler/iface/TcIface.hs
Commit message (Expand)AuthorAgeFilesLines
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-1825/+0
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* TcIface: Fix inverted logic in typechecking of source ticksBen Gamari2019-12-301-1/+1
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-161-2/+5
* Break up TyCoRepBen Gamari2019-07-311-0/+1
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-5/+5
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-6/+5
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-4/+18
* Smarter HsType pretty-print for promoted dataconsSimon Peyton Jones2018-11-151-3/+3
* Coercion Quantificationningning2018-09-151-26/+25
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+0
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-9/+12
* Refactor coercion ruleningning2018-07-091-3/+5
* Built-in Natural literals in CoreSylvain Henry2018-06-151-1/+7
* vectorise: Put it out of its miseryBen Gamari2018-06-021-138/+1
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-1/+2
* Fix #14934 by including axSub0R in typeNatCoAxiomRulesRyan Scott2018-03-191-1/+1
* Comments and tiny refactorSimon Peyton Jones2018-03-191-7/+11
* Lift constructor tag allocation out of a loopBartosz Nitka2018-01-101-1/+4
* Refactor coercion holesSimon Peyton Jones2017-12-211-3/+2
* Make use of boot TyThings during typechecking.Edward Z. Yang2017-11-301-20/+45
* Invoke lintUnfolding only on top-level unfoldings (#14430)Joachim Breitner2017-11-081-18/+19
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-4/+22
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-291-1/+1
* Fix hs-boot knot-tying with record wild cards.Edward Z. Yang2017-07-281-1/+8
* Preserve CoVar uniques during pretty printingRichard Eisenberg2017-07-271-0/+1
* Fix binder visiblity for default methodsSimon Peyton Jones2017-07-261-1/+1
* Make IfaceAxiom typechecking lazier.Edward Z. Yang2017-07-201-1/+8
* Comments only [ci skip]Gabor Greif2017-03-091-1/+1
* Read COMPLETE sets from external packagesBen Gamari2017-03-061-12/+2
* Revert "Read COMPLETE sets from external packages"Ben Gamari2017-03-031-2/+12
* Read COMPLETE sets from external packagesRyan Scott2017-03-021-12/+2
* 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-021-18/+32
* Improve pretty-printing of typesSimon Peyton Jones2017-02-281-1/+1
* Subtyping for roles in signatures.Edward Z. Yang2017-02-261-5/+21
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-261-2/+2
* Record full FieldLabel in ifConFields.Edward Z. Yang2017-02-241-18/+6
* Fix a Backpack recompilation avoidance bug when signatures change.Edward Z. Yang2017-02-171-1/+1
* Make interface loading for COMPLETE pragmas lazyMatthew Pickering2017-02-011-2/+3
* Join pointsLuke Maurer2017-02-011-4/+9
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-0/+31
* Rewrite Backpack comments on never-exported TyThings.Edward Z. Yang2017-01-221-21/+29
* Update levity polymorphismRichard Eisenberg2017-01-191-0/+1
* Spelling fixes in comments [ci skip]Gabor Greif2017-01-181-1/+1
* Typos in manual, comments and testsGabor Greif2017-01-121-1/+1
* Improve coment in typecheckIfacesForMerging.Edward Z. Yang2017-01-111-21/+36
* Fix handling of closed type families in Backpack.Edward Z. Yang2017-01-111-29/+57