projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix haddock submodule pointer
[ghc-hetmet.git]
/
compiler
/
types
/ FamInstEnv.lhs
2011-05-20
Simon Peyton Jones
Simon's fixes to the generated type instances in Generics
commit
|
commitdiff
2011-04-19
Simon Peyton Jones
This BIG PATCH contains most of the work for the New...
commit
|
commitdiff
2011-01-12
simonpj@microsoft.com
Major refactoring of the type inference engine
commit
|
commitdiff
2010-10-07
simonpj@microsoft.com
Fix an ASSERT failure in FamInstEnv
commit
|
commitdiff
2010-09-15
simonpj@microsoft.com
Use mkAppTy
commit
|
commitdiff
2010-09-15
simonpj@microsoft.com
Improve pretty-printing of family instances
commit
|
commitdiff
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
commit
|
commitdiff
2009-08-18
Manuel M T Chakravarty
FIX #3405
commit
|
commitdiff
2009-07-07
Ian Lynagh
Remove unused imports
commit
|
commitdiff
2009-07-07
Manuel M T Chakravarty
FIX #2677
commit
|
commitdiff
2009-01-15
simonpj@microsoft.com
Robustify lookupFamInstEnv, plus some refactoring
commit
|
commitdiff
2009-01-14
simonpj@microsoft.com
Robustify lookupFamInstEnv
commit
|
commitdiff
2008-09-05
simonpj@microsoft.com
Minor refactoring to share InstEnv.instanceBindFun
commit
|
commitdiff
2008-08-04
simonpj@microsoft.com
Fix the bug part of Trac #1930
commit
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in FamInstEnv
commit
|
commitdiff
2008-04-07
Manuel M T Chakravarty
Remove GADT refinements, part 5
commit
|
commitdiff
2008-03-29
Ian Lynagh
Don't import FastString in HsVersions.h
commit
|
commitdiff
2008-03-15
Ian Lynagh
Remove leftover NoteTy/FTVNote bits
commit
|
commitdiff
2008-01-26
Twan van Laarhoven
Fixed warnings in types/FamInstEnv
commit
|
commitdiff
2008-01-07
simonpj@microsoft.com
Make the treatment of equalities more uniform
commit
|
commitdiff
2007-12-21
simonpj@microsoft.com
Improve handling of newtypes (fixes Trac 1495)
commit
|
commitdiff
2007-09-10
Simon Marlow
FIX #903: mkWWcpr: not a product
commit
|
commitdiff
2007-09-04
Ian Lynagh
Fix CodingStyle#Warnings URLs
commit
|
commitdiff
2007-09-03
Ian Lynagh
Use OPTIONS rather than OPTIONS_GHC for pragmas
commit
|
commitdiff
2007-09-01
Ian Lynagh
Add {-# OPTIONS_GHC -w #-} and some blurb to all compil...
commit
|
commitdiff
2007-06-29
Manuel M T Chakravarty
Overlap check for type families
commit
|
commitdiff
2007-06-25
simonpj@microsoft.com
Print infix type constructors in an infix way
commit
|
commitdiff
2007-05-23
simonpj@microsoft.com
Improve the interaction of 'seq' and associated data...
commit
|
commitdiff
2007-05-11
Tom Schrijvers
type family normalisation
commit
|
commitdiff
2007-05-14
Manuel M T Chakravarty
Revised signature of tcLookupFamInst and lookupFamInstEnv
commit
|
commitdiff
2007-05-11
Simon Marlow
Store a SrcSpan instead of a SrcLoc inside a Name
commit
|
commitdiff
2007-04-25
Manuel M T Chakravarty
Generating synonym instance representation tycons
commit
|
commitdiff
2007-01-11
simonpj@microsoft.com
Add the function TypeRep.pprTypeApp, and use it
commit
|
commitdiff
2007-01-04
Manuel M T Chakravarty
Fix and improve deriving for indexed data types
commit
|
commitdiff
2007-01-03
simonpj@microsoft.com
Add a type synonym for FamInstEnvs
commit
|
commitdiff
2007-01-02
simonpj@microsoft.com
Big tidy-up of deriving code
commit
|
commitdiff
2006-12-18
Manuel M T Chakravarty
Deriving for indexed data types
commit
|
commitdiff
2006-10-12
Manuel M T Chakravarty
Overlap check for family instances def'd in current...
commit
|
commitdiff
2006-10-11
Simon Marlow
More import tidying and fixing the stage 2 build
commit
|
commitdiff
2006-10-10
Manuel M T Chakravarty
Rough matches for family instances
commit
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Adding FamInstEnv & FamInst modules
commit
|
commitdiff