2011-04-30 |
Simon Peyton Jones | Merge remote branch 'origin/master' into ghc-new-co |
blob | commitdiff |
2011-04-20 |
Simon Peyton Jones | Tidy up SigTv |
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-03-31 |
simonpj@microsoft.com | Re-enable assertion now the new type checker is in |
blob | commitdiff | diff to current |
2011-02-21 |
simonpj@microsoft.com | Fix another fundep error (fixes Trac #4969) |
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-10-19 |
simonpj@microsoft.com | Reject programs with equality superclasses for now |
blob | commitdiff | diff to current |
2010-10-19 |
simonpj@microsoft.com | Clean up the debugger code |
blob | commitdiff | diff to current |
2010-10-15 |
dimitris@microsoft.com | (1) Caching FD improvements for efficiency, (2) prevent... |
blob | commitdiff | diff to current |
2010-10-15 |
simonpj@microsoft.com | Fix Trac #4401: meta-tyvars allocated by the constraint... |
blob | commitdiff | diff to current |
2010-10-08 |
simonpj@microsoft.com | Beautiful new approach to the skolem-escape check and... |
blob | commitdiff | diff to current |
2010-10-04 |
dimitris@microsoft.com | Typechecker performance fixes and flatten skolem bugfixing |
blob | commitdiff | diff to current |
2010-10-06 |
simonpj@microsoft.com | Refactoring: mainly rename ic_env_tvs to ic_untch |
blob | commitdiff | diff to current |
2010-09-19 |
simonpj@microsoft.com | Loosen the conditions for -XUndecidableInstances; fixes... |
blob | commitdiff | diff to current |
2010-09-19 |
simonpj@microsoft.com | Further improvements in error messages |
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-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
2010-09-02 |
simonpj@microsoft.com | Remove checkFreeness; no longer needed |
blob | commitdiff | diff to current |
2010-08-31 |
simonpj@microsoft.com | Wibbles |
blob | commitdiff | diff to current |
2010-08-23 |
simonpj@microsoft.com | Wibbles to error message |
blob | commitdiff | diff to current |
2010-08-11 |
simonpj@microsoft.com | Remember to zonk FlatSkols! |
blob | commitdiff | diff to current |
2010-01-07 |
simonpj@microsoft.com | A little refactoring, plus improve error locations |
blob | commitdiff | diff to current |
2009-09-30 |
simonpj@microsoft.com | Fix Trac #3540: malformed types |
blob | commitdiff | diff to current |
2009-08-20 |
Manuel M T Chakravarty | FIX #2767 & original problem of #3208 |
blob | commitdiff | diff to current |
2009-07-10 |
Manuel M T Chakravarty | TFs: FIX #2203 (second half) |
blob | commitdiff | diff to current |
2009-05-27 |
simonpj@microsoft.com | Template Haskell: allow type splices |
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-02-11 |
simonpj@microsoft.com | Fix Trac #3017: ensure that we quantify over enough... |
blob | commitdiff | diff to current |
2009-02-11 |
simonpj@microsoft.com | Turn another ASSERT into a WARN (temproraily) |
blob | commitdiff | diff to current |
2008-12-31 |
simonpj@microsoft.com | -XImpredicativeTypes implies -XRankNTypes, and improve... |
blob | commitdiff | diff to current |
2008-10-21 |
Manuel M T Chakravarty | Reject programs with superclass equalities for now |
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-10 |
simonpj@microsoft.com | Fix Trac #2573; and explanatory comment |
blob | commitdiff | diff to current |
2008-09-03 |
simonpj@microsoft.com | Major change in compilation of instance declarations... |
blob | commitdiff | diff to current |
2008-08-27 |
simonpj@microsoft.com | Fix Trac #2538: better error messages when validating... |
blob | commitdiff | diff to current |
2008-07-21 |
Ian Lynagh | Fixes for haddock 0.8 |
blob | commitdiff | diff to current |
2008-07-15 |
Manuel M T Chakravarty | Fix for 1st half of #2203 Before_cabalised-GHC |
blob | commitdiff | diff to current |
2008-07-14 |
Manuel M T Chakravarty | Fix check of rhs of type family instances (#2157) |
blob | commitdiff | diff to current |
2008-07-07 |
simonpj@microsoft.com | White space only |
blob | commitdiff | diff to current |
2008-06-16 |
Ian Lynagh | Tweak a comment to talk about UnboxedTuples rather... |
blob | commitdiff | diff to current |
2008-06-16 |
Ian Lynagh | More commandline flag improvements |
blob | commitdiff | diff to current |
2008-06-06 |
Ian Lynagh | Fix warnings in TcMType |
blob | commitdiff | diff to current |
2008-04-22 |
Ian Lynagh | Change the last few (F)SLIT's into (f)sLit's |
blob | commitdiff | diff to current |
2008-04-10 |
simonpj@microsoft.com | Improve error message layout slightly |
blob | commitdiff | diff to current |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff | diff to current |
2008-03-29 |
Ian Lynagh | Remove an #ifdef DEBUG |
blob | commitdiff | diff to current |
2008-03-15 |
Ian Lynagh | Remove leftover NoteTy/FTVNote bits |
blob | commitdiff | diff to current |
2008-02-07 |
simonpj@microsoft.com | Adjust error message (Trac #2079) |
blob | commitdiff | diff to current |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcMType: use do, return, applicative... |
blob | commitdiff | diff to current |
2008-01-07 |
simonpj@microsoft.com | Make the treatment of equalities more uniform |
blob | commitdiff | diff to current |
2008-01-07 |
simonpj@microsoft.com | Add -XImpredicativeTypes, and tighten up type-validity... |
blob | commitdiff | diff to current |
2007-10-27 |
simonpj@microsoft.com | Make 'improvement' work properly in TcSimplify |
blob | commitdiff | diff to current |
2007-10-19 |
Manuel M T Chakravarty | Zonk quantified tyvars with skolems |
blob | commitdiff | diff to current |
2007-09-29 |
Manuel M T Chakravarty | FIX #1729: Don't try to expand syn families with -XLibe... |
blob | commitdiff | diff to current |
2007-09-19 |
simonpj@microsoft.com | Fix exponential-time behaviour with type synonyms;... |
blob | commitdiff | diff to current |
2007-09-16 |
Manuel M T Chakravarty | FIX: TypeFamilies: should_compile/Simple12 |
blob | commitdiff | diff to current |
2007-09-15 |
Manuel M T Chakravarty | Overhaul of the rewrite rules |
blob | commitdiff | diff to current |
2007-09-11 |
simonpj@microsoft.com | Comments, and remove export of checkAmbiguity |
blob | commitdiff | diff to current |
2007-09-10 |
Manuel M T Chakravarty | Cleaned up version of Tom's unflattened skolemOccurs |
blob | commitdiff | diff to current |
2007-09-07 |
Manuel M T Chakravarty | Improved error messages for higher-rank equality contexts |
blob | commitdiff | diff to current |
2007-09-05 |
simonpj@microsoft.com | Refactor, improve, and document the deriving mechanism |
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-30 |
Manuel M T Chakravarty | Added decidability check for type instances |
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-07-12 |
Ian Lynagh | Merge *UnboxedTuples flags |
blob | commitdiff | diff to current |
2007-07-09 |
Ian Lynagh | Implement unboxed tuples flags |
blob | commitdiff | diff to current |
2007-07-09 |
Ian Lynagh | Tweak the undecidable-instance-checking logic |
blob | commitdiff | diff to current |
2007-07-09 |
Ian Lynagh | Define -XPartiallyAppliedClosedTypeSynonyms flag |
blob | commitdiff | diff to current |
2007-07-09 |
Ian Lynagh | Add -XFlexibleContexts flag |
blob | commitdiff | diff to current |
2007-07-09 |
Ian Lynagh | Implement -XPolymorphicComponents |
blob | commitdiff | diff to current |
2007-07-08 |
Ian Lynagh | Add flags for Rank2Types and RankNTypes |
blob | commitdiff | diff to current |
2007-07-08 |
Ian Lynagh | Add flags for TypeSynonymInstances and FlexibleInstances |
blob | commitdiff | diff to current |
2007-05-14 |
Manuel M T Chakravarty | -findexed-types -> -ftype-families |
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-04-24 |
Pepe Iborra | Some tyvars were being introduced in the environment... |
blob | commitdiff | diff to current |
2007-03-22 |
simonpj@microsoft.com | Improve documentation of instances |
blob | commitdiff | diff to current |
2007-03-14 |
simonpj@microsoft.com | Wibble to type-error-message improvement |
blob | commitdiff | diff to current |
2007-03-14 |
simonpj@microsoft.com | Improve error messages slightly, saying "a1...an" inste... |
blob | commitdiff | diff to current |
2007-01-09 |
Manuel M T Chakravarty | Handle synonym families in check_tau_type |
blob | commitdiff | diff to current |
2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
blob | commitdiff | diff to current |
2006-12-28 |
Manuel M T Chakravarty | Parse and desugar equational constraints |
blob | commitdiff | diff to current |
2006-12-13 |
simonpj@microsoft.com | Add left-to-right impredicative instantiation |
blob | commitdiff | diff to current |
2006-12-11 |
simonpj@microsoft.com | More refactoring of constraint simplification |
blob | commitdiff | diff to current |
2006-11-10 |
simonpj@microsoft.com | Use implication constraints to improve type inference |
blob | commitdiff | diff to current |
2006-11-01 |
simonpj@microsoft.com | Default the kind of unconstrained meta-type variables... |
blob | commitdiff | diff to current |
2006-11-01 |
simonpj@microsoft.com | Improve error message (push to 6.6 branch) |
blob | commitdiff | diff to current |
2006-11-01 |
simonpj@microsoft.com | Fix error reporting for contexts during deriving (Trac... |
blob | commitdiff | diff to current |
2006-10-11 |
Simon Marlow | More import tidying and fixing the stage 2 build |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Some more ASSERTs |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | some bug-fixes, newtype deriving might work now |
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-08-11 |
simonpj@microsoft.com | Go back to calling type veriables t |
blob | commitdiff | diff to current |
2006-08-04 |
simonpj@microsoft.com | Do pre-subsumption in the main subsumption check |
blob | commitdiff | diff to current |
2006-04-18 |
simonpj@microsoft.com | Fix rank-validity testing |
blob | commitdiff | diff to current |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|