2010-12-15 |
simonpj@microsoft.com | Tighten up what it means to be an "enumeration data... |
blob | commitdiff |
2010-09-14 |
simonpj@microsoft.com | Comment on what an "enumeration" type is |
blob | commitdiff | diff to current |
2010-09-13 |
simonpj@microsoft.com | Haddock fixes |
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 | Comments and layout |
blob | commitdiff | diff to current |
2010-07-13 |
simonpj@microsoft.com | Comments on data type families |
blob | commitdiff | diff to current |
2010-04-17 |
simonpj@microsoft.com | Comments only (about type families) |
blob | commitdiff | diff to current |
2010-03-30 |
David Waern | Add Data and Typeable instances to HsSyn |
blob | commitdiff | diff to current |
2010-01-07 |
simonpj@microsoft.com | Spelling error in comment |
blob | commitdiff | diff to current |
2010-01-04 |
simonpj@microsoft.com | Substantial improvements to coercion optimisation |
blob | commitdiff | diff to current |
2009-11-24 |
Ian Lynagh | Treat () as an enumeration tycon |
blob | commitdiff | diff to current |
2009-11-12 |
simonpj@microsoft.com | A radical overhaul of the coercion infrastucture |
blob | commitdiff | diff to current |
2009-10-15 |
simonpj@microsoft.com | Fix Trac #959: a long-standing bug in instantiating... |
blob | commitdiff | diff to current |
2009-10-08 |
simonpj@microsoft.com | Make tyConSingleDataCon_maybe more forgiving |
blob | commitdiff | diff to current |
2009-06-22 |
Simon Marlow | fix comment |
blob | commitdiff | diff to current |
2009-05-12 |
simonpj@microsoft.com | Improve error messages for type functions |
blob | commitdiff | diff to current |
2009-03-30 |
simonpj@microsoft.com | Fix an nasty black hole, concerning computation of... |
blob | commitdiff | diff to current |
2009-03-16 |
simonpj@microsoft.com | Layout 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-30 |
simonpj@microsoft.com | Avoid nasty name clash with associated data types ... |
blob | commitdiff | diff to current |
2008-09-20 |
simonpj@microsoft.com | Comments only: replace ":=:" by "~" (notation for equal... |
blob | commitdiff | diff to current |
2008-08-07 |
Ian Lynagh | Fix errors with haddock 0.8 |
blob | commitdiff | diff to current |
2008-07-31 |
Max Bolingbroke | Document TyCon |
blob | commitdiff | diff to current |
2008-07-31 |
Max Bolingbroke | Rename maybeTyConSingleCon to tyConSingleDataCon_maybe |
blob | commitdiff | diff to current |
2008-03-25 |
Tim Chevalier | Change syntax for newtypes in External Core |
blob | commitdiff | diff to current |
2008-02-04 |
Simon Marlow | Support for using libffi to implement FFI calls in... |
blob | commitdiff | diff to current |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/TyCon |
blob | commitdiff | diff to current |
2007-12-21 |
simonpj@microsoft.com | Improve handling of newtypes (fixes Trac 1495) |
blob | commitdiff | diff to current |
2007-11-05 |
simonpj@microsoft.com | Comment warning about transparent newtypes |
blob | commitdiff | diff to current |
2007-10-16 |
simonpj@microsoft.com | Eliminate over-zealous warning in CoreToStg |
blob | commitdiff | diff to current |
2007-09-29 |
simonpj@microsoft.com | Small comment only |
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-08-09 |
simonpj@microsoft.com | Tidy up the treatment of newtypes, refactor, and fix... |
blob | commitdiff | diff to current |
2007-08-04 |
simonpj@microsoft.com | Add missing case to sizeofPrimRep |
blob | commitdiff | diff to current |
2007-05-19 |
Pepe Iborra | Rewrite the unsafe code dealing with unboxed primitives... |
blob | commitdiff | diff to current |
2007-05-11 |
Manuel M T Chakravarty | Remove the distinction between data and newtype families |
blob | commitdiff | diff to current |
2007-05-04 |
simonpj@microsoft.com | isDataTyCon should be False for all 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-25 |
Manuel M T Chakravarty | Generating synonym instance representation tycons |
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-02-23 |
Manuel M T Chakravarty | Moved argument position info of ATs into tycon rhs... |
blob | commitdiff | diff to current |
2007-01-10 |
Manuel M T Chakravarty | checkTauTvUpdate: take synonym families into account |
blob | commitdiff | diff to current |
2007-01-03 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
blob | commitdiff | diff to current |
2006-10-19 |
Manuel M T Chakravarty | Fix family instance bug due to the name parent elimination |
blob | commitdiff | diff to current |
2006-10-18 |
simonpj@microsoft.com | Add the primitive type Any, and use it for Dynamics |
blob | commitdiff | diff to current |
2006-10-18 |
simonpj@microsoft.com | Add comment about arity |
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-11 |
Simon Marlow | Interface file optimisation and removal of nameParent |
blob | commitdiff | diff to current |
2006-09-29 |
simonpj@microsoft.com | Simplify the way in which the coKindFun in CoercionTyCo... |
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 | Get of fam inst index in ifaces |
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 | Check category of type instances and some newtype famil... |
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 | Check that AT instance is in a class |
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 | Extended TyCon and friends to represent family declarations |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Make newtype Coercion eta-contract if the tails of... |
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 | newtype fixes, coercions for non-recursive newtypes... |
blob | commitdiff | diff to current |
2006-09-18 |
Manuel M T Chakravarty | Remove argument variance info of tycons |
blob | commitdiff | diff to current |
2006-09-18 |
Manuel M T Chakravarty | Partial changes for derived newtype instances |
blob | commitdiff | diff to current |
2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
2006-05-17 |
simonpj@microsoft.com | White space only |
blob | commitdiff | diff to current |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|