summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcHsType.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-1673/+0
* Implement Partial Type SignaturesThomas Winant2014-11-281-11/+26
* Implement full co/contra-variant subsumption checking (fixes Trac #9569)Simon Peyton Jones2014-11-211-22/+19
* Typechecker debug tracing onlySimon Peyton Jones2014-11-041-3/+6
* De-tabify and remove trailing whitespaceSimon Peyton Jones2014-09-261-255/+249
* PostTcType replaced with TypeAnnotAlan Zimmerman2014-09-061-4/+4
* Remove NonParametricKinds (#9200)Richard Eisenberg2014-08-121-215/+14
* Change treatment of CUSKs for synonyms and families (#9200).Richard Eisenberg2014-08-121-4/+23
* Change definition of CUSK for data and class definitions (#9200).Richard Eisenberg2014-08-121-5/+14
* Define PrelNames.allNameStrings and use it in TcHsTypeSimon Peyton Jones2014-07-151-5/+2
* Add a clarifying comment about scoping of type variables in associated type d...Simon Peyton Jones2014-07-141-0/+5
* Add fake entries into the global kind environment for pattern synonyms.Dr. ERDI Gergo2014-06-211-1/+0
* Reject forall types in constraints in signaturesSimon Peyton Jones2014-06-201-3/+7
* Simplify variable naming in tcDataKindSigSimon Peyton Jones2014-06-111-22/+24
* Fix yet another bug in 'deriving' for polykinded classes (Trac #7269)Simon Peyton Jones2014-05-261-14/+18
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+2
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-1/+2
* Further refactoring to the tuple-typechecking patchSimon Peyton Jones2013-11-121-37/+36
* Improve typechecking of tuples (Trac #8514)Simon Peyton Jones2013-11-121-22/+23
* Tidy up the error messages we get from TH in stage1 (Trac #8312)Simon Peyton Jones2013-11-061-21/+5
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* TyposKrzysztof Gogolewski2013-09-201-1/+1
* Nuke tc-trace that makes the typechecker loopSimon Peyton Jones2013-09-201-1/+0
* Change role annotation syntax.Richard Eisenberg2013-09-171-47/+39
* Give language pragma suggestions without -XJoachim Breitner2013-09-141-2/+2
* Added support for writing and checking closed type families is hs-boot files.Richard Eisenberg2013-08-051-3/+4
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-56/+49
* Fix Trac #7939, and add kind inference to closed type families.Richard Eisenberg2013-06-281-14/+210
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-1/+1
* Use new TcHsType.zonkSigType to establish Type invariantsSimon Peyton Jones2013-05-301-15/+80
* Simplify kind generalisation, and fix Trac #7916Simon Peyton Jones2013-05-211-17/+5
* Comments onlySimon Peyton Jones2013-05-151-0/+3
* Fix kind quantification (again)Simon Peyton Jones2013-05-031-15/+22
* Fix comment to placate HaddockSimon Peyton Jones2013-04-301-1/+1
* Tighten up on the kind checking for forallsSimon Peyton Jones2013-04-301-7/+24
* Display operators using parentheses/backticks in error messages (#7848)Krzysztof Gogolewski2013-04-211-1/+1
* Add OverloadedLists, allowing list syntax to be overloadedSimon Peyton Jones2013-02-141-1/+1
* typosGabor Greif2013-01-301-1/+1
* When quantifying associated types, we may have TyVars involved, not just TcTy...Simon Peyton Jones2013-01-291-4/+4
* Use kind 'Symbol' consistently, rather than kind 'String'Simon Peyton Jones2013-01-251-2/+2
* Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-5/+6
* Re-engineer the ambiguity test for user type signaturesSimon Peyton Jones2013-01-081-0/+1
* Move the kind Nat and Symbol out of TysPrim and into TysWiredInSimon Peyton Jones2012-12-191-6/+9
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-11-261-1/+4
|\
| * Reject promoted constructors when -XDataKinds is not enabled (FIX #7433)Jose Pedro Magalhaes2012-11-211-1/+4
* | Improve kind inference for tuple typesSimon Peyton Jones2012-11-261-9/+21
|/
* Do not instantiate unification variables with polytypesSimon Peyton Jones2012-10-311-5/+10
* Simplify and clean up kind-checking of type/class declarationsSimon Peyton Jones2012-10-191-19/+20
* An accidentally-omitted part of commit 8019bc2c, about promoting data constru...Simon Peyton Jones2012-10-191-8/+6
* Improve error reporting for kind errorsSimon Peyton Jones2012-10-191-28/+40
View Lorry Controller Status