projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Make a mingw tree from mingw tarballs
[ghc-hetmet.git]
/
compiler
/
types
/
2009-10-15
simonpj@microsoft.com
Fix Trac #959: a long-standing bug in instantiating...
tree
|
commitdiff
2009-10-08
simonpj@microsoft.com
Make tyConSingleDataCon_maybe more forgiving
tree
|
commitdiff
2009-10-02
simonpj@microsoft.com
Fix pretty-printing precedence for equality constraints
tree
|
commitdiff
2009-08-18
Manuel M T Chakravarty
FIX #3405
tree
|
commitdiff
2009-08-13
simonpj@microsoft.com
Fix Trac #3409: type synonyms that discard their arguments
tree
|
commitdiff
2009-07-23
simonpj@microsoft.com
Add tuple sections as a new feature
tree
|
commitdiff
2009-07-07
Ian Lynagh
Remove unused imports
tree
|
commitdiff
2009-07-06
simonpj@microsoft.com
Trim unused imports detected by new unused-import code
tree
|
commitdiff
2009-07-07
Manuel M T Chakravarty
FIX #2677
tree
|
commitdiff
2009-06-22
Simon Marlow
fix comment
tree
|
commitdiff
2009-05-12
simonpj@microsoft.com
Improve error messages for type functions
tree
|
commitdiff
2009-03-30
simonpj@microsoft.com
Fix an nasty black hole, concerning computation of...
tree
|
commitdiff
2009-03-16
simonpj@microsoft.com
Layout only
tree
|
commitdiff
2009-03-15
Manuel M T Chakravarty
Ensure the orientation of var-var equalities is correct...
tree
|
commitdiff
2009-03-05
simonpj@microsoft.com
Finally fix Trac #3066
tree
|
commitdiff
2009-02-11
simonpj@microsoft.com
Fix Trac #3017: ensure that we quantify over enough...
tree
|
commitdiff
2009-01-15
simonpj@microsoft.com
Robustify lookupFamInstEnv, plus some refactoring
tree
|
commitdiff
2009-01-14
simonpj@microsoft.com
Robustify lookupFamInstEnv
tree
|
commitdiff
2009-02-02
simonpj@microsoft.com
Improve error reporting for precedence errors
tree
|
commitdiff
2009-01-13
simonpj@microsoft.com
Rename isIdentityCoercion to isIdentityCoI; add Coercio...
tree
|
commitdiff
2009-01-02
simonpj@microsoft.com
Make record selectors into ordinary functions
tree
|
commitdiff
2008-12-31
simonpj@microsoft.com
White space and spelling in comments
tree
|
commitdiff
2008-12-30
simonpj@microsoft.com
Avoid nasty name clash with associated data types ...
tree
|
commitdiff
2008-12-01
simonpj@microsoft.com
Better error message for fundep conflict
tree
|
commitdiff
2008-11-26
simonpj@microsoft.com
Fix Trac #2766: printing operator type variables
tree
|
commitdiff
2008-10-29
simonpj@microsoft.com
Add Outputable instance for CoercionI
tree
|
commitdiff
2008-09-23
simonpj@microsoft.com
Improve crash message from applyTys and applyTypeToArgs
tree
|
commitdiff
2008-09-20
simonpj@microsoft.com
Comments only: replace ":=:" by "~" (notation for equal...
tree
|
commitdiff
2008-10-09
Manuel M T Chakravarty
Cover PredTy case in Type.tyFamInsts
tree
|
commitdiff
2008-10-03
simonpj@microsoft.com
Add ASSERTs to all calls of nameModule
tree
|
commitdiff
2008-10-02
Manuel M T Chakravarty
Clean up some comments
tree
|
commitdiff
2008-09-15
simonpj@microsoft.com
Minor refactoring to get rid of Type.splitNewTyConApp
tree
|
commitdiff
2008-09-07
Manuel M T Chakravarty
Type families: new algorithm to solve equalities
tree
|
commitdiff
2008-09-05
simonpj@microsoft.com
Minor refactoring to share InstEnv.instanceBindFun
tree
|
commitdiff
2008-09-05
simonpj@microsoft.com
Remove unused constructors AvoidMe, WildCard
tree
|
commitdiff
2008-09-05
simonpj@microsoft.com
Better debug panic messages in applyTys
tree
|
commitdiff
2008-08-11
simonpj@microsoft.com
Fix Trac #2367: selectors for GADTs
tree
|
commitdiff
2008-08-07
Ian Lynagh
Fix errors with haddock 0.8
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Document TypeRep and follow OccName change
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Document Type
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Document TyCon
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Document Coercion
tree
|
commitdiff
2008-08-04
simonpj@microsoft.com
Fix the bug part of Trac #1930
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Rename maybeTyConSingleCon to tyConSingleDataCon_maybe
tree
|
commitdiff
2008-07-08
Ian Lynagh
Remove all .hi-boot-6 files
tree
|
commitdiff
2008-07-03
Ian Lynagh
Fix trac #2307: conflicting functional dependencies
tree
|
commitdiff
2008-07-01
simonpj@microsoft.com
Fix Trac #2307: need to nub bad fundep reports
tree
|
commitdiff
2008-05-28
Simon Marlow
Use MD5 checksums for recompilation checking (fixes...
tree
|
commitdiff
2008-04-22
Ian Lynagh
Change the last few (F)SLIT's into (f)sLit's
tree
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in Generics
tree
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in FunDeps
tree
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in FamInstEnv
tree
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in InstEnv
tree
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in Coercion
tree
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in Type
tree
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in TypeRep
tree
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in Class
tree
|
commitdiff
2008-04-22
simonpj@microsoft.com
Refactor the TyVarTy case of 'match'. No change in...
tree
|
commitdiff
2008-04-22
simonpj@microsoft.com
Add Note [Generating the in-scope set for a substitution]
tree
|
commitdiff
2008-04-21
pepe
Fix #2044 (:printing impredicatively typed things)
tree
|
commitdiff
2008-04-07
Manuel M T Chakravarty
Remove GADT refinements, part 5
tree
|
commitdiff
2008-03-29
Ian Lynagh
Don't import FastString in HsVersions.h
tree
|
commitdiff
2008-03-29
Ian Lynagh
Remove more #ifdef DEBUGs
tree
|
commitdiff
2008-03-25
Tim Chevalier
Change syntax for newtypes in External Core
tree
|
commitdiff
2008-03-15
Ian Lynagh
Remove leftover NoteTy/FTVNote bits
tree
|
commitdiff
2008-03-15
Ian Lynagh
Remove uses of addFreeTyVars
tree
|
commitdiff
2008-02-29
Manuel M T Chakravarty
Remove GADT refinements, part 3
tree
|
commitdiff
2008-02-03
Twan van Laarhoven
Fixed warnings in types/Unify
tree
|
commitdiff
2008-02-06
Roman Leshchinskiy
Teach cheapEqExpr about casts
tree
|
commitdiff
2008-02-04
Simon Marlow
Support for using libffi to implement FFI calls in...
tree
|
commitdiff
2008-02-02
Ian Lynagh
Whitespace only
tree
|
commitdiff
2008-01-28
simonpj@microsoft.com
Fix typo where I forgot the new substitution
tree
|
commitdiff
2008-01-26
Twan van Laarhoven
Fixed warnings in types/InstEnv
tree
|
commitdiff
2008-01-26
Twan van Laarhoven
Fixed warnings in types/FamInstEnv
tree
|
commitdiff
2008-01-26
Twan van Laarhoven
Fixed warnings in types/Generics
tree
|
commitdiff
2008-01-26
Twan van Laarhoven
Fixed warnings in types/TyCon
tree
|
commitdiff
2008-01-26
Twan van Laarhoven
Fixed warnings in types/Type, except for incomplete...
tree
|
commitdiff
2008-01-26
Twan van Laarhoven
Fixed warnings in types/TypeRep
tree
|
commitdiff
2008-01-26
Twan van Laarhoven
Fixed warnings in types/FunDeps
tree
|
commitdiff
2008-01-26
Twan van Laarhoven
Fixed warnings in types/Coercion, except for incomplete...
tree
|
commitdiff
2008-01-25
Twan van Laarhoven
Fixed warnings in types/Class
tree
|
commitdiff
2008-01-16
simonpj@microsoft.com
The Core type-matcher should look through PredTypes
tree
|
commitdiff
2008-01-07
simonpj@microsoft.com
Make the treatment of equalities more uniform
tree
|
commitdiff
2007-12-21
simonpj@microsoft.com
Improve handling of newtypes (fixes Trac 1495)
tree
|
commitdiff
2007-11-13
Pepe Iborra
Fix Trac 1865: GHCi debugger crashes with :print
tree
|
commitdiff
2007-11-05
simonpj@microsoft.com
Comment warning about transparent newtypes
tree
|
commitdiff
2007-10-16
simonpj@microsoft.com
Eliminate over-zealous warning in CoreToStg
tree
|
commitdiff
2007-10-03
Manuel M T Chakravarty
TcTyFuns.eqInstToRewrite
tree
|
commitdiff
2007-09-29
simonpj@microsoft.com
Fix Trac #1746: make rule-matching work properly with...
tree
|
commitdiff
2007-09-29
simonpj@microsoft.com
Small comment only
tree
|
commitdiff
2007-10-02
Manuel M T Chakravarty
FIX: mkWWcpr takes open alg types into account
tree
|
commitdiff
2007-09-29
Manuel M T Chakravarty
Some more traceTcs
tree
|
commitdiff
2007-09-19
Manuel M T Chakravarty
FIX #1713: watch out for type families in splitAppTy...
tree
|
commitdiff
2007-09-15
Manuel M T Chakravarty
Overhaul of the rewrite rules
tree
|
commitdiff
2007-09-11
simonpj@microsoft.com
Minor refactoring: give an explicit name to the pretty...
tree
|
commitdiff
2007-09-10
Simon Marlow
FIX #903: mkWWcpr: not a product
tree
|
commitdiff
2007-09-10
Manuel M T Chakravarty
Cleaned up version of Tom's unflattened skolemOccurs
tree
|
commitdiff
2007-09-07
Manuel M T Chakravarty
Improved error messages for higher-rank equality contexts
tree
|
commitdiff
2007-09-07
simonpj@microsoft.com
Tiny optimisation/simplification to FunDeps.grow
tree
|
commitdiff
2007-09-05
simonpj@microsoft.com
Refactor, improve, and document the deriving mechanism
tree
|
commitdiff
next