gmane.comp.lang.haskell.cvs.ghc archive
3454 archived articles, newest first (page 30 of 35). Latest articles →
[commit: ghc] supercompiler: Include the init_xes when deciding which extra bindings need to be resid (ab9c02f)
Thu, 04 Oct 2012 07:26:47 -0700[commit: ghc] supercompiler: Correct the types of generalised term binders (f4cc350)
Thu, 04 Oct 2012 07:25:05 -0700[commit: ghc] : Fix free variables when deeply splitting values (27024dc)
Thu, 04 Oct 2012 07:16:56 -0700[commit: ghc] supercompiler: Small comments and code movements (c06362a)
Thu, 04 Oct 2012 07:26:28 -0700[commit: ghc] supercompiler: Tidy up MSG and make specGenVars non-strict in the knot tied variable (30c3d50)
Thu, 04 Oct 2012 07:27:24 -0700[commit: ghc] : Fix a number of potential shadowing bugs in MSG, improve choice of Uniques at the same time (0a1f003)
Thu, 04 Oct 2012 07:23:36 -0700[commit: ghc] : Ensure we don't wrap answers in spurious refl coercions, for the sake of rule matching (a91def9)
Thu, 04 Oct 2012 07:13:57 -0700[commit: ghc] : Remove duplicate export of mkCvSubst (699f273)
Thu, 04 Oct 2012 07:25:22 -0700[commit: ghc] : Small tweaks only (48ae26a)
Thu, 04 Oct 2012 07:18:57 -0700[commit: ghc] master: Fix the recompilation check for dynamic libraries (d1c8731)
Thu, 04 Oct 2012 04:48:33 -0700[commit: ghc] : I was preventing match too eagerly by counting too many bindings as 'lambdaish' (de136af)
Thu, 04 Oct 2012 07:18:22 -0700[commit: ghc] : Better setting of generalisation flags in MSG (37d1c06)
Thu, 04 Oct 2012 07:22:36 -0700[commit: ghc] supercompiler: Comment about indirections only (dd15e91)
Thu, 04 Oct 2012 07:17:22 -0700[commit: ghc] supercompiler: Refactor in terms of terminateM combinator (9bce977)
Thu, 04 Oct 2012 07:15:37 -0700[commit: ghc] supercompiler: Full (possibly working) instance matching on ancestors, marking of generalised heap bindings/stack (883dcb6)
Thu, 04 Oct 2012 07:19:08 -0700[commit: ghc] supercompiler's head updated: Remove some tabs the commit hook is complaining about (4f3f9f0)
Thu, 04 Oct 2012 07:28:12 -0700[commit: ghc] master: Refactor the shell-wrapper-creation logic (483c763)
Thu, 04 Oct 2012 04:48:17 -0700[commit: ghc] supercompiler: Implement graphical history, thread speculation properly (0e2dbf4)
Thu, 04 Oct 2012 07:15:27 -0700[commit: ghc] supercompiler: Another attempt at Binds->Term translation (b896fa8)
Thu, 04 Oct 2012 07:20:19 -0700[commit: ghc] supercompiler: Hack in some examples, not quite working (79010d3)
Thu, 04 Oct 2012 07:27:26 -0700[commit: ghc] : Check shouldExposeUnfolding in the evaluator too (d437772)
Thu, 04 Oct 2012 07:21:35 -0700[commit: ghc] : Add coercionKindNonRepr to work around coercionKind bug (028bb61)
Thu, 04 Oct 2012 07:13:34 -0700[commit: ghc] supercompiler: Disable rules when simplifying stable unfolding to work around GHC.List non-termination (5aa31d1)
Thu, 04 Oct 2012 07:22:10 -0700[commit: ghc] supercompiler: Ensure we can copy in lambdaBound bindigns for update frames in MSG (56c89c4)
Thu, 04 Oct 2012 07:22:58 -0700[nightly] 04-Oct-2012 build of HEAD (unreg) on x86_64-unknown-linux (cam-04-unx)
Thu, 04 Oct 2012 21:46:00 +0200[commit: ghc] supercompiler: Initial cut of plugin functionality. Plugin likely won't build (7ccd6ea)
Thu, 04 Oct 2012 07:11:36 -0700[commit: ghc] supercompiler: Extensive notes on match loops due to term-term matching (5ea5aa6)
Thu, 04 Oct 2012 07:23:47 -0700[commit: ghc] supercompiler: Pretty print on instance match (fbe7ad2)
Thu, 04 Oct 2012 07:18:39 -0700[commit: ghc] : Blah blah blah (b6bc3a0)
Thu, 04 Oct 2012 07:15:42 -0700[commit: ghc] : Fix to KPush that somehow got missed when I put universal type args in Data (9ac9f96)
Thu, 04 Oct 2012 07:13:45 -0700[commit: ghc] supercompiler: Fix major brainfart in msgVarBndr (d9eac57)
Thu, 04 Oct 2012 07:24:35 -0700[commit: ghc] supercompiler: Support for LitTy in Match/MSG (69a6dcf)
Thu, 04 Oct 2012 07:25:41 -0700[commit: ghc] supercompiler: Cast things are cheap as well (a1ba5fe)
Thu, 04 Oct 2012 07:13:29 -0700[commit: ghc] supercompiler: Whitespace only (ffbcbda)
Thu, 04 Oct 2012 07:25:20 -0700[commit: ghc] supercompiler: When abstracting over variables in the supercompiler, abstract over dictionaries first (cabf31d)
Thu, 04 Oct 2012 07:20:31 -0700Re: bit rotting of Haddock
Thu, 4 Oct 2012 13:23:42 +0100[commit: ghc] : Add FIXME about rigid occurrence info (94903de)
Thu, 04 Oct 2012 07:25:17 -0700[commit: ghc] : Change how we deal with dead variable FV improvement (2cbdf8b)
Thu, 04 Oct 2012 07:14:17 -0700[commit: ghc] master: Remove some old, commented out bits (29ee75a)
Thu, 04 Oct 2012 04:48:08 -0700[commit: ghc] : Fix shadowing bug in DFunUnfoldings that showed up as a lint failure (15031a3)
Thu, 04 Oct 2012 07:21:23 -0700[commit: ghc] : Rethink skipping in Process3 memoisation (5297bd7)
Thu, 04 Oct 2012 07:18:52 -0700[commit: ghc] : Dump debugging code (961326e)
Thu, 04 Oct 2012 07:11:02 -0700[commit: ghc] supercompiler: More cleanups in the evaluator, fix a bug where too many deeds would be released for cast application (bfde2ee)
Thu, 04 Oct 2012 07:12:49 -0700[commit: ghc] supercompiler: Fix some FV issues so that map-map actually doesn't loop (b4585b8)
Thu, 04 Oct 2012 07:26:05 -0700[commit: ghc] : Comment only (ac5c619)
Thu, 04 Oct 2012 07:13:26 -0700[commit: ghc] supercompiler: Improve deepest-path printing (ed02c26)
Thu, 04 Oct 2012 07:17:27 -0700[commit: ghc] supercompiler: Non-preinitialization binds must go outside h functions (8f3fe71)
Thu, 04 Oct 2012 07:20:14 -0700[commit: ghc] supercompiler: Fulfilments in Process2 (well, it typechecks) (d17c607)
Thu, 04 Oct 2012 07:14:58 -0700[commit: ghc] master: Add a flag to tell ghc to use $ORIGIN when linking program dynamically (58eaacc)
Thu, 04 Oct 2012 04:48:19 -0700[commit: ghc] supercompiler: Correct the circumstances in which SC IdInfo gets ppred (c027f2e)
Thu, 04 Oct 2012 07:20:34 -0700[commit: ghc] supercompiler: SC rollback doesn't have to fail, and improve split/generalise decision upon rollback (b895304)
Thu, 04 Oct 2012 07:27:55 -0700[commit: ghc] master: Put libexec binaries in lib/bin/ rather than just lib/ (d106284)
Thu, 04 Oct 2012 04:48:15 -0700[commit: ghc] supercompiler: Tweak to Evaluate to prevent a cast answer evaluating to itself in one step (triggers reduce-stop). Still needs work. (1849424)
Thu, 04 Oct 2012 07:13:31 -0700[commit: ghc] supercompiler: Move the notion of shortability to the IdInfo module for reuse in the supercompiler (bc152fc)
Thu, 04 Oct 2012 07:26:09 -0700[commit: ghc] supercompiler: Fixes for latest GHC, eliminate refls more agressively, real data type for Coerced (7754719)
Thu, 04 Oct 2012 07:14:32 -0700[commit: ghc] supercompiler: Add a FIXME (5d06bb4)
Thu, 04 Oct 2012 07:26:07 -0700[commit: ghc] : Preinitalization changes, normalise in eta-expansion: still a bit buggy, see GHC.Base.>>= in exp3_8 (5431587)
Thu, 04 Oct 2012 07:20:06 -0700[commit: ghc] : Collect reasons as to why unfoldings couldn't be used, experimentally allow non-loopbreaker inlinings (ec2f7fc)
Thu, 04 Oct 2012 07:21:45 -0700[commit: ghc] : Make StaticFlags actualy work as command line arguments (02566ff)
Thu, 04 Oct 2012 07:18:27 -0700RE: Changes to Typeable
Thu, 4 Oct 2012 10:39:53 +0000[commit: ghc] : Match types whenever we match Ids: SC now loops because we don't type-abstract enough (f500206)
Thu, 04 Oct 2012 07:11:11 -0700[commit: ghc] master: Add a "Dynamic by default" field to the ghc --info output (30b0871)
Thu, 04 Oct 2012 04:48:31 -0700[commit: ghc] supercompiler: Generalise the hack which prevented self-recursive thunks being residualised (c181a9c)
Thu, 04 Oct 2012 07:15:49 -0700[commit: ghc] supercompiler: Fix stupidity added to OptCoercion (753d5d3)
Thu, 04 Oct 2012 07:14:19 -0700[commit: ghc] supercompiler: More feedback from ghcHeuristics (6f53c83)
Thu, 04 Oct 2012 07:22:04 -0700[commit: ghc] supercompiler: Comment only (859677f)
Thu, 04 Oct 2012 07:21:40 -0700[commit: ghc] : Unfailing term MSGing (50e7af2)
Thu, 04 Oct 2012 07:23:26 -0700[commit: ghc] : Add depth histogram, data structure summariser for leaf nodes (eb767cf)
Thu, 04 Oct 2012 07:17:54 -0700[commit: ghc] supercompiler: Tweak computation of MSG stack generalisation flag (fab4a36)
Thu, 04 Oct 2012 07:22:52 -0700[commit: ghc] : Track residualised tags for syntax dup stats (259e6f6)
Thu, 04 Oct 2012 07:16:29 -0700[commit: ghc] master: Comments only (56a8c8a)
Thu, 04 Oct 2012 09:58:29 -0700[commit: ghc] : Add utility functions for working with mixed type/value applications (e5fa1ba)
Thu, 04 Oct 2012 07:18:12 -0700[commit: ghc] supercompiler: Change lookupIdSubst to rename global variables if a mapping is available (5a51410)
Thu, 04 Oct 2012 07:20:53 -0700[commit: ghc] supercompiler: Comment only (fa5cfc0)
Thu, 04 Oct 2012 07:17:20 -0700[commit: ghc] supercompiler: Correct flag name for memo cache preinitializatio (85be468)
Thu, 04 Oct 2012 07:20:21 -0700[commit: ghc] supercompiler: Allow duplication of cheap stuff (not just values) when preparing term unfoldings (e736d60)
Thu, 04 Oct 2012 07:23:58 -0700[commit: ghc] supercompiler: Fix various bugs to do with IdInfo (52e27bd)
Thu, 04 Oct 2012 07:14:35 -0700[commit: ghc] supercompiler: Pretty-print indirection specially (977fd43)
Thu, 04 Oct 2012 07:20:36 -0700[commit: ghc] supercompiler: Vastly simplify the FV-sensitive driving loop in Split (51e7ab9)
Thu, 04 Oct 2012 07:14:08 -0700[commit: ghc] : Fix a major bug with no-preinit where too many bindings were being eliminated post-speculation + some comments (ec50705)
Thu, 04 Oct 2012 07:20:04 -0700[commit: ghc] supercompiler: Checkpoint pretty-printing (f099c36)
Thu, 04 Oct 2012 07:13:55 -0700[commit: ghc] supercompiler: The Process module now compiles (6b1a46e)
Thu, 04 Oct 2012 07:10:38 -0700[commit: ghc] supercompiler: Make type MSG unfailing (81555a5)
Thu, 04 Oct 2012 07:23:05 -0700[commit: ghc] : Fix SAT (c5eac68)
Thu, 04 Oct 2012 07:17:47 -0700[commit: ghc] : Trim imports (ee54e4f)
Thu, 04 Oct 2012 07:18:02 -0700[commit: ghc] : Improve assertion formatting in step' (3774d47)
Thu, 04 Oct 2012 07:12:21 -0700[commit: ghc] supercompiler: Messing with the heuristics (db8fd4d)
Thu, 04 Oct 2012 07:21:57 -0700[commit: ghc] supercompiler: Checkpoint an experiment in process-tree refactoring (50b8d4b)
Thu, 04 Oct 2012 07:14:53 -0700[commit: ghc] : Tweaks to eager value splitting code only (854c774)
Thu, 04 Oct 2012 07:17:17 -0700[commit: ghc] supercompiler: Make children summary info shorter (251b7ae)
Thu, 04 Oct 2012 07:20:58 -0700[commit: ghc] : Add some FIXMEs (13c4e4d)
Thu, 04 Oct 2012 07:24:06 -0700[commit: haddock] ghc-7.6: Remove trailing whitespace from cabal file (96e57fc)
Thu, 04 Oct 2012 08:08:40 -0700[commit: ghc] supercompiler: Generalise the type of memo, for now (c16f4e6)
Thu, 04 Oct 2012 07:15:18 -0700[commit: ghc] supercompiler: Weaken assertion in gc function (8a11d51)
Thu, 04 Oct 2012 07:18:32 -0700[commit: ghc] : Slight cleanup is msgMatch (remove redudant var-kind tests) (23f26fc)
Thu, 04 Oct 2012 07:25:03 -0700[commit: ghc] : The case wildcard binding was totally bogus, and also triggered a deeds assertion (e1cf97d)
Thu, 04 Oct 2012 07:12:40 -0700[commit: ghc] supercompiler: Add additional check to the common-heap-vars match optimisation (07e29c3)
Thu, 04 Oct 2012 07:23:31 -0700[commit: ghc] : Comment only (932905e)
Thu, 04 Oct 2012 07:17:52 -0700[commit: ghc] master: Do not create extra evidence given/derived variables in the Refl case of rewriteCtFlavor (b442ad9)
Thu, 04 Oct 2012 09:58:36 -0700[commit: ghc] supercompiler: Small simplification to solving loop predecessors map (c57f638)
Thu, 04 Oct 2012 07:27:01 -0700
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.