summaryrefslogtreecommitdiff
path: root/compiler/types/Type.lhs
Commit message (Expand)AuthorAgeFilesLines
* Comments onlyGabor Greif2014-06-271-1/+1
* More allDistinctTyVars from TcDeriv to TypeSimon Peyton Jones2014-06-271-2/+11
* Tidy up the printing of single-predicate contextsSimon Peyton Jones2014-06-201-8/+2
* Fix #9062.Richard Eisenberg2014-06-111-1/+1
* Typos in commentsGabor Greif2014-05-231-1/+1
* More debug info for failures in typeKind and kindFunResultSimon Peyton Jones2014-05-231-20/+25
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+1
* Modularise pretty-printing for forallsSimon Peyton Jones2014-05-061-1/+1
* Comments onlySimon Peyton Jones2014-03-171-4/+4
* Fix a popular typo in commentsGabor Greif2014-02-011-1/+1
* Get rid of EvCoercibleJoachim Breitner2013-11-271-2/+9
* Roleify TcCoercionJoachim Breitner2013-11-271-6/+19
* Replace (State# RealWorld) with Void# where we just want a 0-bit valueSimon Peyton Jones2013-11-221-3/+9
* Fix type-equality in the type checker (fixes Trac #8553)Simon Peyton Jones2013-11-221-0/+3
* Coercible: Do not try to unwrap undersaturated newtypesJoachim Breitner2013-11-201-1/+2
* TyposKrzysztof Gogolewski2013-10-121-1/+1
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Kill Type.isKindTy in favour of Kind.isKind (same code)Simon Peyton Jones2013-09-201-4/+1
* Expose tcTyConsOfType as Types.tyConsOfTypeJoachim Breitner2013-09-131-0/+22
* resurrected -fdicts-strict, off by defaultNicolas Frisby2013-09-081-18/+2
* Make Specialise close over kind variables (fixes Trac #8196)Simon Peyton Jones2013-09-021-9/+1
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-1/+8
* Actually make the change described in 'Fix egregious typo in cmpTypeX'Simon Peyton Jones2013-06-111-8/+6
* Fix egregious typo in cmpTypeXSimon Peyton Jones2013-06-101-4/+24
* Add TyCon.checkRecTc, and use in in typeAritySimon Peyton Jones2013-06-061-32/+3
* Use new TcHsType.zonkSigType to establish Type invariantsSimon Peyton Jones2013-05-301-6/+1
* Make isPredTy not use typeKindSimon Peyton Jones2013-05-031-3/+19
* Whitespace only in TypeIan Lynagh2013-04-061-303/+297
* Look through type synonyms when deciding if something is a type literal.Iavor S. Diatchki2013-02-151-0/+4
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-301-0/+10
|\
| * Pure refactoringSimon Peyton Jones2013-01-281-0/+10
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-2/+2
|\ \ | |/
| * Use kind 'Symbol' consistently, rather than kind 'String'Simon Peyton Jones2013-01-251-2/+2
* | Introduce CPR for sum types (Trac #5075)Simon Peyton Jones2013-01-241-18/+8
|/
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-0/+9
* Add some ASSERTs to calls of zipTopTvSubstSimon Peyton Jones2012-12-191-3/+3
* Move the kind Nat and Symbol out of TysPrim and into TysWiredInSimon Peyton Jones2012-12-191-1/+1
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-12-041-0/+2
|\
| * Added GHC formalism to the GHC source tree.Richard Eisenberg2012-12-011-0/+2
* | Remove dead code predTreePredTypeSimon Peyton Jones2012-12-011-8/+2
|/
* Make Constraint and * look identical in Core (System FC)Simon Peyton Jones2012-11-261-3/+15
* Compare the kinds of type variables when comparing typesSimon Peyton Jones2012-10-021-2/+14
* Add type "holes", enabled by -XTypeHoles, Trac #5910Simon Peyton Jones2012-09-171-5/+13
* Merge remote-tracking branch 'origin/master' into tc-untouchablesSimon Peyton Jones2012-09-171-8/+8
|\
| * Fix Trac #7237; mixup with empty tuplesSimon Peyton Jones2012-09-151-8/+8
* | Minor fixes, mostly simplificaitonsSimon Peyton Jones2012-08-291-1/+1
|/
* Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2012-07-201-0/+1
|\
| * Move -fno-warn-orphan flag into individual modulesIan Lynagh2012-07-151-0/+1
* | Make seqType etc take accouunt of kinds that are now non-trivialSimon Peyton Jones2012-07-201-1/+1
|/
* Simplify the implementation of Implicit ParametersSimon Peyton Jones2012-06-131-27/+15
View Lorry Controller Status