| 2011-05-18 |
Dimitrios Vytiniotis | Merge remote branch 'origin/master' |
blob | commitdiff |
| 2011-05-17 |
Dimitrios Vytiniotis | Introducing: |
blob | commitdiff | diff to current |
| 2011-05-15 |
Max Bolingbroke | Use FractionalLit more extensively to improve other... |
blob | commitdiff | diff to current |
| 2011-05-15 |
Max Bolingbroke | Record the original text along with parsed Rationals... |
blob | commitdiff | diff to current |
| 2011-04-19 |
Simon Peyton Jones | This BIG PATCH contains most of the work for the New... |
blob | commitdiff | diff to current |
| 2011-01-12 |
simonpj@microsoft.com | Major refactoring of the type inference engine |
blob | commitdiff | diff to current |
| 2010-12-13 |
simonpj@microsoft.com | Fix recursive superclasses (again). Fixes Trac #4809. |
blob | commitdiff | diff to current |
| 2010-11-12 |
simonpj@microsoft.com | A (final) re-engineering of the new typechecker |
blob | commitdiff | diff to current |
| 2010-10-22 |
simonpj@microsoft.com | Add rebindable syntax for if-then-else |
blob | commitdiff | diff to current |
| 2010-10-13 |
benl@ouroborus.net | Fix warnings |
blob | commitdiff | diff to current |
| 2010-09-18 |
Ian Lynagh | Add separate functions for querying DynFlag and Extensi... |
blob | commitdiff | diff to current |
| 2010-09-15 |
simonpj@microsoft.com | Fix egregious bug in deeplyInstantiate |
blob | commitdiff | diff to current |
| 2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
| 2009-10-29 |
simonpj@microsoft.com | The Big INLINE Patch: totally reorganise way that INLIN... |
blob | commitdiff | diff to current |
| 2009-09-10 |
simonpj@microsoft.com | Three improvements to Template Haskell (fixes #3467) |
blob | commitdiff | diff to current |
| 2009-08-20 |
Manuel M T Chakravarty | FIX #2767 & original problem of #3208 |
blob | commitdiff | diff to current |
| 2009-06-03 |
simonpj@microsoft.com | Allow RULES for seq, and exploit them |
blob | commitdiff | diff to current |
| 2009-05-28 |
simonpj@microsoft.com | Remove dead code isHsVar |
blob | commitdiff | diff to current |
| 2009-04-27 |
Manuel M T Chakravarty | Equality constraint solver is now externally pure |
blob | commitdiff | diff to current |
| 2009-03-15 |
Manuel M T Chakravarty | Ensure the orientation of var-var equalities is correct... |
blob | commitdiff | diff to current |
| 2009-02-11 |
simonpj@microsoft.com | Fix Trac #3017: ensure that we quantify over enough... |
blob | commitdiff | diff to current |
| 2008-12-16 |
Simon Marlow | Rollback INLINE patches |
blob | commitdiff | diff to current |
| 2008-12-05 |
simonpj@microsoft.com | Completely new treatment of INLINE pragmas (big patch) |
blob | commitdiff | diff to current |
| 2008-10-03 |
simonpj@microsoft.com | Add ASSERTs to all calls of nameModule |
blob | commitdiff | diff to current |
| 2008-10-01 |
Manuel M T Chakravarty | TcSimplify.reduceImplication: clean up |
blob | commitdiff | diff to current |
| 2008-10-01 |
Manuel M T Chakravarty | Make sure to zonk the kind of coercion variables |
blob | commitdiff | diff to current |
| 2008-09-16 |
Manuel M T Chakravarty | Type families: bug fixes |
blob | commitdiff | diff to current |
| 2008-09-15 |
Manuel M T Chakravarty | Signature for Inst.isValidWantedEqInst |
blob | commitdiff | diff to current |
| 2008-09-14 |
Manuel M T Chakravarty | Remember if RewriteInst is swapped & bug fixes |
blob | commitdiff | diff to current |
| 2008-09-13 |
Manuel M T Chakravarty | Type families: completed the new equality solver |
blob | commitdiff | diff to current |
| 2008-09-10 |
simonpj@microsoft.com | Add newDictOcc, newDictOccs |
blob | commitdiff | diff to current |
| 2008-09-07 |
Manuel M T Chakravarty | Type families: new algorithm to solve equalities |
blob | commitdiff | diff to current |
| 2008-07-31 |
Max Bolingbroke | Follow OccName and MkCore changes in Inst |
blob | commitdiff | diff to current |
| 2008-06-16 |
Ian Lynagh | More commandline flag improvements |
blob | commitdiff | diff to current |
| 2008-06-05 |
simonpj@microsoft.com | Vital follow-up to fix of Trac #2045 |
blob | commitdiff | diff to current |
| 2008-05-10 |
Ian Lynagh | Remove redundant imports from Inst |
blob | commitdiff | diff to current |
| 2008-05-10 |
Ian Lynagh | Fix a warning when DEBUG is not on |
blob | commitdiff | diff to current |
| 2008-05-06 |
Ian Lynagh | Make Inst warning-free |
blob | commitdiff | diff to current |
| 2008-05-06 |
Ian Lynagh | Add a panic for lookupPred EqPred |
blob | commitdiff | diff to current |
| 2008-05-06 |
simonpj@microsoft.com | Fix Trac #2246; overhaul handling of overloaded literals |
blob | commitdiff | diff to current |
| 2008-04-23 |
Ian Lynagh | Add 123## literals for Word# |
blob | commitdiff | diff to current |
| 2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Inst |
blob | commitdiff | diff to current |
| 2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff | diff to current |
| 2008-03-06 |
simonpj@microsoft.com | Fix Trac #783: improve short-cutting literals in the... |
blob | commitdiff | diff to current |
| 2008-02-29 |
Manuel M T Chakravarty | Remove GADT refinements, part 3 |
blob | commitdiff | diff to current |
| 2008-01-17 |
Twan van Laarhoven | Monadify typecheck/Inst: use do, return and standard... |
blob | commitdiff | diff to current |
| 2007-11-28 |
simonpj@microsoft.com | Improve pretty-printing for Insts |
blob | commitdiff | diff to current |
| 2007-11-22 |
Manuel M T Chakravarty | Properly ppr InstEqs in wanteds of implication constraints |
blob | commitdiff | diff to current |
| 2007-11-01 |
simonpj@microsoft.com | Rejig the error messages a bit; fixes a minor bug |
blob | commitdiff | diff to current |
| 2007-10-27 |
simonpj@microsoft.com | An implication constraint can abstract over EqInsts |
blob | commitdiff | diff to current |
| 2007-10-18 |
Manuel M T Chakravarty | Fix typo that prevented zonking of rhs of EqInsts |
blob | commitdiff | diff to current |
| 2007-10-10 |
Dan Licata | View patterns, record wildcards, and record puns |
blob | commitdiff | diff to current |
| 2007-09-15 |
Manuel M T Chakravarty | Overhaul of the rewrite rules |
blob | commitdiff | diff to current |
| 2007-09-06 |
Manuel M T Chakravarty | EqInst related clean up |
blob | commitdiff | diff to current |
| 2007-09-04 |
Tom Schrijvers | fix of wanted equational class context |
blob | commitdiff | diff to current |
| 2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
blob | commitdiff | diff to current |
| 2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
blob | commitdiff | diff to current |
| 2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
blob | commitdiff | diff to current |
| 2007-08-28 |
Manuel M T Chakravarty | Type checking for type synonym families |
blob | commitdiff | diff to current |
| 2007-08-04 |
Ian Lynagh | Rename Opt_Allow* to Opt_* to match the language names |
blob | commitdiff | diff to current |
| 2007-08-04 |
Ian Lynagh | Typo in a comment |
blob | commitdiff | diff to current |
| 2007-07-02 |
Ian Lynagh | Remove mapAccumL, mapAccumR, mapAccumB |
blob | commitdiff | diff to current |
| 2007-06-19 |
simonpj@microsoft.com | Fix a bug in the handling of implication constraints... |
blob | commitdiff | diff to current |
| 2007-05-11 |
Simon Marlow | Store a SrcSpan instead of a SrcLoc inside a Name |
blob | commitdiff | diff to current |
| 2007-05-09 |
simonpj@microsoft.com | Tidy up the interface to lookupInstEnv |
blob | commitdiff | diff to current |
| 2006-12-21 |
lennart@augustsson.net | Add support for overloaded string literals. |
blob | commitdiff | diff to current |
| 2007-01-03 |
simonpj@microsoft.com | Fix several bugs related to finding free variables |
blob | commitdiff | diff to current |
| 2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
blob | commitdiff | diff to current |
| 2006-12-29 |
Manuel M T Chakravarty | Make dicts for arbitrary type equalities |
blob | commitdiff | diff to current |
| 2006-12-29 |
Manuel M T Chakravarty | Construction of EqPred dictionaries |
blob | commitdiff | diff to current |
| 2006-12-01 |
simonpj@microsoft.com | q |
blob | commitdiff | diff to current |
| 2006-11-23 |
simonpj@microsoft.com | Simplify TcSimplify, by removing Free |
blob | commitdiff | diff to current |
| 2006-11-10 |
simonpj@microsoft.com | Use implication constraints to improve type inference |
blob | commitdiff | diff to current |
| 2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
blob | commitdiff | diff to current |
| 2006-10-11 |
simonpj@microsoft.com | Make Inst into a record type to ease subsequent changes |
blob | commitdiff | diff to current |
| 2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
blob | commitdiff | diff to current |
| 2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
blob | commitdiff | diff to current |
| 2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Another comment |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Complete the evidence generation for GADTs |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | newtype deriving still not working |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
| 2006-07-25 |
Simon Marlow | Generalise Package Support |
blob | commitdiff | diff to current |
| 2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|
projects / ghc-hetmet.git / history