2006-10-04 |
simonpj@microsoft.com | Fix comment in RdrName |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Tidy tyvar OccNames in TcTyClDecl |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Second bite at the rules-only idea |
tree | commitdiff |
2006-10-03 |
simonpj@microsoft.com | Make recursion and RULES interact better |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Remove ASSERT from mkDataCon, and add comments to expla... |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Add VarSet.disjointVarSet, and use it |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix type checking of imported data instances |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix category of representation tycon |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Get of fam inst index in ifaces |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Straightened out implicit coercions for indexed types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Pattern matching of indexed data types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Introduce coercions for data instance decls |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Extend TyCons and DataCons to represent data instance... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Removed spurious + due to manual patching |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Comments about datacon worker and wrappers |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Flip direction of newtype coercions, fix some comments |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Chagne newtype wrapper into worker |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Clean up unused imports, definitions and arguments |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix assertion and default case for GADT record selectors |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | make dataConInstPat take a list of FastStrings rather... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Just clean-up, no functional changes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Get rid of special case for Vanilla tycon record select... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix problem with selectors for GADT records with unboxe... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Minor tidying up |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Remove bogus ASSERT from MkId |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix default case filling-in for GADTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fixing record selectors |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | GADT selector bugfix, bits of cleanup |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix some GADT record selector bugs (still some remaining) |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Make data con wrappers for GADTs express the user type... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Comments only |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix bugs, add boolean flag to identify coercion variables |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fixed bug in product unboxing |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | finished product unboxing through newtypes and proper... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Comment |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | towards unboxing through newtypes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | bugs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | towards newtype deriving dicts |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
tree | commitdiff |
2006-09-18 |
Manuel M T Chakravarty | Type tags in import/export lists |
tree | commitdiff |
2006-09-18 |
Manuel M T Chakravarty | Deriving Eq for OverlapFlag again |
tree | commitdiff |
2006-09-18 |
Manuel M T Chakravarty | GADT pattern matching fix |
tree | commitdiff |
2006-09-18 |
Manuel M T Chakravarty | Simplify mkDataCon slightly |
tree | commitdiff |
2006-09-18 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
2006-08-04 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2006-09-12 |
audreyt@audreyt.org | Take away XXXs in GADT records related code that are... |
tree | commitdiff |
2006-09-11 |
simonpj@microsoft.com | Add comment |
tree | commitdiff |
2006-09-07 |
simonpj@microsoft.com | Fix the handling of names in declaration brackets |
tree | commitdiff |
2006-08-15 |
simonpj@microsoft.com | Make UniqSM into a proper monad |
tree | commitdiff |
2006-08-11 |
simonpj@microsoft.com | Improve error message (imported from Prelude at Implici... |
tree | commitdiff |
2006-08-11 |
Simon Marlow | use "Defined in" rather than "Imported from" when print... |
tree | commitdiff |
2006-08-08 |
simonpj@microsoft.com | Remove srcSpanStartLine/srcSpanEndLine crash |
tree | commitdiff |
2006-07-28 |
Simon Marlow | .hi-boot-5 is obsolete; the earliest GHC we support... |
tree | commitdiff |
2006-07-28 |
Simon Marlow | update to match .lhs-boot |
tree | commitdiff |
2006-07-25 |
Simon Marlow | Unbox the Unique stored in a Name |
tree | commitdiff |
2006-07-25 |
Simon Marlow | Make a SplitUniqSupply contain an Int# rather than... |
tree | commitdiff |
2006-07-25 |
Simon Marlow | Generalise Package Support |
tree | commitdiff |
2006-06-29 |
simonpj@microsoft.com | Remove long-redundant FieldLabel.lhs |
tree | commitdiff |
2006-06-24 |
simonpj@microsoft.com | Improve RULE matching a bit more |
tree | commitdiff |
2006-06-21 |
simonpj@microsoft.com | Arity and eta-expansion tuning |
tree | commitdiff |
2006-05-25 |
simonpj@microsoft.com | Make rule-matching robust to lets |
tree | commitdiff |
2006-05-22 |
simonpj@microsoft.com | Add idHasRules |
tree | commitdiff |
2006-05-17 |
simonpj@microsoft.com | Newtype data constructors get a compulsory unfolding |
tree | commitdiff |
2006-05-08 |
simonpj@microsoft.com | Remove NOINLINE strictness hack |
tree | commitdiff |
2006-04-20 |
Josef Svenningsson | Comments only |
tree | commitdiff |
2006-04-14 |
simonpj@microsoft.com | Recover gracefully from a Template Haskell programmers... |
tree | commitdiff |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
tree | commitdiff |
|