summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Refactor iface file generation:Ömer Sinan Ağacan2019-09-301-4/+4
* PmCheck: No ConLike instantiation in pmcheckSebastian Graf2019-09-282-302/+211
* PmCheck: Look at precendence to give type signatures to some wildcardsSebastian Graf2019-09-271-16/+35
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-1/+10
* PmCheck: Only ever check constantly many models against a single patternSebastian Graf2019-09-254-246/+182
* Some leftovers from !1732. Comments only [skip ci]Sebastian Graf2019-09-242-3/+4
* Get rid of PmFakewip/pmcheck-nofakeSebastian Graf2019-09-211-229/+48
* PredType for type constraints in the pattern match checker instead of EvVarSebastian Graf2019-09-213-96/+115
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-2/+1
* Fix PmOracle.addVarCoreCt in-scope setSimon Peyton Jones2019-09-201-3/+9
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-2018-34/+34
* Extract PmTypes module from PmExpr and PmOracleSebastian Graf2019-09-196-267/+261
* Encode shape information in `PmOracle`Sebastian Graf2019-09-1611-2400/+2964
* Fix #17112Sebastian Graf2019-08-281-27/+20
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-194-5/+4
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-0914-122/+122
* Fix #15843 by extending Template Haskell AST for tuples to support sectionsnineonine2019-07-021-8/+16
* Move 'Platform' to ghc-bootJohn Ericson2019-06-191-1/+1
* Fix typo in error messageAiken Cairncross2019-06-151-1/+1
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-5/+9
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-121-3/+2
* Small refactorings in ExtractDocsSimon Jakobi2019-06-091-34/+31
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-075-542/+560
* Inline `Settings` into `DynFlags`John Ericson2019-05-291-1/+1
* Fix missing unboxed tuple RuntimeReps (#16565)Krzysztof Gogolewski2019-05-291-2/+8
* Some forall-related cleanup in deriving codeRyan Scott2019-05-231-3/+14
* fix Template Haskell cross compilation on 64 bit compiler with 32 bit targetLuite Stegeman2019-05-221-1/+4
* Use HsTyPats in associated type family defaultsRyan Scott2019-05-221-30/+3
* Remove all target-specific portions of Config.hsJohn Ericson2019-05-141-2/+1
* Pattern/expression ambiguity resolutionVladislav Zavialov2019-05-031-4/+0
* Stop misusing EWildPat in pattern match coverage checkingVladislav Zavialov2019-04-221-27/+22
* Make `singleConstructor` cope with pattern synonymsSebastian Graf2019-04-081-53/+92
* Fix Uncovered set of literal patternsSebastian Graf2019-04-032-5/+14
* Fix a few broken Trac links [skip ci]Chaitanya Koparkar2019-03-271-1/+1
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-252-3/+3
* Check.hs: Fix a few typosSimon Jakobi2019-03-201-5/+5
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1511-30/+30
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-11/+4
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-2/+2
* Visible dependent quantificationRyan Scott2019-03-011-5/+12
* Expression/command ambiguity resolutionVladislav Zavialov2019-02-231-2/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-234-9/+9
* API Annotations: AnnAt disconnected for TYPEAPPAlan Zimmerman2019-02-081-3/+3
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-081-2/+6
* Use ByteString to represent Cmm string literals (#16198)Sylvain Henry2019-01-312-3/+4
* Fix typo in DsExprwip/ds-expr-typoMatthew Pickering2019-01-181-1/+1
* Refactor GHCi UI to fix #11606, #12091, #15721, #16096Ömer Sinan Ağacan2019-01-131-15/+4
* Run typed splices in the zonkerMatthew Pickering2019-01-111-0/+1
* Visible kind applicationmynguyen2019-01-031-29/+79
* Stomp a few typos and grammarosGabor Greif2018-12-171-1/+1
View Lorry Controller Status