Messages by Date
-
2012/10/04
[commit: ghc] : Add FIXME about rigid occurrence info (94903de)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix the instantiation check in msgMatch (bd4c506)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Add a FIXME about the effects on termination of instance-MSGing (8229fa6)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Correct the types of generalised term binders (f4cc350)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Small tweak to MSG utility function (a509ad4)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Remove spurious trace (ec93b38)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : My MSG common-binder knot was too knotty (8d23383)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Fix some long-standing binder-FV issues, especially in evaluator FVs (d0da162)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Babysteps towards a better MSG where outgoing occurrences have correct info (8e4b2ae)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Carefully do inverted-rename on types in invertRenaming (e8b2ca3)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Restrict assertion (ebe007c)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Make corresponding TyVar/KindVar changes to Match (75adf92)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Check for kindvar/tyvar mismatch in MSG (5725453)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Small comments and things (6325e20)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Some FIXMEs about common-heap-vars optimisation in presence of MSG (0b86b7a)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Fix major brainfart in msgVarBndr (d9eac57)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Comments and commoning-up of InstanceMatching (8b3355f)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Use MSG to implement matching in Process3 (experimentally) (80a4201)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : FIXME only (f20b2f7)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Comment only (596159a)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Further musing about the common-heap-vars hack for MSG (25a4e4b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Fix a number of egrarious errors in matching and MSG+MSG-matching (c897385)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Preserve the common-heap-vars invariant in MSG, exploit it more from Process3 (just use InScopeSet) (f79e0c5)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Tweak dead type defaulting (007e710)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Tweaks to MSG, especially WRT handling of let-bound heapbindings (e7cd0ba)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Add some FIXMEs (13c4e4d)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Allow duplication of cheap stuff (not just values) when preparing term unfoldings (e736d60)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : A marvellous method for allowing MSG to try to avoid generalisation for (x, e) pairs (2b41c3d)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Add comment about Indirect (094d50e)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Incorporate the 'common heap vars' optimisation into MSG (245bdd8)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Slight cleanup in applyAbsVars: loop with an InScopeSet instead of VarSet (a1355a8)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Add the missing PendingTerm handling to MSG (de1964e)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Deal with non-matching heap binders by forcing generalisation (1685b29)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Extensive notes on match loops due to term-term matching (5ea5aa6)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Add FIXME reminding me to remove PrimOp (95fd4a1)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Preliminary thoughts about renaming via MSG, invertRenaming (170cee5)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Tweak comment only (8b96ed2)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix a number of potential shadowing bugs in MSG, improve choice of Uniques at the same time (0a1f003)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Add additional check to the common-heap-vars match optimisation (07e29c3)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Comments about binder MSG only (4684028)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Experiment: allow common heap binders to clash with left/right heap binders (9df6981)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix stupid variable shadowing bug (ead945c)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Unfailing term MSGing (50e7af2)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Comment only (1721b87)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Space only (6b68150)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Mark lambda contexts and be selective about what MSG floats from them (021e35b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Brackets only (4b7623b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Ensure we can copy in lambdaBound bindigns for update frames in MSG (56c89c4)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Addendum to previous free vars fix: the InScopeSet also has to include the added FVs (e3cc6d6)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Tweak computation of MSG stack generalisation flag (fab4a36)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Comment only (8be1741)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : MSGing *changes* FVs, so it is invalid to just traverse the Anned constructor. Doh. (355a9c9)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Make type MSG unfailing (81555a5)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: MSG type instantiations (7e111d4)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Unfailingly MSG coercions (7454df3)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Disable rules when simplifying stable unfolding to work around GHC.List non-termination (5aa31d1)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Remove MonadFix instance for MSG (f3a333a)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Current best guess at incorporating MSG (3a164c5)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Ensure we add renamings to both sides when MSGing lambda bound heap bindings (e524ff3)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Tidy error message (40663c3)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Tidy some traces, imports (97d2022)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Remove near-useless trace (9156564)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Fix the rollback check, which appeared to be totally broken (e8691a0)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Better setting of generalisation flags in MSG (37d1c06)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Start computing unfoldings for GHC's heuristics at the occurrence sites (more reliable) (5c99f5b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Had the same bugs in matching recursive lets as I did in the MSGer (541667e)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Pick up free variables of FV unfoldings correctly when constructing heap (ab79ca3)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Push normalisation in (in the evaluator) in preparation for speculative inlining experiment (fdc77e4)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: More debug traces (996d414)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Add ability to set default inline pragmas for the whole module (can be overriden by specific ones) (511ec13)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Correctly deal with recursive binding when MSGing, report better errors upon failure (daf45f1)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Checkpoint changes to error reporting (56e6ca5)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Comment only (859677f)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Garbage collect in evaluator to detect used-once (7be7c81)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Add option for history tree (9586966)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: A whole mess of inlining heuristics (52e6777)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Check shouldExposeUnfolding in the evaluator too (d437772)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Generalise residualisation code (bc6a883)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Collect reasons as to why unfoldings couldn't be used, experimentally allow non-loopbreaker inlinings (ec2f7fc)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Start paying attention to loop-breaker-ness again (a7cf8d9)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: More feedback from ghcHeuristics (6f53c83)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Collect tags from AltCons as well because of positive information propagation (6c499e6)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Messing with the heuristics (db8fd4d)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Rejig AbsVar handling so that dead TyVars get substituted in even at immediate tieback sites (92cbcf2)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Grow some primitive inlining heuristics in the evaluator (5e91a45)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Tag primops specially, skip wrappers for saturated occurrences (98ac939)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Comment only about evaluatePrim (2ce5cd2)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix shadowing bug in DFunUnfoldings that showed up as a lint failure (15031a3)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Add SUPERINLINABLE pragma (6040009)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Use localiseId when manufacturing Id for positive information (8cf2d73)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix intensely stupid bug in binding partitioning (4f6c5f5)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix possible kinding error associated with defaulting dead type variables (3506e62)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Try to improve resid-tag tracking (83e1155)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix possible out-of-scope error in CoreBinds to CoreTerm translation (2d199e5)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Garbage collect when determining stateAbsVars since we stopped doing it in reduceForMatch (f62af23)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Small comment with data about bernouilli (b52b1b4)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Improve TagBag pretty-printing (2479681)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Make children summary info shorter (251b7ae)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Correct the commenting-out of the GC call (cbbb6fa)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Note about GCing before match, fixes a termination bug (6972dc8)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : In the evaluator, trim stack frames that are unreachable due to bottoming Ids (4cf0709)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Change lookupIdSubst to rename global variables if a mapping is available (5a51410)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Fix small bug in speculation and add multiple comments (ddde588)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Put the bulk of the tracing under flag control (521b522)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Deforest everything in sight (8da007b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Pretty-print indirection specially (977fd43)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Carefully rethink what the tag in a CastBy actually means and update the code with the new story (3234ffd)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Correct the circumstances in which SC IdInfo gets ppred (c027f2e)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Make use of SUPERCOMPILE pragmas when deciding what to SC (e144ebd)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: When abstracting over variables in the supercompiler, abstract over dictionaries first (cabf31d)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Another attempt at Binds->Term translation (b896fa8)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Fix selective supercompilation: suck in all things *referred to*, not *referring to us* (f5ead43)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Correct flag name for memo cache preinitializatio (85be468)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : SCC annotations all over the supercompiler (e0adb99)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Preinitalization changes, normalise in eta-expansion: still a bit buggy, see GHC.Base.>>= in exp3_8 (5431587)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Add SUPERCOMPILE pragma (fa53953)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Only abstract over RealWorld# conditionally (89be615)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Non-preinitialization binds must go outside h functions (8f3fe71)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : The to_binds when not preinitalizing are of mixed liftedness (8402d15)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix some instances where I had forgotten to consider varBndrFreeVars (0db230a)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix a major bug with no-preinit where too many bindings were being eliminated post-speculation + some comments (ec50705)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Changes to supercompiler code required to build after merge (3ebcf84)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Fix longstanding bug in stateType calculation for primop stack frames (7f4593a)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Zap binders in Binds->Term to work around GHC simplifier weirdness (3b6037c)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Put Core-specific type-finding functions in the core module hierarchy (76e2d6a)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Remove unused import (0190e41)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Redefine tcSplitDFunTy so that it returns the types of the theta as well (c30fc1d)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix the DFunUnfolding elaboration so it isn't totally bogus (3d7a447)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Explicit import lists from Data.Monoid to prevent <> clash (8b70add)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Remove unused variable (fa91ea7)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Support supplying a set of common variables to the matcher (a246e38)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Let the splitBy functions report failure (bd7d252)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: First version of heap instance-matching (7092279)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fill out the PtrRep case for when manufacturing dead argument fillers (cf3ba89)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Half-hearted attempt to deal with rollback to non-ancestors (60e024c)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Comment out match failure trace (very verbose) (caa251b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Missing lazy pattern match in eta (b24884b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Thread speculation history in attempt to tame huge speculation times (4b56943)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Add parent tracing to speculation (5688858)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Use Train data type for promises tree instead (more precise), allow ancestor instance match (595e672)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Remove unused var warnings (d3bd75e)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : GC less agressively in speculation (2d2e20b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Small tweaks only (48ae26a)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Put eager value splitting under flag control (01c11dd)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Be less verbose when showing MatchLRs (terms are too large to include) (254acbf)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Pretty print on instance match (fbe7ad2)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Have prepareTerm return a preinitialized version of the term as well (b85fbf2)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Implement instance-matching, including splitter support. This does indeed break map-map (924f142)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Memo table preinitialization in Process3 (d1b4982)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Rethink skipping in Process3 memoisation (5297bd7)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Full (possibly working) instance matching on ancestors, marking of generalised heap bindings/stack (883dcb6)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : New implementation of explicit promise tree (cleaner) (5bc0b5a)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Try to deal with the stack in instantiation-copying logic (00c8ffc)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Fix Process summary stats for shallow trees (3280555)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Some commented prettyprints for speculation (6a8fd8b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Redundant import (6cf81dd)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: GC state in speculator to make termination check more lenient (324b1eb)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Add utility functions for working with mixed type/value applications (e5fa1ba)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Weaken assertion in gc function (8a11d51)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Checkpoint work on true instance-matching (bcf49e8)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Make StaticFlags actualy work as command line arguments (02566ff)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Put positive information propagation under Staticflags control and turn it off (235e966)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix a bug where the talis of a generalised state would not be manifest (854e276)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Checkpoint adding exceptions to Process3 (a0e1613)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Trim imports (ee54e4f)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : I was preventing match too eagerly by counting too many bindings as 'lambdaish' (de136af)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Rollback (1219132)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Add depth histogram, data structure summariser for leaf nodes (eb767cf)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Show all deepest paths, not just one of them (d6689d9)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Ensure we localise AbsVars when building binding sites (167fed1)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Use a VoidRep placeholder that doesn't crash the simplifier (7b37a89)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Comment only (932905e)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Introduce CheckOnly memoisation mode (0f394cd)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix SAT (c5eac68)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Filter case alternatives in Split to take advantage of type refinement and eliminate stupid default cases (6c485f4)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Put case-alt refinement under flag control since it may be causing even more divergence in Main5 (16d25e3)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Show deepest path in SC at end of supercompilation (dac1dfb)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Record generalisation info in children tree (d5374d3)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Fix map-map fusion >_> (cf0f6dd)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Static-argument-transform some functions that are likely in the inner loop of term matching (38f41ba)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Make impossible-alternative-finding code more reusable (4fc8355)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Was removing too many FVs from the shell (02ca04f)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Remove warning (480ac43)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix long-standing bug in zipBracketeds, exposed by eager value splitting (6f08f8b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Improve deepest-path printing (ed02c26)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Tweaks to eager value splitting code only (854c774)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Do not externalise non-Ids (043abae)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Add dEPTH_LIIMT (5851773)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Debugging aid: summary of node descendant count (4549ab0)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Comment about indirections only (dd15e91)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix a horrible matching bug that was causing too many binder pairs to be matched rigidly (ee61318)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Comment only (fa5cfc0)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix free variables when deeply splitting values (27024dc)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Better pretty-printing for lambdas (more horizontally compact) (e53710f)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Changes with Simon (4f815dd)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Fix Entered information when eager splitting (7ced16b)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Teach the splitter that the body of TyLambdas do not duplicate work (c302fb9)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Small code cleanup to improve the output of RealWorld# arguments (343b8ac)
Max Bolingbroke
-
2012/10/04
[commit: ghc] : Avoid overflow when using Deeds maxBound (6ced9eb)
Max Bolingbroke
-
2012/10/04
[commit: ghc] supercompiler: Stuff (921490e)
Max Bolingbroke