projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Haddock fix in the vectoriser
[ghc-hetmet.git]
/
compiler
/
types
/
2011-05-26
Jose Pedro Magalhaes
Merge branch 'ghc-generics'
tree
|
commitdiff
2011-05-26
Simon Peyton Jones
Merge branch 'master' of darcs.haskell.org/ghc
tree
|
commitdiff
2011-05-26
Simon Peyton Jones
Treat the (~) type constructor a bit specially
tree
|
commitdiff
2011-05-25
Jose Pedro Magalhaes
Better output for -ddump-deriv when using generics.
tree
|
commitdiff
2011-05-23
Jose Pedro Magalhaes
Remove comment.
tree
|
commitdiff
2011-05-20
Simon Peyton Jones
Simon's fixes to the generated type instances in Generics
tree
|
commitdiff
2011-05-12
Jose Pedro Magalhaes
Fix some small things broken with the last merge.
tree
|
commitdiff
2011-05-12
Jose Pedro Magalhaes
Merge branch 'master' of darcs.haskell.org/ghc into...
tree
|
commitdiff
2011-05-12
Simon Peyton Jones
The final batch of changes for the new coercion represe...
tree
|
commitdiff
2011-05-09
Jose Pedro Magalhaes
Make the errors for DeriveGeneric consistent with other...
tree
|
commitdiff
2011-05-09
Jose Pedro Magalhaes
Improve the error message when we cannot derive Generic.
tree
|
commitdiff
2011-05-09
Jose Pedro Magalhaes
Rename `Representable0` to `Generic`.
tree
|
commitdiff
2011-05-06
Simon Peyton Jones
Remove special case for EqPred in CoreView
tree
|
commitdiff
2011-05-04
Simon Peyton Jones
Be cleverer in dataConCannotMatch, fixes Trac #5168
tree
|
commitdiff
2011-05-04
Simon Peyton Jones
Merge commit
tree
|
commitdiff
2011-05-04
Jose Pedro Magalhaes
Add a new flag XDefaultSignatures to enable just the...
tree
|
commitdiff
2011-05-03
Jose Pedro Magalhaes
Use NoSelector when a constructor does not have fields.
tree
|
commitdiff
2011-05-02
Jose Pedro Magalhaes
Remove the hasGenerics field of TyCon, improve the...
tree
|
commitdiff
2011-05-02
Simon Peyton Jones
Merge in changes from HEAD
tree
|
commitdiff
2011-05-02
Simon Peyton Jones
A few more wibbles on ghc-new-co
tree
|
commitdiff
2011-04-30
Simon Peyton Jones
Merge remote branch 'origin/master' into ghc-new-co
tree
|
commitdiff
2011-04-29
Jose Pedro Magalhaes
Remove some debug info left lying around.
tree
|
commitdiff
2011-04-29
Jose Pedro Magalhaes
Generate Par0 when appropriate.
tree
|
commitdiff
2011-04-28
Jose Pedro Magalhaes
Remove a lot of stuff from the old generic mechanism.
tree
|
commitdiff
2011-04-20
Simon Peyton Jones
Comment changes to satisfy Haddock
tree
|
commitdiff
2011-04-20
Simon Peyton Jones
Merge remote branch 'origin/master' into ghc-generics
tree
|
commitdiff
2011-04-20
Simon Peyton Jones
Pretty-print type variables that are operators correctly
tree
|
commitdiff
2011-04-19
Simon Peyton Jones
This BIG PATCH contains most of the work for the New...
tree
|
commitdiff
2011-04-14
unknown
Small fixes to the generics branch to get rid of warnings,
tree
|
commitdiff
2011-04-12
simonpj
Initial commit for Pedro's new generic default methods
tree
|
commitdiff
2011-03-31
simonpj@microsoft.com
Add a new static flag -fno-opt-coercion
tree
|
commitdiff
2011-03-31
simonpj@microsoft.com
New statistics flags -ddump-core-stats
tree
|
commitdiff
2011-03-02
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2011-02-17
simonpj@microsoft.com
Use "on the spot" solving for fundeps
tree
|
commitdiff
2011-01-19
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2011-01-12
simonpj@microsoft.com
Major refactoring of the type inference engine
tree
|
commitdiff
2010-12-22
simonpj@microsoft.com
Make mkDFunUnfolding more robust
tree
|
commitdiff
2010-12-15
simonpj@microsoft.com
Tighten up what it means to be an "enumeration data...
tree
|
commitdiff
2010-12-14
simonpj@microsoft.com
Instance declaration overlap allowed if *either* has...
tree
|
commitdiff
2010-12-14
simonpj@microsoft.com
Wibble to InstEnv.instanceHead
tree
|
commitdiff
2010-12-13
simonpj@microsoft.com
Fix recursive superclasses (again). Fixes Trac #4809.
tree
|
commitdiff
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
next