projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Tell gcc to support back to OS X 10.5
[ghc-hetmet.git]
/
compiler
/
types
/
2010-11-23
Ian Lynagh
Remove references to Haskell 98
tree
|
commitdiff
2010-11-12
simonpj@microsoft.com
A (final) re-engineering of the new typechecker
tree
|
commitdiff
2010-10-19
simonpj@microsoft.com
Clean up the debugger code
tree
|
commitdiff
2010-10-14
dimitris@microsoft.com
Midstream changes for performance improvement related...
tree
|
commitdiff
2010-10-15
simonpj@microsoft.com
Comments and layout
tree
|
commitdiff
2010-10-07
simonpj@microsoft.com
Fix an ASSERT failure in FamInstEnv
tree
|
commitdiff
2010-10-06
dimitris@microsoft.com
Major bugfixing pass through the type checker
tree
|
commitdiff
2010-09-17
simonpj@microsoft.com
Minor type printing amomaly
tree
|
commitdiff
2010-09-16
simonpj@microsoft.com
Fix a very subtle shadowing bug in optCoercion
tree
|
commitdiff
2010-09-16
simonpj@microsoft.com
Fix bad error in tyVarsOfType
tree
|
commitdiff
2010-09-16
simonpj@microsoft.com
More assertions
tree
|
commitdiff
2010-09-15
simonpj@microsoft.com
Remove dead code dealing with type refinement
tree
|
commitdiff
2010-09-15
simonpj@microsoft.com
Use mkAppTy
tree
|
commitdiff
2010-09-15
simonpj@microsoft.com
Improve pretty-printing of family instances
tree
|
commitdiff
2010-09-14
simonpj@microsoft.com
Comment on what an "enumeration" type is
tree
|
commitdiff
2010-09-13
simonpj@microsoft.com
Haddock fixes
tree
|
commitdiff
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
tree
|
commitdiff
2010-09-03
simonpj@microsoft.com
Comments and layout
tree
|
commitdiff
2010-09-02
simonpj@microsoft.com
Assert
tree
|
commitdiff
2010-08-18
simonpj@microsoft.com
Wibble
tree
|
commitdiff
2010-08-18
simonpj@microsoft.com
Pretty printing change
tree
|
commitdiff
2010-08-30
benl@ouroborus.net
Fix warning about multiply exported name
tree
|
commitdiff
2010-08-30
benl@ouroborus.net
Vectorisation of method types
tree
|
commitdiff
2010-08-13
simonpj@microsoft.com
Re-do the arity calculation mechanism again (fix Trac...
tree
|
commitdiff
2010-07-13
simonpj@microsoft.com
Comments on data type families
tree
|
commitdiff
2010-07-07
simonpj@microsoft.com
Fix Trac #4127 (and hence #4173)
tree
|
commitdiff
2010-06-14
simonpj@microsoft.com
Use mkFunTy to ensure that invariants are respected
tree
|
commitdiff
2010-06-04
simonpj@microsoft.com
Don't use unnecessary parens when printing types (Fix...
tree
|
commitdiff
2010-05-25
simonpj@microsoft.com
Refactor (again) the handling of default methods
tree
|
commitdiff
2010-04-17
simonpj@microsoft.com
Comments only (about type families)
tree
|
commitdiff
2010-03-30
David Waern
Add Data and Typeable instances to HsSyn
tree
|
commitdiff
2010-03-04
simonpj@microsoft.com
Make `mkFunTy` associate to the right, as it should
tree
|
commitdiff
2010-03-01
simonpj@microsoft.com
Implement a smart constructor mkUnsafeCoercion, and...
tree
|
commitdiff
2010-01-07
simonpj@microsoft.com
Spelling error in comment
tree
|
commitdiff
2009-12-24
simonpj@microsoft.com
Refactor CoreArity a bit
tree
|
commitdiff
2009-12-22
simonpj@microsoft.com
Move isDictTy from TcType to Type
tree
|
commitdiff
2010-01-04
simonpj@microsoft.com
Substantial improvements to coercion optimisation
tree
|
commitdiff
2009-12-16
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2009-12-16
simonpj@microsoft.com
Two improvements to optCoercion
tree
|
commitdiff
2009-12-16
simonpj@microsoft.com
Fix a long-standing infelicity in the type pretty printer
tree
|
commitdiff
2009-12-16
simonpj@microsoft.com
Deal with warnings in Coercion.lhs
tree
|
commitdiff
2009-12-11
simonpj@microsoft.com
Use full equality for CSE
tree
|
commitdiff
2009-11-24
David Waern
Add a note saying what Haddock relies on about Instance...
tree
|
commitdiff
2009-11-24
Ian Lynagh
Treat () as an enumeration tycon
tree
|
commitdiff
2009-11-19
Roman Leshchinskiy
Fix splitAppTys
tree
|
commitdiff
2009-11-12
simonpj@microsoft.com
A radical overhaul of the coercion infrastucture
tree
|
commitdiff
2009-11-08
tom.schrijvers@cs...
more aggressive optimization of coercion terms
tree
|
commitdiff
2009-11-06
simonpj@microsoft.com
Tidy up coercions, and implement csel1, csel2, cselR
tree
|
commitdiff
2009-10-30
simonpj@microsoft.com
Improve coercion optimisation
tree
|
commitdiff
2009-10-28
tom.schrijvers@cs...
fix and enable coercion optimization
tree
|
commitdiff
2009-10-29
simonpj@microsoft.com
The Big INLINE Patch: totally reorganise way that INLIN...
tree
|
commitdiff
2009-10-28
simonpj@microsoft.com
Trivial improvement to mkForAllTy
tree
|
commitdiff
2009-10-26
simonpj@microsoft.com
Add a coercion optimiser, to reduce the size of coercio...
tree
|
commitdiff
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
next