Refactor the way we infer types for functions in a mutually recursive group
[ghc.git] / compiler / typecheck / TcSimplify.lhs
2012-08-21 Simon Peyton JonesRefactor the way we infer types for functions in a...
2012-08-15 Simon Peyton JonesUse TcMType.growThetaTyVars (which works) rather than...
2012-07-25 Ian LynaghMerge commit 'c859d17f9b0ae8559dac4f7e5cb8521e7ab5f0fb'
2012-07-23 Simon Peyton JonesNumerous small changes to the constraint solver
2012-07-20 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-20 Simon Peyton JonesMerge ../HEAD
2012-07-19 Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-07-19 Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-07-19 Dimitrios VytiniotisCleaning up the extractUnsolved story.
2012-07-19 Dimitrios VytiniotisKeeping Derived constraints in the unsolved
2012-07-16 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-14 Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-07-14 Simon Peyton JonesDo not discard insoluble constraints in simplifyInfer
2012-07-04 Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-21 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-21 Simon Peyton JonesRemove the USAVOURY HACK in simplifyInfer
2012-06-14 Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-13 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-13 Simon Peyton JonesSimplify the implementation of Implicit Parameters
2012-06-08 Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-06-08 Dimitrios.VytiniotisSignificant refactoring of TcSimplify, in particular...
2012-06-08 Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-05-15 Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-05-09 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-05-09 Simon Peyton JonesMerge branch 'ghc-new-flavor'
2012-05-07 Simon Peyton JonesYet another major refactoring of the constraint solver
2012-04-23 Ian LynaghMerge nb:ghc/git/ghc
2012-04-23 Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-20 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-16 Simon Peyton JonesSimplify the typechecking of RULES
2012-04-13 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-10 Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-04-10 Dimitrios.VytiniotisUpdates to the constraint solver to be able to handle...
2012-04-05 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-05 Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-04 Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-04 Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-02 Dimitrios.VytiniotisDeleting more old commented code.
2012-04-02 Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-30 Dimitrios VytiniotisMostly commentary to follow up after discussions with...
2012-03-30 Dimitrios VytiniotisA little tracing.
2012-03-29 Dimitrios VytiniotisStarted investigating how performance is affected and...
2012-03-29 Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-28 Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-28 Dimitrios.VytiniotisMidstream check-in on
2012-03-26 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-24 Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-21 Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20 Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-14 Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-02 Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-02-17 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17 Simon Peyton JonesMore simplification of the sub-kinding story
2012-02-16 Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16 Simon Peyton JonesTidy up the canonicaliser
2012-02-14 Me at workMerge remote-tracking branch 'laptop/newcg' into newcg
2012-02-13 Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-02-12 Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-25 Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-23 Simon Peyton JonesMerge in more HEAD, fix stuff up
2012-01-13 Simon Peyton JonesMainly, rename LiteralTy to LitTy
2012-01-12 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12 Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-07 Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2011-12-30 Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19 Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19 Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-12-19 Iavor S. DiatchkiExtend GHC's type with a representation for type level...
2011-12-05 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-05 Simon Peyton JonesMerge branch 'master' of ../HEAD
2011-12-05 Simon Peyton JonesAllow full constraint solving under a for-all (Trac...
2011-11-29 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29 Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29 Dimitrios VytiniotisReintroducing isReflCo optimization: invariant
2011-11-29 David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28 Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28 Dimitrios VytiniotisSolved goal caching and zonking optimisations.
2011-11-22 Simon Marlowmerge
2011-11-22 Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-21 Jose Pedro MagalhaesRename ? to OpenKind and ?? to ArgKind
2011-11-17 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-17 Dimitrios VytiniotisFix panic (missing keepWanteds) in simplifyApprox
2011-11-17 Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-17 Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-16 Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-16 Dimitrios VytiniotisGHC gets a new constraint solver. More efficient and...
2011-11-11 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11 Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-04 Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04 Ian LynaghUse -fwarn-tabs when validating
2011-09-26 Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-09 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09 Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-06 Max BolingbrokeImplement -XConstraintKind
next