| 2014-03-13 |
 Simon Peyton Jones | Comments only |
tree | commitdiff |
| 2014-03-13 |
Simon Peyton Jones | Export runTcInteractive from TcRnDriver, and from GHC... |
tree | commitdiff |
| 2014-03-13 |
Simon Peyton Jones | A bit more tracing to do with SPECIALISE pragmas |
tree | commitdiff |
| 2014-03-10 |
Simon Peyton Jones | Unify, rather than match, in GND processing (fixes... |
tree | commitdiff |
| 2014-03-07 |
Simon Peyton Jones | Fix the treatment of lexically scoped kind variables... |
tree | commitdiff |
| 2014-03-07 |
Simon Peyton Jones | Make -XDeriveFunctor more generous about non-last argum... |
tree | commitdiff |
| 2014-03-06 |
Simon Peyton Jones | Attach the right location to pattern synonym error... |
tree | commitdiff |
| 2014-02-18 |
Simon Peyton Jones | Keep kind-inconsistent Given type equalities (fixes... |
tree | commitdiff |
| 2014-02-18 |
Simon Peyton Jones | Add some more traceTcS calls |
tree | commitdiff |
| 2014-02-18 |
Simon Peyton Jones | Allow ($) to return an unlifted type (Trac #8739) |
tree | commitdiff |
| 2014-02-18 |
Simon Peyton Jones | Use NoGen plan for unboxed-tuple bindings |
tree | commitdiff |
| 2014-02-13 |
 Richard Eisenberg | Fix #8773. |
tree | commitdiff |
| 2014-02-13 |
 Baldur Blöndal | Cleaned up Maybes.lhs |
tree | commitdiff |
| 2014-02-10 |
Richard Eisenberg | Refactor previous commit on fixing #7021. |
tree | commitdiff |
| 2014-02-09 |
 YoEight | Apply changes relative to TH.Pred becoming a TH.Type... |
tree | commitdiff |
| 2014-02-09 |
Richard Eisenberg | Fix #8759 by not panicking with TH and patsyns. |
tree | commitdiff |
| 2014-02-09 |
Richard Eisenberg | Fix #8758 by assuming RankNTypes when checking GND... |
tree | commitdiff |
| 2014-02-09 |
Richard Eisenberg | Fix #8631. |
tree | commitdiff |
| 2014-02-01 |
 Gabor Greif | Fix a popular typo in comments |
tree | commitdiff |
| 2014-01-26 |
Gabor Greif | Squash some spelling issues |
tree | commitdiff |
| 2014-01-23 |
Gabor Greif | Some typos in comments |
tree | commitdiff |
| 2014-01-20 |
 Dr. ERDI Gergo | Implement pattern synonyms |
tree | commitdiff |
| 2014-01-20 |
 Joachim Breitner | Explain why TcAxiomInstCo carries [TcCoercion], and... |
tree | commitdiff |
| 2014-01-16 |
 Krzysztof Gogolewski | Typos in comments |
tree | commitdiff |
| 2014-01-12 |
 Austin Seipp | Fix new Haddock doc parse failures. |
tree | commitdiff |
| 2014-01-12 |
 Herbert Valerio... | Fold testsuite.git into ghc.git (re #8545) |
tree | commitdiff |
| 2014-01-10 |
Gabor Greif | Comment typos only |
tree | commitdiff |
| 2014-01-09 |
Simon Peyton Jones | Re-work the naming story for the GHCi prompt (Trac... |
tree | commitdiff |
| 2014-01-09 |
Simon Peyton Jones | Further improve the "same-occurrence" error messages... |
tree | commitdiff |
| 2014-01-09 |
Simon Peyton Jones | Further refine the test for 'given' equalities |
tree | commitdiff |
| 2014-01-03 |
Simon Peyton Jones | Improve the equality-floating story (again), to fix... |
tree | commitdiff |
| 2014-01-03 |
Simon Peyton Jones | Use the GlobalRdrEnv when renaming the axuiliary bindin... |
tree | commitdiff |
| 2014-01-02 |
Joachim Breitner | Update Note [Coercible instances] |
tree | commitdiff |
| 2013-12-28 |
Simon Peyton Jones | Comments only |
tree | commitdiff |
| 2013-12-28 |
Simon Peyton Jones | Re-factor TcCanonical (again), fixes Trac #8603 |
tree | commitdiff |
| 2013-12-28 |
Simon Peyton Jones | Define mkTcNomReflCo = TcRefl Nominal, and use it all... |
tree | commitdiff |
| 2013-12-10 |
Simon Peyton Jones | Spelling in comment |
tree | commitdiff |
| 2013-12-10 |
Simon Peyton Jones | Better debug printing |
tree | commitdiff |
| 2013-12-10 |
Simon Peyton Jones | Do not generate given kind-equalities (fix Trac #8566) |
tree | commitdiff |
| 2013-12-05 |
Simon Peyton Jones | Typecheck typed TH splices properly (fix Trac #8577) |
tree | commitdiff |
| 2013-12-05 |
Simon Peyton Jones | Comments, and rename a variable |
tree | commitdiff |
| 2013-12-04 |
Joachim Breitner | Remove code that generates FunDep error message context |
tree | commitdiff |
| 2013-12-04 |
Simon Peyton Jones | Comments only |
tree | commitdiff |
| 2013-12-04 |
Simon Peyton Jones | Comments only |
tree | commitdiff |
| 2013-12-04 |
Joachim Breitner | More detailed error message when GND fails |
tree | commitdiff |
| 2013-12-03 |
 Edsko de Vries | Mask async exceptions in forkM_ |
tree | commitdiff |
| 2013-12-03 |
Joachim Breitner | Elaborate "deriving" error messages |
tree | commitdiff |
| 2013-12-03 |
Joachim Breitner | Refactor: Origin of inferred Thetas |
tree | commitdiff |
| 2013-12-02 |
Gabor Greif | Some popular typos in comments |
tree | commitdiff |
| 2013-12-02 |
Joachim Breitner | Move FunDeps to typecheck |
tree | commitdiff |
| 2013-12-02 |
Richard Eisenberg | Rejig rejigConRes & friends, doing role checks in a... |
tree | commitdiff |
| 2013-12-02 |
Richard Eisenberg | Remove dead code orphaned by implementing GND with... |
tree | commitdiff |
| 2013-12-02 |
Joachim Breitner | More links to [Coercible Instances] |
tree | commitdiff |
| 2013-12-02 |
Joachim Breitner | Handle Coercible (forall a. t) (forall a. t2) in TcInteract |
tree | commitdiff |
| 2013-12-02 |
Joachim Breitner | Bind monadic stuff in getCoercibleInst locally, not... |
tree | commitdiff |
| 2013-12-02 |
Joachim Breitner | Refactor deferTcSForAllEq: Do not bind, but return... |
tree | commitdiff |
| 2013-12-02 |
Joachim Breitner | Print nicer error message for Coercible errors |
tree | commitdiff |
| 2013-12-02 |
Joachim Breitner | With GND, report Coercible errors earliy |
tree | commitdiff |
| 2013-12-02 |
Joachim Breitner | TcDeriv: s/isomorphism/coercible |
tree | commitdiff |
| 2013-11-29 |
Joachim Breitner | Update Notes for Coercible |
tree | commitdiff |
| 2013-11-29 |
Herbert Valerio... | Remove whitespace between macro identifiers and `(` |
tree | commitdiff |
| 2013-11-29 |
Simon Peyton Jones | Fail (rather than addErr) if you use a bogus field... |
tree | commitdiff |
| 2013-11-28 |
Simon Peyton Jones | More faff to get GHCi's top-level environment right |
tree | commitdiff |
| 2013-11-28 |
Joachim Breitner | EvCast needs to take a representational coercion |
tree | commitdiff |
| 2013-11-27 |
Joachim Breitner | Coercible for impredicative types |
tree | commitdiff |
| 2013-11-27 |
Joachim Breitner | Get rid of EvCoercible |
tree | commitdiff |
| 2013-11-27 |
Joachim Breitner | Beginnings of removing EvCoercible |
tree | commitdiff |
| 2013-11-27 |
Joachim Breitner | Roleify TcCoercion |
tree | commitdiff |
| 2013-11-27 |
Joachim Breitner | Remove unused liftTcCoSubstWith |
tree | commitdiff |
| 2013-11-27 |
Gabor Greif | Comment only |
tree | commitdiff |
| 2013-11-26 |
Gabor Greif | Typos in comments |
tree | commitdiff |
| 2013-11-26 |
Joachim Breitner | Typos in comments in TcEvidence |
tree | commitdiff |
| 2013-11-25 |
Joachim Breitner | In toHsType, filter out kind variables |
tree | commitdiff |
| 2013-11-25 |
Simon Peyton Jones | Another raft of Template Haskell clean-up |
tree | commitdiff |
| 2013-11-22 |
Joachim Breitner | Use bindLocalNamesFV in rn_inst_info |
tree | commitdiff |
| 2013-11-22 |
Joachim Breitner | Use newTyConInstRhs in coerce’d GND |
tree | commitdiff |
| 2013-11-22 |
Richard Eisenberg | Implement GeneralizedNewtypeDeriving in terms of `coerce`. |
tree | commitdiff |
| 2013-11-22 |
Joachim Breitner | Extend Coercible to newtype instances |
tree | commitdiff |
| 2013-11-22 |
Joachim Breitner | Prevent recursive Coercible dictionaries |
tree | commitdiff |
| 2013-11-22 |
Joachim Breitner | Add ctLoc = ctev_loc . cc_ev |
tree | commitdiff |
| 2013-11-22 |
Joachim Breitner | Large refactor: Move CtLoc field from Ct to CtEvidence |
tree | commitdiff |
| 2013-11-22 |
Joachim Breitner | Add -ftype-function-stack to set type function stack... |
tree | commitdiff |
| 2013-11-22 |
Joachim Breitner | Separate SubGoalDepthCounters (constraints and typ... |
tree | commitdiff |
| 2013-11-22 |
Joachim Breitner | Make SubGoalDepth a type of its own |
tree | commitdiff |
| 2013-11-22 |
Simon Peyton Jones | Refactor TcSplice.tcBracket a bit |
tree | commitdiff |
| 2013-11-22 |
Simon Peyton Jones | Clarify what is in ic_tythings, and refactor TcRnDriver... |
tree | commitdiff |
| 2013-11-22 |
Simon Peyton Jones | A raft of changes driven by Trac #8540 |
tree | commitdiff |
| 2013-11-22 |
Simon Peyton Jones | Fix type-equality in the type checker (fixes Trac ... |
tree | commitdiff |
| 2013-11-22 |
Simon Peyton Jones | Print the correct name when complaining about SPECIALIS... |
tree | commitdiff |
| 2013-11-22 |
Simon Peyton Jones | Better constraint-solver tracing |
tree | commitdiff |
| 2013-11-20 |
Joachim Breitner | Explain higher-kinded Coerctions in Note [Coercible... |
tree | commitdiff |
| 2013-11-20 |
Joachim Breitner | Coercible: Do not try to unwrap undersaturated newtypes |
tree | commitdiff |
| 2013-11-20 |
Joachim Breitner | Make Coercible higher-kinded |
tree | commitdiff |
| 2013-11-18 |
Simon Peyton Jones | Improve the 'deriving' code for polykinded data types |
tree | commitdiff |
| 2013-11-18 |
Simon Peyton Jones | Fix typo in a836b6, 'Improve orientation' |
tree | commitdiff |
| 2013-11-18 |
 Jose Pedro Magalhaes | Generic1 cannot yet be derived for datatypes with tuple... |
tree | commitdiff |
| 2013-11-18 |
 Nicolas Frisby | fixing canDoGenerics1 (fixes #8468) (fixes #8479) |
tree | commitdiff |
| 2013-11-15 |
Simon Peyton Jones | Include funTyCon in oprhNamesOfType (fixes Trac #8535) |
tree | commitdiff |
| 2013-11-15 |
Simon Peyton Jones | Fix canIrredPred again |
tree | commitdiff |
| 2013-11-15 |
Simon Peyton Jones | Improve orientation |
tree | commitdiff |
| next |
git.haskell.org / ghc.git / history
Simon Peyton Jones
Richard Eisenberg
Baldur Blöndal
YoEight
Gabor Greif
Dr. ERDI Gergo
Joachim Breitner
Krzysztof Gogolewski
Austin Seipp
Edsko de Vries
Jose Pedro Magalhaes
Nicolas Frisby