summaryrefslogtreecommitdiff
path: root/compiler/backpack
Commit message (Expand)AuthorAgeFilesLines
* Monomorphize HsModule to GhcPs (#17642)Ryan Scott2020-01-072-3/+3
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-063-745/+2
* Add `module {-# SOURCE #-} Foo` syntax for hs-boot in bkpJohn Ericson2019-10-032-9/+6
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Refactor downsweep to allow returning multiple errors per moduleDaniel Gröber2019-05-301-1/+1
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-4/+2
* Fix warnings and fatal parsing errorsVladislav Zavialov2019-02-171-2/+1
* Support generating HIE filesAlec Theriault2018-12-111-2/+6
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-2/+2
* Fix #15594 (--abi-hash with Backpack sometimes fails)Edward Z. Yang2018-11-111-3/+29
* Coercion Quantificationningning2018-09-151-5/+5
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-9/+9
* Refactor coercion ruleningning2018-07-091-2/+7
* vectorise: Put it out of its miseryBen Gamari2018-06-021-1/+0
* Fix implementation of rnIfaceBndrMatthew Pickering2018-04-201-1/+1
* Refactor coercion holesSimon Peyton Jones2017-12-211-0/+1
* Levity polymorphic Backpack.Edward Z. Yang2017-10-161-0/+2
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-1/+3
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-194-0/+8
* Preserve CoVar uniques during pretty printingRichard Eisenberg2017-07-271-0/+1
* Make module membership on ModuleGraph fasterBartosz Nitka2017-07-181-2/+3
* Revert "Make module membership on ModuleGraph faster"Ben Gamari2017-06-271-3/+2
* Make module membership on ModuleGraph fasterBartosz Nitka2017-06-271-2/+3
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-062-4/+3
* Compile modules that are needed by template haskell, even with -fno-code.Douglas Wilson2017-05-201-0/+1
* Print warnings on parser failures (#12610).Dave Laing2017-05-151-1/+1
* Update Cabal submodule, with necessary wibbles.Edward Z. Yang2017-04-261-2/+1
* Typos in comments [ci skip]Gabor Greif2017-03-301-1/+1
* Print out sub-libraries of packages more nicely.Edward Z. Yang2017-03-021-0/+2
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-021-7/+11
* Improve pretty-printing of typesSimon Peyton Jones2017-02-281-2/+2
* Clear import path in --backpack mode to not accidentally pick up source files.Edward Z. Yang2017-02-271-0/+2
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-261-1/+1
* Record full FieldLabel in ifConFields.Edward Z. Yang2017-02-241-9/+4
* Include OverloadedRecordFields selectors in NameShape.Edward Z. Yang2017-02-231-1/+1
* Have --backpack complain if multiple files are passed.Edward Z. Yang2017-02-231-2/+5
* Type-indexed TypeableBen Gamari2017-02-181-0/+3
* Fix #13214 by correctly setting up dep_orphs for signatures.Edward Z. Yang2017-02-111-1/+23
* Ditch static flagsSylvain Henry2017-02-021-5/+6
* Join pointsLuke Maurer2017-02-011-2/+2
* Typos in comments [ci skip]Gabor Greif2017-01-261-1/+1
* Rewrite Backpack comments on never-exported TyThings.Edward Z. Yang2017-01-221-71/+42
* Fix handling of closed type families in Backpack.Edward Z. Yang2017-01-111-2/+2
* Revamp Backpack/hs-boot handling of type class signatures.Edward Z. Yang2017-01-111-7/+10
* Support for using only partial pieces of included signatures.Edward Z. Yang2017-01-114-31/+129
* Support for abi-depends for computing shadowing.Edward Z. Yang2016-12-211-0/+1
* Improve pretty-printing of typesSimon Peyton Jones2016-11-251-1/+2
* API Annotations: make all ModuleName LocatedAlan Zimmerman2016-11-032-4/+8
* Zap redundant importsGabor Greif2016-10-301-2/+0
* Refactoring: Delete copied function in backpack/NameShapeMatthew Pickering2016-10-221-25/+2