2008-01-25 |
Twan van Laarhoven | Fixed warnings in coreSyn/CoreUtils, except for incompl... |
tree | commitdiff |
2008-01-25 |
Twan van Laarhoven | Fixed warnings in coreSyn/CoreUnfold |
tree | commitdiff |
2008-01-25 |
Twan van Laarhoven | Fixed warnings in coreSyn/CorePrep |
tree | commitdiff |
2008-01-25 |
Twan van Laarhoven | Fixed warnings in coreSyn/CoreSubst |
tree | commitdiff |
2008-01-25 |
Twan van Laarhoven | Fixed warnings in coreSyn/CoreLint |
tree | commitdiff |
2008-01-25 |
Twan van Laarhoven | Fixed warnings in coreSyn/CoreFVs, except for incomplet... |
tree | commitdiff |
2008-01-18 |
Twan van Laarhoven | Fix warnings in coreSyn/CoreTidy |
tree | commitdiff |
2008-01-18 |
Twan van Laarhoven | Fix warnings in coreSyn/CoreSyn |
tree | commitdiff |
2008-01-25 |
simonpj@microsoft.com | Be a little keener to inline |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify coreSyn/CorePrep: use do, return, applicative... |
tree | commitdiff |
2008-01-17 |
Isaac Dupree | lots of portability changes (#1405) |
tree | commitdiff |
2008-01-17 |
simonpj@microsoft.com | Add missing extendSubst |
tree | commitdiff |
2008-01-16 |
simonpj@microsoft.com | A bottoming function should have infinite arity |
tree | commitdiff |
2007-12-21 |
simonpj@microsoft.com | Improve handling of newtypes (fixes Trac 1495) |
tree | commitdiff |
2007-12-13 |
Roman Leshchinskiy | Don't dump simplifier iterations with -dverbose-core2core |
tree | commitdiff |
2007-12-07 |
Manuel M T Chakravarty | Properly keep track of whether normalising given or... |
tree | commitdiff |
2007-12-04 |
simonpj@microsoft.com | Improve inlining for INLINE non-functions |
tree | commitdiff |
2007-11-28 |
simonpj@microsoft.com | Check for duplicate bindings in CoreLint |
tree | commitdiff |
2007-11-08 |
simonpj@microsoft.com | Fix Trac #1654: propagate name changes into CoreRules |
tree | commitdiff |
2007-11-05 |
simonpj@microsoft.com | Improve pretty-printing of Core slightly (avoid indenti... |
tree | commitdiff |
2007-11-05 |
simonpj@microsoft.com | Make CoreLint give a more informative error message |
tree | commitdiff |
2007-10-03 |
Simon Marlow | refactoring only: use the parameterised InstalledPackag... |
tree | commitdiff |
2007-10-01 |
Manuel M T Chakravarty | FIX #1738: KPush rule of FC must take dataConEqTheta... |
tree | commitdiff |
2007-09-08 |
Ian Lynagh | Make various assertions work when !DEBUG |
tree | commitdiff |
2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
tree | commitdiff |
2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
tree | commitdiff |
2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
tree | commitdiff |
2007-08-28 |
Manuel M T Chakravarty | Type checking for type synonym families |
tree | commitdiff |
2007-08-22 |
simonpj@microsoft.com | Trim imports |
tree | commitdiff |
2007-08-09 |
simonpj@microsoft.com | Tidy up the treatment of newtypes, refactor, and fix... |
tree | commitdiff |
2007-07-02 |
Ian Lynagh | Remove mapAccumL, mapAccumR, mapAccumB |
tree | commitdiff |
2007-05-23 |
simonpj@microsoft.com | Drop redundant import |
tree | commitdiff |
2007-05-11 |
Simon Marlow | Store a SrcSpan instead of a SrcLoc inside a Name |
tree | commitdiff |
2007-05-11 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2007-05-10 |
Michael D. Adams | Warning fix for unused and redundant imports |
tree | commitdiff |
2007-05-03 |
simonpj@microsoft.com | Fix dependency information for RULES |
tree | commitdiff |
2007-05-03 |
simonpj@microsoft.com | Remove "__" prefix for forall when printing a RULE |
tree | commitdiff |
2007-05-03 |
Ian Lynagh | Make coreSyn/CoreUtils.lhs compile |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Warning police |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Layout only |
tree | commitdiff |
2007-04-25 |
simonpj@microsoft.com | Improve hashing of expressions for CSE (reduces warning... |
tree | commitdiff |
2007-04-25 |
simonpj@microsoft.com | Retain inline-pragma information on unfoldings in inter... |
tree | commitdiff |
2007-04-22 |
simonpj@microsoft.com | Comments only (concerning rewrite rules) |
tree | commitdiff |
2006-11-13 |
Aaron Tomb | Fix external core syntax (though not full compilation) |
tree | commitdiff |
2007-03-30 |
simonpj@microsoft.com | The ru_local field of a CoreRule is False for implicit Ids |
tree | commitdiff |
2007-02-21 |
simonpj@microsoft.com | Import trimming |
tree | commitdiff |
2007-02-21 |
simonpj@microsoft.com | Deal more correctly with orphan instances |
tree | commitdiff |
2007-02-09 |
simonpj@microsoft.com | Major improvement to SpecConstr |
tree | commitdiff |
2007-02-05 |
simonpj@microsoft.com | Establish the CoreSyn let/app invariant |
tree | commitdiff |
2007-01-29 |
Kirsten Chevalier | Two new warnings: arity differing from demand type... |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Fix several bugs related to finding free variables |
tree | commitdiff |
2006-12-13 |
andy@galois.com | Removing explicit Binary Tick Boxes; using Case instead. |
tree | commitdiff |
2006-12-03 |
Ian Lynagh | MERGE: In hashExpr, use Word32 rather than relying... |
tree | commitdiff |
2006-11-29 |
andy@galois.com | TickBox representation change |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Drop redundant parens in pretty-printing |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Improve hashing of expressions |
tree | commitdiff |
2006-11-06 |
simonpj@microsoft.com | Tidy up substitutions |
tree | commitdiff |
2006-11-01 |
Samuel Bronson | Get External Core (-fext-core) working with readline |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Major overhaul of the Simplifier |
tree | commitdiff |
2006-10-25 |
andy@galois.com | an expression with a TickBox round it is not in HNF. |
tree | commitdiff |
2006-10-24 |
andy@galois.com | Haskell Program Coverage |
tree | commitdiff |
2006-10-18 |
simonpj@microsoft.com | Fix a bug in Lint (which wrongly complained when compil... |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
tree | commitdiff |
2006-10-11 |
simonpj@microsoft.com | Improve pretty-printing slightly |
tree | commitdiff |
2006-10-11 |
Simon Marlow | More import tidying and fixing the stage 2 build |
tree | commitdiff |
2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
tree | commitdiff |
2006-10-06 |
simonpj@microsoft.com | Comments and an import-trim |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Correct the float-coercions-out-of-let patch |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Comments and layout |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Remove unused OccInfo (simplification) |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Take 2 on the recursive-rule fix |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Second bite at the rules-only idea |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Improve pretty-printing of Core |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Another correction to the (subtle) exprIsConApp_maybe |
tree | commitdiff |
2006-09-27 |
simonpj@microsoft.com | Fix exprIsConApp_maybe (wasn't dealing properly with... |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Small refactoring |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Missing imports in CoreUtils |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Include the existential dictionaries in dataConOrigInstPat |
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 | make dataConInstPat take a list of FastStrings rather... |
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 | Fix bug in type checking interface DataAlts |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix big-lambda eta expansion, add comments |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix Lint for alts involving shadowing of type variables... |
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 | clean up Coercion kinding functions, rename coercionKin... |
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 | Complete the evidence generation for GADTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | some bug-fixes, newtype deriving might work now |
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 | Massive patch for the first months work adding System... |
tree | commitdiff |
2006-09-06 |
simonpj@microsoft.com | Add comment for the invariant that DataAlt is never... |
tree | commitdiff |
2006-08-06 |
Manuel M T Chakravarty | Fix a lint bug with coercions |
tree | commitdiff |
next |