| 2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
tree | commitdiff |
| 2006-12-29 |
Manuel M T Chakravarty | Construction of EqPred dictionaries |
tree | commitdiff |
| 2006-12-13 |
andy@galois.com | Removing explicit Binary Tick Boxes; using Case instead. |
tree | commitdiff |
| 2006-12-11 |
simonpj@microsoft.com | Add comments, plus fix zapFragileInfo to zap worker... |
tree | commitdiff |
| 2006-12-04 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
| 2006-11-29 |
andy@galois.com | TickBox representation change |
tree | commitdiff |
| 2006-11-28 |
Kirsten Chevalier | retain arity for let-bound vars in simplifier |
tree | commitdiff |
| 2006-11-25 |
Ian Lynagh | Add some Outputable instances |
tree | commitdiff |
| 2006-11-24 |
simonpj@microsoft.com | Use existing Ord instance on Int, saving code |
tree | commitdiff |
| 2006-11-24 |
simonpj@microsoft.com | Use existing function uniqAway instead of duplicating... |
tree | commitdiff |
| 2006-11-10 |
Samuel Bronson | Zap stray whitespace in lhs formatting |
tree | commitdiff |
| 2006-11-08 |
Samuel Bronson | Doc nit in OccName |
tree | commitdiff |
| 2006-11-10 |
simonpj@microsoft.com | Patch to demand analyser, to handle polymorphism in... |
tree | commitdiff |
| 2006-11-02 |
simonpj@microsoft.com | Improve handling of unused imports (test is mod75) |
tree | commitdiff |
| 2006-11-01 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
| 2006-11-01 |
simonpj@microsoft.com | Make idInfo fail more informatively on TyVars |
tree | commitdiff |
| 2006-10-20 |
Manuel M T Chakravarty | Fix processing of imports involving ATs with the new... |
tree | commitdiff |
| 2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
tree | commitdiff |
| 2006-10-13 |
simonpj@microsoft.com | Change type of TcGadt.refineType, plus consequences |
tree | commitdiff |
| 2006-10-13 |
simonpj@microsoft.com | More refactoring in RnNames |
tree | commitdiff |
| 2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
tree | commitdiff |
| 2006-10-11 |
Simon Marlow | Interface file optimisation and removal of nameParent |
tree | commitdiff |
| 2006-10-10 |
Simon Marlow | add extendNameEnvList_C |
tree | commitdiff |
| 2006-10-10 |
Simon Marlow | Use ":Co", not "Co" to prefix coercion TyCon names |
tree | commitdiff |
| 2006-10-10 |
Manuel M T Chakravarty | Removed unused unwrapFamInstBody from MkId |
tree | commitdiff |
| 2006-10-06 |
simonpj@microsoft.com | Import trimming |
tree | commitdiff |
| 2006-10-05 |
simonpj@microsoft.com | Take 2 on the recursive-rule fix |
tree | commitdiff |
| 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 |
|
projects / ghc-hetmet.git / history