gmane.comp.lang.haskell.cvs.ghc archive

3454 archived articles, newest first (page 29 of 35). Latest articles →

[commit: ghc] supercompiler: Make use of SUPERCOMPILE pragmas when deciding what to SC (e144ebd)
Thu, 04 Oct 2012 07:20:26 -0700
Max Bolingbroke <[email protected]> • #62119
[commit: ghc] supercompiler: Improve splitSubst hack to ensure we don't lose CoVar->CoVar and TyVar->TyVar renamings (89175e0)
Thu, 04 Oct 2012 07:12:29 -0700
Max Bolingbroke <[email protected]> • #62118
pgj2 (amd64 FreeBSD HEAD), build 820, Success
Wed, 03 Oct 2012 23:07:30 -0700
Builder <[email protected]> • #62117
[commit: ghc] supercompiler: Commit more work on the porting (86909c0)
Thu, 04 Oct 2012 07:09:59 -0700
Max Bolingbroke <[email protected]> • #62116
[commit: testsuite] master: Fix the T5252 tests (cc30b0c)
Thu, 04 Oct 2012 04:50:51 -0700
Ian Lynagh <[email protected]> • #62115
[commit: ghc] : Must abstract over type varibles as well when refining fulfilment FVs (f71dfb7)
Thu, 04 Oct 2012 07:12:24 -0700
Max Bolingbroke <[email protected]> • #62114
[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (732afc6)
Thu, 04 Oct 2012 09:59:08 -0700
Simon Peyton Jones <[email protected]> • #62113
[commit: ghc] supercompiler: Initial supercompiler commit (50c0681)
Thu, 04 Oct 2012 07:09:55 -0700
Max Bolingbroke <[email protected]> • #62112
[commit: ghc] supercompiler: Stuff (921490e)
Thu, 04 Oct 2012 07:16:39 -0700
Max Bolingbroke <[email protected]> • #62111
[commit: ghc] : Space only (6b68150)
Thu, 04 Oct 2012 07:23:15 -0700
Max Bolingbroke <[email protected]> • #62110
[commit: ghc] supercompiler: Rethink how generalisation is written so we can rollback when MSGing (2eefbf2)
Thu, 04 Oct 2012 07:25:49 -0700
Max Bolingbroke <[email protected]> • #62109
[commit: ghc] : My MSG common-binder knot was too knotty (8d23383)
Thu, 04 Oct 2012 07:25:01 -0700
Max Bolingbroke <[email protected]> • #62108
[commit: ghc] supercompiler: Start computing unfoldings for GHC's heuristics at the occurrence sites (more reliable) (5c99f5b)
Thu, 04 Oct 2012 07:22:02 -0700
Max Bolingbroke <[email protected]> • #62107
[commit: ghc] supercompiler: Redundant import (6cf81dd)
Thu, 04 Oct 2012 07:18:17 -0700
Max Bolingbroke <[email protected]> • #62106
[commit: ghc] supercompiler: General cleanup of Core syntax predicates and dead code elimination (6bc0e4b)
Thu, 04 Oct 2012 07:13:00 -0700
Max Bolingbroke <[email protected]> • #62105
[commit: ghc] : Some small renamings in Renaming.hs (b393485)
Thu, 04 Oct 2012 07:25:15 -0700
Max Bolingbroke <[email protected]> • #62104
[commit: ghc] master: Windows install fix (911bc5c)
Thu, 04 Oct 2012 04:48:37 -0700
Ian Lynagh <[email protected]> • #62103
[commit: haddock] ghc-7.6: Set executable flag for Setup.lhs (2319833)
Thu, 04 Oct 2012 15:33:27 -0700
Simon Hengel <[email protected]> • #62102
[commit: ghc] : Fix build of plugin code, write script for installing it inplace (for testing) (8db5e67)
Thu, 04 Oct 2012 07:12:06 -0700
Max Bolingbroke <[email protected]> • #62101
[commit: ghc] supercompiler: Enforce the invariant that Data never includes a newtype DataCon (4782266)
Thu, 04 Oct 2012 07:13:21 -0700
Max Bolingbroke <[email protected]> • #62100
[commit: ghc] supercompiler: Small comment with data about bernouilli (b52b1b4)
Thu, 04 Oct 2012 07:21:06 -0700
Max Bolingbroke <[email protected]> • #62099
[commit: hsc2hs] master: Follow change in GHC build system (1a8f8b8)
Thu, 04 Oct 2012 04:48:54 -0700
Ian Lynagh <[email protected]> • #62098
[commit: ghc] : Make process2 the defaulrt (c55125f)
Thu, 04 Oct 2012 07:15:30 -0700
Max Bolingbroke <[email protected]> • #62097
[commit: ghc] supercompiler: Carefully document loopiness in MSG and fix all examples of overeagerness (d8ed3e4)
Thu, 04 Oct 2012 07:27:35 -0700
Max Bolingbroke <[email protected]> • #62096
[commit: ghc] supercompiler: Bring both histories into scope and complete implementation for threaded history (604b3b3)
Thu, 04 Oct 2012 07:15:01 -0700
Max Bolingbroke <[email protected]> • #62095
[commit: ghc] : We have to include the universal type arguments in Data or we can't derive a value's type (e8b174b)
Thu, 04 Oct 2012 07:13:13 -0700
Max Bolingbroke <[email protected]> • #62094
[commit: ghc] supercompiler: The evaluator finally compiles (5b88481)
Thu, 04 Oct 2012 07:10:05 -0700
Max Bolingbroke <[email protected]> • #62093
[commit: ghc] supercompiler: Be less verbose when showing MatchLRs (terms are too large to include) (254acbf)
Thu, 04 Oct 2012 07:19:10 -0700
Max Bolingbroke <[email protected]> • #62092
[commit: ghc] : Cleanup code outside supercompiler directory (88b7f83)
Thu, 04 Oct 2012 07:11:32 -0700
Max Bolingbroke <[email protected]> • #62091
[commit: ghc] supercompiler: Small code cleanup to improve the output of RealWorld# arguments (343b8ac)
Thu, 04 Oct 2012 07:16:46 -0700
Max Bolingbroke <[email protected]> • #62090
[commit: ghc] master: Allow -static to be used after -dynamic (cddbf86)
Thu, 04 Oct 2012 04:48:10 -0700
Ian Lynagh <[email protected]> • #62089
[commit: ghc] supercompiler: Carefully do inverted-rename on types in invertRenaming (e8b2ca3)
Thu, 04 Oct 2012 07:24:48 -0700
Max Bolingbroke <[email protected]> • #62088
[commit: ghc] supercompiler: Revert "Record reduction count in reduce'" (9018840)
Thu, 04 Oct 2012 07:16:21 -0700
Max Bolingbroke <[email protected]> • #62087
[commit: ghc] supercompiler: Fix warning, remove dead code (b3a4c9b)
Thu, 04 Oct 2012 07:13:03 -0700
Max Bolingbroke <[email protected]> • #62086
[commit: ghc] supercompiler: Checkpoint (broken) (e51b461)
Thu, 04 Oct 2012 07:10:12 -0700
Max Bolingbroke <[email protected]> • #62085
[commit: ghc] supercompiler: First compiling version of the changes to eliminate Indirect (dc24164)
Thu, 04 Oct 2012 07:26:00 -0700
Max Bolingbroke <[email protected]> • #62084
[commit: ghc] : Comment out match failure trace (very verbose) (caa251b)
Thu, 04 Oct 2012 07:19:23 -0700
Max Bolingbroke <[email protected]> • #62083
[commit: ghc] supercompiler: Carefully rethink what the tag in a CastBy actually means and update the code with the new story (3234ffd)
Thu, 04 Oct 2012 07:20:38 -0700
Max Bolingbroke <[email protected]> • #62082
[commit: ghc] : Try not to panic in bindCapturedFloats (still a hack) (02523b6)
Thu, 04 Oct 2012 07:15:34 -0700
Max Bolingbroke <[email protected]> • #62081
[commit: ghc] supercompiler: Garbage collect in evaluator to detect used-once (7be7c81)
Thu, 04 Oct 2012 07:22:07 -0700
Max Bolingbroke <[email protected]> • #62080
[commit: ghc] supercompiler: Babysteps towards a better MSG where outgoing occurrences have correct info (8e4b2ae)
Thu, 04 Oct 2012 07:24:51 -0700
Max Bolingbroke <[email protected]> • #62079
[commit: ghc] supercompiler: Small tweaks (1182ace)
Thu, 04 Oct 2012 07:14:55 -0700
Max Bolingbroke <[email protected]> • #62078
[commit: ghc] : Disable deeds by default (4efebd1)
Thu, 04 Oct 2012 07:15:22 -0700
Max Bolingbroke <[email protected]> • #62077
[commit: ghc] : Use Train data type for promises tree instead (more precise), allow ancestor instance match (595e672)
Thu, 04 Oct 2012 07:19:13 -0700
Max Bolingbroke <[email protected]> • #62076
[commit: ghc] : Totally rewrite matcher: detect rigid binder inequality earlier (f209ed7)
Thu, 04 Oct 2012 07:11:28 -0700
Max Bolingbroke <[email protected]> • #62075
[commit: ghc] : Only expose unfoldings visible in phase 2 (a4658d9)
Thu, 04 Oct 2012 07:11:25 -0700
Max Bolingbroke <[email protected]> • #62074
[commit: ghc] supercompiler: First version of MSG rethink that type checks. Removed term gen capabalities while I was at it. (0df6f2f)
Thu, 04 Oct 2012 07:27:17 -0700
Max Bolingbroke <[email protected]> • #62073
[commit: ghc] supercompiler: Tracing logic for reduce-stop fiddle (bb3a0cb)
Thu, 04 Oct 2012 07:13:23 -0700
Max Bolingbroke <[email protected]> • #62072
[commit: ghc] : Show deepest path in SC at end of supercompilation (dac1dfb)
Thu, 04 Oct 2012 07:17:34 -0700
Max Bolingbroke <[email protected]> • #62071
[commit: ghc] : Do not externalise non-Ids (043abae)
Thu, 04 Oct 2012 07:16:58 -0700
Max Bolingbroke <[email protected]> • #62070
[commit: ghc] : New implementation of explicit promise tree (cleaner) (5bc0b5a)
Thu, 04 Oct 2012 07:18:55 -0700
Max Bolingbroke <[email protected]> • #62069
[commit: ghc] : Tidy some traces, imports (97d2022)
Thu, 04 Oct 2012 07:22:39 -0700
Max Bolingbroke <[email protected]> • #62068
[commit: ghc] supercompiler: Support strict lets, coercions as values, write term->CoreSyn conversion (a6778cb)
Thu, 04 Oct 2012 07:10:34 -0700
Max Bolingbroke <[email protected]> • #62067
[commit: ghc] supercompiler: Deforest everything in sight (8da007b)
Thu, 04 Oct 2012 07:20:41 -0700
Max Bolingbroke <[email protected]> • #62066
[commit: ghc] supercompiler: Incorporate the 'common heap vars' optimisation into MSG (245bdd8)
Thu, 04 Oct 2012 07:23:42 -0700
Max Bolingbroke <[email protected]> • #62065
[commit: ghc] supercompiler: Remove unused import in SimplCore (744bbfb)
Thu, 04 Oct 2012 07:26:21 -0700
Max Bolingbroke <[email protected]> • #62064
[commit: ghc] supercompiler: Restrict stack pruning to preserve effectivness of NOINLINE and friends (07302b1)
Thu, 04 Oct 2012 07:26:16 -0700
Max Bolingbroke <[email protected]> • #62063
[commit: ghc] supercompiler: Grow some primitive inlining heuristics in the evaluator (5e91a45)
Thu, 04 Oct 2012 07:21:55 -0700
Max Bolingbroke <[email protected]> • #62062
[nightly] 03-Oct-2012 build of STABLE on x86_64-unknown-linux (cam-04-unx)
Thu, 04 Oct 2012 02:33:03 +0200
GHC Build Reports <[email protected]> • #62061
[commit: ghc] supercompiler: Comment only about evaluatePrim (2ce5cd2)
Thu, 04 Oct 2012 07:21:26 -0700
Max Bolingbroke <[email protected]> • #62060
[commit: ghc] : Remove near-useless trace (9156564)
Thu, 04 Oct 2012 07:23:00 -0700
Max Bolingbroke <[email protected]> • #62059
[commit: ghc] supercompiler: PRety-printing tweaks (97e7300)
Thu, 04 Oct 2012 07:14:50 -0700
Max Bolingbroke <[email protected]> • #62058
tn23 (x86 OSX HEAD), build 718, Failure
Wed, 03 Oct 2012 17:53:09 -0700
Builder <[email protected]> • #62057
[commit: ghc] : TODOs only (2e837ef)
Thu, 04 Oct 2012 07:13:49 -0700
Max Bolingbroke <[email protected]> • #62056
[commit: ghc] supercompiler: Fix eager value splitting with an updated value in focus (29ab199)
Thu, 04 Oct 2012 07:26:26 -0700
Max Bolingbroke <[email protected]> • #62055
[commit: ghc] : Try to handle coercion variable substitutions properly (0130952)
Thu, 04 Oct 2012 07:12:27 -0700
Max Bolingbroke <[email protected]> • #62054
[commit: ghc] supercompiler: Make core data types a bit more general (88afcfd)
Thu, 04 Oct 2012 07:26:30 -0700
Max Bolingbroke <[email protected]> • #62053
[commit: ghc] : Record reduction count in reduce' (8115435)
Thu, 04 Oct 2012 07:16:11 -0700
Max Bolingbroke <[email protected]> • #62052
[commit: ghc] supercompiler: Use localiseId when manufacturing Id for positive information (8cf2d73)
Thu, 04 Oct 2012 07:21:15 -0700
Max Bolingbroke <[email protected]> • #62051
[commit: ghc] supercompiler: Tweak comment only (8b96ed2)
Thu, 04 Oct 2012 07:23:52 -0700
Max Bolingbroke <[email protected]> • #62050
[commit: ghc] : Debugging trace upon matching (de258ef)
Thu, 04 Oct 2012 07:16:09 -0700
Max Bolingbroke <[email protected]> • #62049
[commit: ghc] supercompiler: Remove unused import (0190e41)
Thu, 04 Oct 2012 07:19:56 -0700
Max Bolingbroke <[email protected]> • #62048
[commit: ghc] supercompiler: Support supplying a set of common variables to the matcher (a246e38)
Thu, 04 Oct 2012 07:19:36 -0700
Max Bolingbroke <[email protected]> • #62047
[commit: ghc] supercompiler: Don't rely on Foldable to enumerate eligible fulfilments (3831bdd)
Thu, 04 Oct 2012 07:14:00 -0700
Max Bolingbroke <[email protected]> • #62046
[commit: ghc] : More comprehensive treatment of unlifted let bindings: in particular, stop residualising them as LetRecs (89f53f7)
Thu, 04 Oct 2012 07:13:18 -0700
Max Bolingbroke <[email protected]> • #62045
[commit: ghc] : Add FIXME reminding me to remove PrimOp (95fd4a1)
Thu, 04 Oct 2012 07:23:44 -0700
Max Bolingbroke <[email protected]> • #62044
[commit: ghc] : Add explicit Parent parameter (2ce8f69)
Thu, 04 Oct 2012 07:15:47 -0700
Max Bolingbroke <[email protected]> • #62043
[commit: ghc] supercompiler: Start to try to make type generalisation work. SC will currently crash a lot because I'm working out the termination issues (20ff505)
Thu, 04 Oct 2012 07:25:55 -0700
Max Bolingbroke <[email protected]> • #62042
[commit: ghc] supercompiler: Tweak debug output (2addd84)
Thu, 04 Oct 2012 07:27:46 -0700
Max Bolingbroke <[email protected]> • #62041
[commit: ghc] supercompiler: Always allow type/coercion instantiation in MSG as experiment (8e6ef76)
Thu, 04 Oct 2012 07:25:53 -0700
Max Bolingbroke <[email protected]> • #62040
[commit: ghc] supercompiler: Give DataCons better tags (8a71f2f)
Thu, 04 Oct 2012 07:16:24 -0700
Max Bolingbroke <[email protected]> • #62039
[commit: ghc] : Fix construction of the initial heap from the unfoldings: FVs of unfoldings were not bound (71462ae)
Thu, 04 Oct 2012 07:12:02 -0700
Max Bolingbroke <[email protected]> • #62038
[commit: ghc] supercompiler: Check for triviality in renaming before returning a type generalisation (d1417a28)
Thu, 04 Oct 2012 07:26:42 -0700
Max Bolingbroke <[email protected]> • #62037
[commit: ghc] supercompiler: Split DataAlt binder list, fix FV calculation, fix code generation for binder->term embedding (0bbb48c)
Thu, 04 Oct 2012 07:10:42 -0700
Max Bolingbroke <[email protected]> • #62036
[commit: ghc] : sc-rollback was totally busted in my porting effort (4c43261)
Thu, 04 Oct 2012 07:12:52 -0700
Max Bolingbroke <[email protected]> • #62035
[commit: ghc] : Remove unused var warnings (d3bd75e)
Thu, 04 Oct 2012 07:19:21 -0700
Max Bolingbroke <[email protected]> • #62034
[commit: ghc] supercompiler: Deal with [CoreBind] by going via CoreExpr (fa91c6f)
Thu, 04 Oct 2012 07:10:45 -0700
Max Bolingbroke <[email protected]> • #62033
[nightly] 03-Oct-2012 build of HEAD on x86_64-unknown-linux (cam-04-unx)
Thu, 04 Oct 2012 04:01:58 +0200
GHC Build Reports <[email protected]> • #62032
[commit: ghc] supercompiler: Fix positive information propagation (931de9f)
Thu, 04 Oct 2012 07:11:08 -0700
Max Bolingbroke <[email protected]> • #62031
[commit: ghc] supercompiler: Fix lots of lurking badness in Renaming. InScopeSets are still wrong (cd931d0)
Thu, 04 Oct 2012 07:10:53 -0700
Max Bolingbroke <[email protected]> • #62030
[commit: ghc] supercompiler: Add option for history tree (9586966)
Thu, 04 Oct 2012 07:22:17 -0700
Max Bolingbroke <[email protected]> • #62029
[commit: ghc] supercompiler: Wasn't releasing deeds when destroying identity CastIt (b61b975)
Thu, 04 Oct 2012 07:14:42 -0700
Max Bolingbroke <[email protected]> • #62028
[commit: ghc] : Fix possible out-of-scope error in CoreBinds to CoreTerm translation (2d199e5)
Thu, 04 Oct 2012 07:21:13 -0700
Max Bolingbroke <[email protected]> • #62027
[commit: ghc] supercompiler: Ensure we make progress in the evaluator for UPDATE2 rule (92c3f74)
Thu, 04 Oct 2012 07:27:33 -0700
Max Bolingbroke <[email protected]> • #62026
[commit: ghc] master: Build the dynamic way by default on Linux/amd64 (898cb09)
Thu, 04 Oct 2012 04:48:21 -0700
Ian Lynagh <[email protected]> • #62025
[commit: ghc] supercompiler: Remove my generalisation of VarEn (0bbe9d7)
Thu, 04 Oct 2012 07:11:23 -0700
Max Bolingbroke <[email protected]> • #62024
[commit: ghc] : Fix intensely stupid bug in binding partitioning (4f6c5f5)
Thu, 04 Oct 2012 07:21:11 -0700
Max Bolingbroke <[email protected]> • #62023
[commit: ghc] : Addendum to previous free vars fix: the InScopeSet also has to include the added FVs (e3cc6d6)
Thu, 04 Oct 2012 07:22:49 -0700
Max Bolingbroke <[email protected]> • #62022
[commit: ghc] supercompiler: Fix some long-standing binder-FV issues, especially in evaluator FVs (d0da162)
Thu, 04 Oct 2012 07:25:08 -0700
Max Bolingbroke <[email protected]> • #62021
[commit: ghc] supercompiler: Check for kindvar/tyvar mismatch in MSG (5725453)
Thu, 04 Oct 2012 07:24:53 -0700
Max Bolingbroke <[email protected]> • #62020
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.