2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff |
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 |
|