| 2011-05-12 |
Simon Peyton Jones | The final batch of changes for the new coercion represe... |
blob | commitdiff |
| 2011-04-19 |
Simon Peyton Jones | This BIG PATCH contains most of the work for the New... |
blob | commitdiff | diff to current |
| 2010-12-21 |
simonpj@microsoft.com | Single-method classes are implemented with a newtype |
blob | commitdiff | diff to current |
| 2010-11-01 |
simonpj@microsoft.com | For single-method classes use newtypes |
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-16 |
simonpj@microsoft.com | Refactoring of the way that inlinings and rules are... |
blob | commitdiff | diff to current |
| 2010-09-15 |
simonpj@microsoft.com | Implement INLINABLE pragma |
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-09-03 |
simonpj@microsoft.com | Give seqId the right type |
blob | commitdiff | diff to current |
| 2010-08-23 |
simonpj@microsoft.com | Comments |
blob | commitdiff | diff to current |
| 2010-07-27 |
simonpj@microsoft.com | Give the correct kind to unsafeCoerce# |
blob | commitdiff | diff to current |
| 2010-07-07 |
simonpj@microsoft.com | Fix Trac #4127 (and hence #4173) |
blob | commitdiff | diff to current |
| 2010-05-06 |
simonpj@microsoft.com | Fix Trac #3966: warn about useless UNPACK pragmas |
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-02 |
simonpj@microsoft.com | More work on the simplifier's inlining strategies |
blob | commitdiff | diff to current |
| 2009-11-19 |
simonpj@microsoft.com | Remove the (very) old strictness analyser |
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-05 |
simonpj@microsoft.com | Comments only, relating to Roman's new built-in rule... |
blob | commitdiff | diff to current |
| 2009-11-04 |
Roman Leshchinskiy | Add builtin rule to eliminate unnecessary casts in seq |
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-10-23 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
| 2009-07-07 |
Ian Lynagh | Remove unused imports |
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-29 |
simonpj@microsoft.com | Fix Trac #3259: expose 'lazy' only after generating... |
blob | commitdiff | diff to current |
| 2009-05-27 |
simonpj@microsoft.com | Comments about wiredInIds |
blob | commitdiff | diff to current |
| 2009-04-02 |
simonpj@microsoft.com | Fix Trac #3118: missing alternative |
blob | commitdiff | diff to current |
| 2009-01-02 |
simonpj@microsoft.com | Make record selectors into ordinary functions |
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-19 |
simonpj@microsoft.com | White space only |
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-10 |
simonpj@microsoft.com | Fix Trac #2581: inlining of record selectors |
blob | commitdiff | diff to current |
| 2008-09-09 |
simonpj@microsoft.com | Tell GHC which module nON_EXHAUSTIVE_GUARDS_ERROR_ID... |
blob | commitdiff | diff to current |
| 2008-08-12 |
Ross Paterson | get exception names from Control.Exception.Base instead... |
blob | commitdiff | diff to current |
| 2008-08-11 |
simonpj@microsoft.com | Fix Trac #2367: selectors for GADTs |
blob | commitdiff | diff to current |
| 2008-07-31 |
Max Bolingbroke | Tweak comments in MkId and follow mkStringLit renaming |
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-30 |
Ian Lynagh | Follow extensible exception changes |
blob | commitdiff | diff to current |
| 2008-07-20 |
Thomas Schilling | Fix Haddock errors. |
blob | commitdiff | diff to current |
| 2008-05-16 |
simonpj@microsoft.com | Improve the treatment of 'seq' (Trac #2273) |
blob | commitdiff | diff to current |
| 2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in MkId |
blob | commitdiff | diff to current |
| 2008-04-10 |
simonpj@microsoft.com | Make the arity and strictness agree, for wired-in botto... |
blob | commitdiff | diff to current |
| 2008-04-07 |
Manuel M T Chakravarty | Remove GADT refinements, part 5 |
blob | commitdiff | diff to current |
| 2008-03-03 |
Manuel M T Chakravarty | Remove GADT refinements, part 4 |
blob | commitdiff | diff to current |
| 2008-03-06 |
simonpj@microsoft.com | Don't expose the unfolding of dictionary selectors... |
blob | commitdiff | diff to current |
| 2008-02-29 |
Manuel M T Chakravarty | Remove GADT refinements, part 3 |
blob | commitdiff | diff to current |
| 2008-02-19 |
Ian Lynagh | Fix non-missing-signature warnings in MkId |
blob | commitdiff | diff to current |
| 2008-02-19 |
Ian Lynagh | Whitespace only |
blob | commitdiff | diff to current |
| 2007-10-10 |
Dan Licata | View patterns, record wildcards, and record puns |
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-07-12 |
Roman Leshchinskiy | Export wrapFamInstBody and unwrapFamInstScrut |
blob | commitdiff | diff to current |
| 2007-06-27 |
Manuel M T Chakravarty | Fix names of coercions in newtype instances |
blob | commitdiff | diff to current |
| 2007-06-08 |
Manuel M T Chakravarty | Fix worker/wrapper ids for newtype instances |
blob | commitdiff | diff to current |
| 2007-05-02 |
simonpj@microsoft.com | Add more assertions |
blob | commitdiff | diff to current |
| 2007-05-02 |
simonpj@microsoft.com | Use the record fields of IdInfo.RecordSelId |
blob | commitdiff | diff to current |
| 2007-05-02 |
simonpj@microsoft.com | Make records work properly with type families |
blob | commitdiff | diff to current |
| 2007-05-02 |
simonpj@microsoft.com | Fixes to data type families |
blob | commitdiff | diff to current |
| 2007-04-22 |
simonpj@microsoft.com | Fixes to datacon wrappers for indexed data types |
blob | commitdiff | diff to current |
| 2007-04-17 |
Simon Marlow | Re-working of the breakpoint support |
blob | commitdiff | diff to current |
| 2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
blob | commitdiff | diff to current |
| 2006-12-13 |
andy@galois.com | Removing explicit Binary Tick Boxes; using Case instead. |
blob | commitdiff | diff to current |
| 2006-12-04 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
| 2006-11-29 |
andy@galois.com | TickBox representation change |
blob | commitdiff | diff to current |
| 2006-11-01 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
| 2006-10-13 |
simonpj@microsoft.com | Change type of TcGadt.refineType, plus consequences |
blob | commitdiff | diff to current |
| 2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
blob | commitdiff | diff to current |
| 2006-10-11 |
Simon Marlow | Interface file optimisation and removal of nameParent |
blob | commitdiff | diff to current |
| 2006-10-10 |
Manuel M T Chakravarty | Removed unused unwrapFamInstBody from MkId |
blob | commitdiff | diff to current |
| 2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
blob | commitdiff | diff to current |
| 2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Fix type checking of imported data instances |
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 | Indexed newtypes |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Pattern matching of indexed data types |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Introduce coercions for data instance decls |
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 | Flip direction of newtype coercions, fix some comments |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Chagne newtype wrapper into worker |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Clean up unused imports, definitions and arguments |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Fix assertion and default case for GADT record selectors |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | make dataConInstPat take a list of FastStrings rather... |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Just clean-up, no functional changes |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Get rid of special case for Vanilla tycon record select... |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Fix problem with selectors for GADT records with unboxe... |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Minor tidying up |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Remove bogus ASSERT from MkId |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | fix default case filling-in for GADTs |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | fixing record selectors |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | GADT selector bugfix, bits of cleanup |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | fix some GADT record selector bugs (still some remaining) |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Make data con wrappers for GADTs express the user type... |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend... |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | fixed bug in product unboxing |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | finished product unboxing through newtypes and proper... |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Comment |
blob | commitdiff | diff to current |
| next |
projects / ghc-hetmet.git / history