A (final) re-engineering of the new typechecker
[ghc-hetmet.git] / compiler / specialise /
2007-04-20 simonpj@microsoft.comFix the GHC.Base.inline builtin rule
2007-03-30 simonpj@microsoft.comMatch the type of an Id during rule matching
2007-02-27 simonpj@microsoft.comMake let-matching work in Rules again
2007-02-21 simonpj@microsoft.comImport trimming
2007-02-21 simonpj@microsoft.comDeal more correctly with orphan instances
2007-02-09 simonpj@microsoft.comMajor improvement to SpecConstr
2007-02-06 simonpj@microsoft.comRename local variable (no semantic effect)
2007-02-06 simonpj@microsoft.comComments and debug output
2007-02-06 simonpj@microsoft.comImprove rule-matching for let expressions
2007-02-06 simonpj@microsoft.comDo more wild-carding in SpecConstr; I'm not quite sure...
2007-02-06 simonpj@microsoft.comFix a small bug when comparing patterns for equality
2007-02-02 simonpj@microsoft.comLook through Notes when generating and matching RULES
2007-01-03 simonpj@microsoft.comFix several bugs related to finding free variables
2006-11-29 simonpj@microsoft.comRemove trace
2006-11-29 simonpj@microsoft.comTeach SpecConstr how to handle mutually-recursive functions
2006-11-29 simonpj@microsoft.comComments only
2006-11-29 simonpj@microsoft.comMake SpecConstr work right for nullary constructors
2006-11-24 simonpj@microsoft.comMake SpecConstr more aggressive, by neglecting reboxing
2006-11-24 simonpj@microsoft.comFix name-capture bug in rule matching
2006-11-06 simonpj@microsoft.comVarious debugging print changes; nothing exciting
2006-11-01 simonpj@microsoft.comMajor overhaul of the Simplifier
2006-10-05 simonpj@microsoft.comTeach SpecConstr about Cast 2006-10-05
2006-09-29 simonpj@microsoft.comMatch let before lambda in rule-matching (see comment...
2006-09-22 simonpj@microsoft.comImprove specialisation in SpecConstr
2006-09-22 simonpj@microsoft.comRemove use of isVanillaDataCon, which was wrong under...
2006-09-22 simonpj@microsoft.comTrim imports, reformatting
2006-09-19 Manuel M T ChakravartyAdapt new SpecConstr functionality to GADT datacons
2006-09-15 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-08-01 kevind@bu.eduAdd missing Cast cases to libCase and scExpr
2006-08-16 simonpj@microsoft.comTuning for argToPat
2006-08-16 simonpj@microsoft.comRefactoring, plus record recursive-function *components...
2006-08-16 simonpj@microsoft.comRecord constructor arg occs correctly (bug-fix)
2006-08-15 simonpj@microsoft.comSpecConstr now specialises on constants and lambdas
2006-08-15 simonpj@microsoft.comFix two bugs in rule-matching
2006-08-10 simonpj@microsoft.comComments about improvements to SpecConstr
2006-06-27 simonpj@microsoft.comAdd comments to SpecConstr
2006-06-27 simonpj@microsoft.comMake SpecConstr work better for nested functions
2006-06-26 simonpj@microsoft.comMore SpecConstr tuning
2006-06-24 simonpj@microsoft.comImprove RULE matching a bit more
2006-06-21 simonpj@microsoft.comTransfer INLINE to specialised functions
2006-06-05 simonpj@microsoft.comRemove InlinePlease and add inline function and RULE
2006-05-25 simonpj@microsoft.comMake rule-matching robust to lets
2006-05-23 simonpj@microsoft.comRun simplifier before SpecConstr
2006-05-04 simonpj@microsoft.comFix a bug in rule matching
2006-05-04 simonpj@microsoft.comFix constructor-specialisation bug
2006-04-12 simonpj@microsoft.comCosmetics in SpecConstr
2006-04-07 Simon MarlowReorganisation of the source tree