summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Use transSuperClasses in TcErrorsSimon Peyton Jones2019-03-122-12/+31
* Change the warning in substTy back to an assertionKrzysztof Gogolewski2019-03-112-2/+2
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-092-62/+60
* Fix #13839: GHCi warnings do not respect the default module headerwip/magic-carpet-rideRoland Senn2019-03-081-4/+34
* Use captureTopConstraints in TcRnDriver callsSimon Peyton Jones2019-03-083-10/+28
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-071-19/+49
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-056-335/+554
* Visible dependent quantificationRyan Scott2019-03-017-20/+105
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-275-184/+3
* Expression/command ambiguity resolutionVladislav Zavialov2019-02-231-2/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-2332-383/+274
* Remove bogus assertionSimon Peyton Jones2019-02-231-1/+3
* Remove tcTyConUserTyVarsSimon Peyton Jones2019-02-222-8/+6
* Uphold AvailTC Invariant for associated data famsAlec Theriault2019-02-181-5/+47
* Get rid of tcm_smart from TyCoMapperSimon Peyton Jones2019-02-173-15/+15
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-142-1/+22
* Make a smart mkAppTyMSimon Peyton Jones2019-02-1412-690/+736
* Implement -Wredundant-record-wildcards and -Wunused-record-wildcardsMatthew Pickering2019-02-141-2/+2
* Fix #16188Richard Eisenberg2019-02-121-14/+26
* Fix #16293 by cleaning up Proxy# infelicitiesRyan Scott2019-02-121-1/+2
* Capture and simplify constraints arising from running typed splicesMatthew Pickering2019-02-101-3/+8
* Replace a few uses of snocView with last/lastMaybe.klebinger.andreas@gmx.at2019-02-091-1/+1
* Minor refactor of CUSK handlingSimon Peyton Jones2019-02-081-13/+15
* Comments onlySimon Peyton Jones2019-02-083-6/+11
* API Annotations: AnnAt disconnected for TYPEAPPAlan Zimmerman2019-02-082-16/+17
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-081-334/+37
* Fix #16287 by checking for more unsaturated synonym argumentsRyan Scott2019-02-061-24/+23
* Fix #14579 by defining tyConAppNeedsKindSig, and using itRyan Scott2019-02-051-113/+7
* Add `-fplugin-trustworthy` to avoid marking modules as unsafeZejun Wu2019-02-041-1/+2
* Reject oversaturated VKAs in type family equationsRyan Scott2019-02-012-1/+70
* Use ByteString to represent Cmm string literals (#16198)Sylvain Henry2019-01-312-2/+2
* Some refactoring in tcInferAppsRichard Eisenberg2019-01-271-92/+96
* A few typofixesGabor Greif2019-01-231-1/+1
* Fix typo in TcRnTypes.hs [skip ci]wip/tc-rn-types-typoMatthew Pickering2019-01-211-2/+2
* Mention DerivingStrategies in the warning when DAC and GND are both enabledChaitanya Koparkar2019-01-201-1/+4
* Prepare source-tree for base-4.13 MFP bumpHerbert Valerio Riedel2019-01-182-0/+4
* Small refactorSimon Peyton Jones2019-01-171-8/+6
* Remove export of checkValidFamPats, never usedSimon Peyton Jones2019-01-171-1/+1
* @simonpj's suggested refactorRyan Scott2019-01-151-36/+71
* Control validity-checking of type synonym applications more carefullyRyan Scott2019-01-151-56/+185
* Run typed splices in the zonkerMatthew Pickering2019-01-116-42/+150
* Be pickier about unsaturated synonyms in :kindRyan Scott2019-01-084-11/+62
* Fix #16133 by checking for TypeApplications in rnExprRyan Scott2019-01-061-0/+3
* Add -Wmissing-deriving-strategieschessai2019-01-061-1/+1
* Visible kind applicationmynguyen2019-01-038-203/+356
* rebindable-clash-warning-fix : correct warning logicShayne Fletcher2018-12-281-1/+1
* TcRnDriver: Fix haddock-like commentBen Gamari2018-12-211-6/+6
* Fix treatment of hi-boot files and dfunsSimon Peyton Jones2018-12-212-140/+153
* Tiny refactor to tcExtendRecEnvSimon Peyton Jones2018-12-211-2/+7
* Make candidateQTvs contain tyvar with zonked kindsSimon Peyton Jones2018-12-211-68/+82
View Lorry Controller Status