summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcEvidence.lhs
Commit message (Expand)AuthorAgeFilesLines
* Implement full co/contra-variant subsumption checking (fixes Trac #9569)Simon Peyton Jones2014-11-211-10/+32
* `M-x delete-trailing-whitespace` & `M-x untabify`Herbert Valerio Riedel2014-09-241-25/+25
* Export `Monoid(..)`/`Foldable(..)`/`Traversable(..)` from PreludeHerbert Valerio Riedel2014-09-211-0/+2
* Clean up Coercible handling, and interaction of data families with newtypesSimon Peyton Jones2014-09-191-20/+1
* Define mapUnionVarSet, and use itSimon Peyton Jones2014-08-291-4/+4
* s/KnownLit/KnownSymbol/g and a typo fixGabor Greif2014-06-271-3/+3
* Rename TypeRep.Prec to TypeRep.TyPrecSimon Peyton Jones2014-06-031-3/+3
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Comments onlySimon Peyton Jones2014-03-241-1/+1
* Don't export isTcReflCo_maybe (unused)Simon Peyton Jones2014-03-241-1/+1
* Explain why TcAxiomInstCo carries [TcCoercion], and not [TcType]Joachim Breitner2014-01-201-0/+6
* Define mkTcNomReflCo = TcRefl Nominal, and use it all overSimon Peyton Jones2013-12-281-1/+5
* Spelling in commentSimon Peyton Jones2013-12-101-1/+1
* Rejig rejigConRes & friends, doing role checks in a second pass.Richard Eisenberg2013-12-021-1/+0
* Remove dead code orphaned by implementing GND with `coerce`.Richard Eisenberg2013-12-021-15/+1
* Remove whitespace between macro identifiers and `(`Herbert Valerio Riedel2013-11-291-4/+4
* EvCast needs to take a representational coercionJoachim Breitner2013-11-281-2/+2
* Get rid of EvCoercibleJoachim Breitner2013-11-271-40/+20
* Roleify TcCoercionJoachim Breitner2013-11-271-82/+151
* Remove unused liftTcCoSubstWithJoachim Breitner2013-11-271-20/+1
* Typos in comments in TcEvidenceJoachim Breitner2013-11-261-6/+6
* Comments & typos onlyRichard Eisenberg2013-10-231-1/+1
* Update and clean-up the implmenation of GHC.TypeLitsIavor S. Diatchki2013-10-091-23/+40
* Introduce coerce :: Coercible a b -> a -> bcoercibleJoachim Breitner2013-09-131-0/+38
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+32
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-1/+7
* Fix many ASSERT uses under Clang.Austin Seipp2013-06-181-1/+1
* Re-engineer the ambiguity test for user type signaturesSimon Peyton Jones2013-01-081-3/+1
* Make the comments about SingI and EvLit match current realitySimon Peyton Jones2013-01-011-15/+14
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-11/+23
* Comments, and unused importSimon Peyton Jones2012-10-021-4/+5
* Refactor the handling of kind errorsSimon Peyton Jones2012-09-281-23/+1
* Implement 'left' and 'right' coercionsSimon Peyton Jones2012-09-171-3/+11
* Bind "given" evidence to a variable, alwaysSimon Peyton Jones2012-09-151-15/+14
* Fix Trac #7196 by adding a case to the desugarerSimon Peyton Jones2012-08-291-10/+11
* Don't assume that coercion variables have (~) typesSimon Peyton Jones2012-08-231-9/+8
* A bit more debug outputSimon Peyton Jones2012-08-221-1/+1
* Fix missing case in coVarsOfTcCoSimon Peyton Jones2012-08-221-4/+2
* Refactor LHsTyVarBndrs to fix Trac #6081Simon Peyton Jones2012-05-111-1/+2
* Comments onlySimon Peyton Jones2012-05-101-3/+27
* CosmeticsSimon Peyton Jones2012-05-091-1/+1
* Yet another major refactoring of the constraint solverSimon Peyton Jones2012-05-071-26/+42
* Update names to match the implementation in GHC.TypeLits.Iavor S. Diatchki2012-04-081-13/+19
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-131-3/+2
|\
| * Tidy up the canonicaliserSimon Peyton Jones2012-02-161-3/+2
* | Add support for type-level "strings".Iavor S. Diatchki2012-01-241-38/+49
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-241-601/+601
|\ \ | |/
| * Switch TcEvidence to Unix line endingsSimon Peyton Jones2012-01-171-600/+600
* | Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-231-15/+22
|\ \ | |/
| * Implememt -fdefer-type-errors (Trac #5624)Simon Peyton Jones2012-01-121-6/+13
View Lorry Controller Status