2010-10-07 |
simonpj@microsoft.com | Implement auto-specialisation of imported Ids |
blob | commitdiff |
2010-09-24 |
simonpj@microsoft.com | Fix an egregious bug: INLINE pragmas on monomorphic... |
blob | commitdiff | diff to current |
2010-09-15 |
simonpj@microsoft.com | Add quotes in error message |
blob | commitdiff | diff to current |
2010-09-15 |
simonpj@microsoft.com | Less voluminous error when derived code doesn't typecheck |
blob | commitdiff | diff to current |
2010-09-14 |
simonpj@microsoft.com | Move error-ids to MkCore (from PrelRules) |
blob | commitdiff | diff to current |
2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
2010-08-13 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2010-07-21 |
simonpj@microsoft.com | Fix inlining for default methods |
blob | commitdiff | diff to current |
2010-07-13 |
simonpj@microsoft.com | Refactor where an error message is generated |
blob | commitdiff | diff to current |
2010-07-07 |
simonpj@microsoft.com | Fix Trac #4127 (and hence #4173) |
blob | commitdiff | diff to current |
2010-05-31 |
simonpj@microsoft.com | Robustify the treatement of DFunUnfolding |
blob | commitdiff | diff to current |
2010-05-25 |
simonpj@microsoft.com | Refactor (again) the handling of default methods |
blob | commitdiff | diff to current |
2010-03-09 |
simonpj@microsoft.com | Fix Trac #1954: newtype deriving caused 'defined but... |
blob | commitdiff | diff to current |
2010-01-07 |
simonpj@microsoft.com | A little refactoring, plus improve error locations |
blob | commitdiff | diff to current |
2010-01-06 |
simonpj@microsoft.com | Improve the handling of default methods |
blob | commitdiff | diff to current |
2010-01-05 |
simonpj@microsoft.com | Undo the fix for Trac #3772 and do it a new way |
blob | commitdiff | diff to current |
2009-12-21 |
simonpj@microsoft.com | Fix Trac #3772: dict funs for single-field classes |
blob | commitdiff | diff to current |
2009-12-18 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2009-12-18 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2009-11-13 |
simonpj@microsoft.com | Make the new ClassOp/DFun selection mechanism work... |
blob | commitdiff | diff to current |
2009-11-12 |
simonpj@microsoft.com | Remove old, redundant note |
blob | commitdiff | diff to current |
2009-11-06 |
simonpj@microsoft.com | Comments in OccurAnal |
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-08-21 |
simonpj@microsoft.com | Fix Trac #3423: missed instantiation for newtype-derive... |
blob | commitdiff | diff to current |
2009-07-23 |
simonpj@microsoft.com | Fix Trac #3012: allow more free-wheeling in standalone... |
blob | commitdiff | diff to current |
2009-07-06 |
simonpj@microsoft.com | Trim unused imports detected by new unused-import code |
blob | commitdiff | diff to current |
2009-05-28 |
simonpj@microsoft.com | Fix Trac #3262: suppress name-shadow warning for _names |
blob | commitdiff | diff to current |
2009-05-27 |
simonpj@microsoft.com | Fix Trac #3221: renamer warnings for deriving clauses |
blob | commitdiff | diff to current |
2009-03-18 |
simonpj@microsoft.com | Add the notion of "constructor-like" Ids for rule-matching |
blob | commitdiff | diff to current |
2009-01-30 |
simonpj@microsoft.com | White space only |
blob | commitdiff | diff to current |
2009-01-13 |
simonpj@microsoft.com | Spelling in comment only |
blob | commitdiff | diff to current |
2009-01-02 |
simonpj@microsoft.com | Make record selectors into ordinary functions |
blob | commitdiff | diff to current |
2008-12-31 |
simonpj@microsoft.com | Fix Trac #2856: make deriving work for type families |
blob | commitdiff | diff to current |
2008-12-31 |
simonpj@microsoft.com | Improve error reporting for 'deriving' |
blob | commitdiff | diff to current |
2008-12-30 |
simonpj@microsoft.com | Avoid nasty name clash with associated data types ... |
blob | commitdiff | diff to current |
2008-12-30 |
simonpj@microsoft.com | Refactor RnEnv to fix Trac #2901 |
blob | commitdiff | diff to current |
2008-12-30 |
simonpj@microsoft.com | Add quotes to error message |
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-09-20 |
simonpj@microsoft.com | Comments only: replace ":=:" by "~" (notation for equal... |
blob | commitdiff | diff to current |
2008-09-18 |
simonpj@microsoft.com | Fix Trac #1470: improve handling of recursive instances... |
blob | commitdiff | diff to current |
2008-09-10 |
simonpj@microsoft.com | Check the *right* set of type variables for escape! |
blob | commitdiff | diff to current |
2008-09-10 |
simonpj@microsoft.com | More refactoring of instance declarations (fixes Trac... |
blob | commitdiff | diff to current |
2008-09-05 |
simonpj@microsoft.com | Fix up the instance-declaration re-engineering story |
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 #745: improve error recoevery for type signatures |
blob | commitdiff | diff to current |
2008-07-31 |
Max Bolingbroke | Split the Id related functions out from Var into Id... |
blob | commitdiff | diff to current |
2008-07-21 |
Ian Lynagh | Fixes for haddock 0.8 |
blob | commitdiff | diff to current |
2008-07-01 |
simonpj@microsoft.com | Several fixes to 'deriving' including Trac #2378 |
blob | commitdiff | diff to current |
2008-06-06 |
Ian Lynagh | Fix warnings in TcInstDcls |
blob | commitdiff | diff to current |
2008-06-06 |
simonpj@microsoft.com | Fix Trac #2334: validity checking for type families |
blob | commitdiff | diff to current |
2008-05-21 |
simonpj@microsoft.com | Fix Trac #1061: refactor handling of default methods |
blob | commitdiff | diff to current |
2008-05-04 |
Ian Lynagh | Whitespace only (TcInstDcls) |
blob | commitdiff | diff to current |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in TcInstDcls |
blob | commitdiff | diff to current |
2008-04-22 |
simonpj@microsoft.com | Rename WpCo to WpCast |
blob | commitdiff | diff to current |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcInstDcls: use do, return and stand... |
blob | commitdiff | diff to current |
2007-10-27 |
simonpj@microsoft.com | In an AbsBinds, the 'dicts' can include EqInsts |
blob | commitdiff | diff to current |
2007-09-15 |
Manuel M T Chakravarty | Overhaul of the rewrite rules |
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-28 |
Manuel M T Chakravarty | Type checking for type synonym families |
blob | commitdiff | diff to current |
2007-06-27 |
Manuel M T Chakravarty | Fixed deriving of associated data types |
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-22 |
simonpj@microsoft.com | Fix corner case of useless constraint in SPECIALISE... |
blob | commitdiff | diff to current |
2007-01-05 |
Manuel M T Chakravarty | HsSyn clean up for indexed types |
blob | commitdiff | diff to current |
2007-01-03 |
simonpj@microsoft.com | Make warnings come out in deterministic order |
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 | Construction of EqPred dictionaries |
blob | commitdiff | diff to current |
2006-11-10 |
Samuel Bronson | Zap stray whitespace in lhs formatting |
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-11 |
Simon Marlow | More import tidying and fixing the stage 2 build |
blob | commitdiff | diff to current |
2006-10-10 |
Manuel M T Chakravarty | Rough matches for family instances |
blob | commitdiff | diff to current |
2006-09-20 |
bjorn@bringert.net | Merged stand-alone deriving with FC stuff. |
blob | commitdiff | diff to current |
2006-09-18 |
bjorn@bringert.net | New syntax for stand-alone deriving. Implemented fully. |
blob | commitdiff | diff to current |
2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
blob | commitdiff | diff to current |
2006-09-26 |
simonpj@microsoft.com | Fix derived instances (again); prevents infinite superc... |
blob | commitdiff | diff to current |
2006-09-25 |
simonpj@microsoft.com | Fix newtype deriving properly (un-doing Audreys patch) |
blob | commitdiff | diff to current |
2006-09-23 |
simonpj@microsoft.com | Re-work the newtype-deriving support |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Basic set up for global family instance environment |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Straightened out implicit coercions for indexed types |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Better error message for indexes that must be variables |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Checking conformance of AT indexes with instance heads |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Warn of missing ATs and complain about bad ATs |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Check that AT instance is in a class |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Extend TyCons and DataCons to represent data instance... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Kind and type checking of indexed types |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Fix newtype deriving bug |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Flip direction of newtype coercions, fix some comments |
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 | some bug-fixes, newtype deriving might work now |
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 deriving dicts, compiling at least |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | ..and a bit more |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | More on newtype deriving |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | towards newtype deriving dicts |
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-18 |
Manuel M T Chakravarty | Partial changes for derived newtype instances |
blob | commitdiff | diff to current |
2006-09-15 |
Manuel M T Chakravarty | Fix migrated AT support |
blob | commitdiff | diff to current |
next |