Export typeNat{Div;Mod;Log}TyCon from TcTypeNats
[ghc.git] / compiler / typecheck / TcTypeNats.hs
2018-01-12  Christiaan BaaijExport typeNat{Div;Mod;Log}TyCon from TcTypeNats
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-03  Iavor DiatchkiImplement Div, Mod, and Log for type-level nats.
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-03-04  Ryan ScottReexport CmpNat and friends (defined in GHC.TypeNats...
2017-01-20  Oleg GrenrusAdd 'type family (m :: Symbol) <> (n :: Symbol)'
2016-11-25  Simon Peyton JonesRefactor functional dependencies a bit
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-09-03  Jan StolarekInjective type families
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2014-11-20  Jan StolarekSplit SynTyCon to SynonymTyCon and FamilyTyCon
2014-11-20  Adam GundryImplement typechecker plugins
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-03-19  Iavor S. DiatchkiImplement ordering comparisons for type-level naturals...
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-11-22  Simon Peyton JonesFix type-equality in the type checker (fixes Trac ...
2013-11-14  Iavor S. DiatchkiChange the representation and move TcBuiltInSynFamily.
2013-11-13  Iavor S. DiatchkiMake type-level evaluation work with :kind!
2013-10-18  Richard EisenbergMerge branch 'master' of git://git.haskell.org/ghc
2013-10-16  Iavor S. DiatchkiImprove documentation (Related to #8447)
2013-10-15  Iavor S. DiatchkiWeaken the improvement for subtraction.
2013-09-24  Iavor S. DiatchkiAdd a type-function for subtraction.
2013-09-16  Gabor GreifComment typo only
2013-09-13  Iavor S. DiatchkiAdd support for evaluation of type-level natural numbers.
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
2011-06-12  Iavor S. DiatchkiMerge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db...
2011-02-21  Iavor S. DiatchkiA small fix and a note.
2011-02-20  Iavor S. DiatchkiSome rather inefficient support for distributivity.
2011-02-19  Iavor S. DiatchkiMerge remote branch 'origin/master' into type-nats
2011-02-06  Iavor S. DiatchkiCancelation and associativity.
2011-02-06  Iavor S. DiatchkiYet another variation on associativity.
2011-02-05  Iavor S. DiatchkiRefactor a bit and report errors due to impossible...
2011-02-03  Iavor S. DiatchkiAn idea about dealing with associative operators.
2011-01-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-30  Iavor S. DiatchkiImprove reasoning about ordering to support transitivit...
2011-01-27  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-17  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-16  Iavor S. DiatchkiAdd some operations on type-level naturals.