Allow recursive (undecidable) superclasses
[ghc.git] / compiler / specialise /
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-04  Bartosz NitkaMake callToPats deterministic in SpecConstr
2015-12-02  Bartosz NitkaImplement more deterministic operations and document...
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-11  Bartosz NitkaPut kind variables before type variables when specializing
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-10  Edward Z. YangRename SpecInfo to RuleInfo (upon SPJ's advice).
2015-10-08  Edward Z. YangMove orphan instance/rule warnings to typechecker/desug...
2015-10-06  Simon Peyton JonesRemove dead code: ruleLhsOrphNames
2015-09-02  Thomas MiedemaTestsuite: don't warn about missing specialisations
2015-08-05  Simon Peyton JonesWarn about missed specialisations for imports
2015-08-03  Gabor GreifTypos in comments [skip ci]
2015-07-30  Simon Peyton JonesDeal with phantom type variables in rules
2015-07-23  Simon Peyton JonesSlight refactoring to the fix for #4012
2015-07-21  Simon Peyton JonesDo occurrence analysis on result of BuiltInRule
2015-07-21  Simon Peyton JonesAvoid out-of-scope top-level Ids
2015-07-17  Bartosz NitkaReduce non-determinism in ABI hashes with RULES and...
2015-07-13  Simon Peyton JonesAnother comment with a leading # (sigh)
2015-07-13  Simon Peyton JonesMake sure rule LHSs are simplified
2015-07-06  Ben GamariSpecialise: Avoid unnecessary recomputation of free...
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-20  Edward Z. YangFilter orphan rules based on imports, fixes #10294...
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-01  Austin Seippcompiler/specialise: shut match_co up a bit
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-01  Simon Peyton JonesComments only
2015-04-29  Simon Peyton JonesSeed SpecConstr from local calls
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-03-17  Simon Peyton JonesMove declaration of Rulebase from Rules to CoreSyn
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-16  Peter WortmannSource notes (Core support)
2014-12-03  Austin Seippcompiler: de-lhs specialise/
2014-10-17  Joachim BreitnerAvoid printing uniques in specialization rules
2014-09-27  Thomas MiedemaStop exporting, and stop using, functions marked as...
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-08-29  Simon Peyton JonesBetter specImport discarding message (again)
2014-08-29  Simon Peyton JonesImprove "specImport discarding" message
2014-08-28  Simon Peyton JonesComments only
2014-08-28  Simon Peyton JonesAdd -fspecialise-aggressively
2014-08-28  Simon Peyton JonesRefactor unfoldings
2014-08-25  Simon Peyton JonesMore refactoring in SpecConstr
2014-08-25  Simon Peyton JonesDo not duplicate call information in SpecConstr (Trac...
2014-08-25  Simon Peyton JonesIntroduce the Call data types
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-05-05  Simon Peyton JonesImprove comments and tracing in SpecConstr
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-02-13  Gabor GreifFix some typos in comments
2014-02-11  Joachim BreitnerRemove eta-expansion in Rules.match
2014-02-11  Joachim BreitnerUse exprIsLambda_maybe in match
2014-02-11  Joachim BreitnerAdd Case TyConAppCo to match_co
2014-02-10  Joachim BreitnerNote [Eta expansion in match]
2014-01-20  Joachim BreitnerSimplify doCorePass
2014-01-14  Austin SeippFix TyCon import
2014-01-14  Austin SeippFix ./validate failure due to -Werror
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-12  Simon Peyton JonesImprove the handling of used-once stuff
2013-12-09  Joachim BreitnerReplace mkTopDmdType by mkClosedStrictSig
2013-11-22  Simon Peyton JonesReplace (State# RealWorld) with Void# where we just...
2013-10-25  Austin SeippUpdate documentation regarding SpecConstr.
2013-10-25  Austin SeippMake SpecConstr also check for GHC.Types.SPEC
2013-10-12  Krzysztof GogolewskiTypos
2013-09-11  Austin SeippFix AMP warnings.
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-02  Simon Peyton JonesMake Specialise close over kind variables (fixes Trac...
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-30  Patrick PalkaMerge branch 'master' into ghc-parmake-gsoc
2013-08-30  Patrick PalkaFix comment typos that interfere with syntax highlighting
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-07-31  Jan StolarekMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-07-31  Gabor GreifFix typos
2013-07-06  Patrick PalkaAvoid needlessly splitting a UniqSupply when extracting...
2013-05-30  Simon Peyton JonesRefine 'type_determines_value' in Specialise. Fix...
2013-05-30  Simon Peyton JonesMake 'SPECIALISE instance' work again
2013-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-05-15  Amos RobinsonSpecConstr: seed specialisation of top-level bindings...
2013-05-03  Simon Peyton JonesDo not duplicate work in SpecConstr (fix Trac #7865)
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-04-11  Nicolas Frisbyignore RealWorld in size_expr; flag to keep w/w from...
2013-03-28  Amos RobinsonFix non-termination of SpecConstr (see #5550).
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-11  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-02-11  Simon MarlowMerge remote-tracking branch 'phonohawk/ticket-7498'
2013-02-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-11  Simon Peyton JonesExtra comment about the fix to Trac #5113
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesFix an old and egregious specialisation bug (Trac ...
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-02-02  Amos RobinsonMinor documentation and indentation/layout fixes to...
next