2008-08-12 |
Ross Paterson | get exception names from Control.Exception.Base instead... |
blob | commitdiff |
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 |
2006-09-20 |
Manuel M T Chakravarty | towards unboxing through newtypes |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | bugs |
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 | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
2006-08-04 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2006-09-12 |
audreyt@audreyt.org | Take away XXXs in GADT records related code that are... |
blob | commitdiff | diff to current |
2006-07-25 |
Simon Marlow | Generalise Package Support |
blob | commitdiff | diff to current |
2006-05-17 |
simonpj@microsoft.com | Newtype data constructors get a compulsory unfolding |
blob | commitdiff | diff to current |
2006-05-08 |
simonpj@microsoft.com | Remove NOINLINE strictness hack |
blob | commitdiff | diff to current |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|