Wibbles to yesterday's "Simplify kind generalisation" patch
[ghc.git] / compiler / typecheck / TcSimplify.lhs
2013-05-22  Simon Peyton JonesWibbles to yesterday's "Simplify kind generalisation...
2013-05-21  Simon Peyton JonesSimplify kind generalisation, and fix Trac #7916
2013-04-25  Gabor GreifFixed moer tyops
2013-04-22  Simon Peyton JonesComments only
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-04-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-04-16  Simon Peyton JonesComments and debug output only
2013-04-03  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-04-03  Simon Peyton JonesFix Trac #7804, about floating equalites
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  Simon Peyton JonesComments only
2013-02-14  shelarcyFix comment to use correct option name
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-31  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-30  Gabor Greiftypos
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-15  Simon Peyton JonesTidy up FunDeps.oclose
2013-01-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-08  Simon Peyton JonesRe-engineer the ambiguity test for user type signatures
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-01  Simon Peyton JonesComments and white space only
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-24  Simon Peyton JonesRemember to zonk when taking free variables in simpl_top
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesIn approximateWC, do not float contraints out of an...
2012-10-15  Simon Peyton JonesAdd kind-defaulting in simplifyInfer (fixes Trac #7332)
2012-10-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-04  Simon Peyton JonesDo not do type-class defaulting if there are insoluble...
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-28  Simon Peyton JonesComments only
2012-09-20  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMake sure that even insoluble constraints are fully...
2012-09-18  Simon Peyton JonesSignatures and comments
2012-09-17  Simon Peyton JonesTidy up and simplify simplifyRule, pls adding some...
2012-09-17  Simon Peyton JonesAnother refactoring of constraints
2012-09-17  Simon Peyton JonesAdd type "holes", enabled by -XTypeHoles, Trac #5910
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-06  Dimitrios.VytiniotisMoved solving of type families to zonkWC and a few...
2012-09-03  Simon Peyton JonesSome refactoring; removes simplifyCheck
2012-09-03  Simon Peyton JonesWhen defaulting, check for *meta* tyvars
2012-09-03  Simon Peyton JonesRemove historical Unique parameter from pushUntouchables
2012-09-01  Simon Peyton JonesWibbles to fe6ddf00, fixing infelicities
2012-09-01  Simon Peyton JonesMerge branch 'tc-untouchables', remote branch 'origin...
2012-09-01  Simon Peyton JonesA bunch more simplification and refactoring to the...
2012-08-30  Simon Peyton JonesA raft more changes,
2012-08-29  Simon Peyton JonesMerge remote-tracking branch 'origin/HEAD' into tc...
2012-08-29  Simon Peyton JonesMinor fixes, mostly simplificaitons
2012-08-29  Dimitrios.VytiniotisMerge branch 'tc-untouchables' of darcs.haskell.org...
2012-08-28  Simon Peyton JonesWhen floating constraints outwards, promote the floated...
2012-08-28  Simon Peyton JonesBig changes on tc-untouchables branch
2012-08-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-08-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-08-23  Simon Peyton JonesMerge ../HEAD
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
next