gmane.comp.lang.haskell.cvs.ghc archive
3454 archived articles, newest first (page 27 of 35). Latest articles →
[commit: ghc] supercompiler: Comment only (596159a)
Thu, 04 Oct 2012 07:24:16 -0700[nightly] 03-Oct-2012 build of STABLE on i386-unknown-linux (cam-02-unx)
Thu, 04 Oct 2012 08:04:56 +0200[commit: ghc] master: Do flag consistency checks at the end of flag parsing (29f6b87)
Thu, 04 Oct 2012 04:48:13 -0700[commit: ghc] supercompiler: Fix some bugs in new evaluator (459be0b)
Thu, 04 Oct 2012 07:26:03 -0700[commit: ghc] : Fix long-standing bug in zipBracketeds, exposed by eager value splitting (6f08f8b)
Thu, 04 Oct 2012 07:17:08 -0700[commit: ghc] : Comments only (a4c1c7b)
Thu, 04 Oct 2012 07:25:34 -0700[commit: ghc] supercompiler: Only abstract over RealWorld# conditionally (89be615)
Thu, 04 Oct 2012 07:20:09 -0700[commit: ghc] : Memo table preinitialization in Process3 (d1b4982)
Thu, 04 Oct 2012 07:18:37 -0700[commit: ghc] supercompiler: Fix longstanding bug in stateType calculation for primop stack frames (7f4593a)
Thu, 04 Oct 2012 07:19:59 -0700[commit: ghc] : Deal with non-matching heap binders by forcing generalisation (1685b29)
Thu, 04 Oct 2012 07:23:55 -0700[commit: ghc] supercompiler: More small fixes (e416886)
Thu, 04 Oct 2012 07:10:23 -0700[commit: ghc] : Remove redundancies from Process2, fix a bug (27a163e)
Thu, 04 Oct 2012 07:15:25 -0700[commit: ghc] : Checkpoint work on true instance-matching (bcf49e8)
Thu, 04 Oct 2012 07:18:10 -0700[commit: ghc] supercompiler: Current best guess at incorporating MSG (3a164c5)
Thu, 04 Oct 2012 07:22:29 -0700[commit: ghc] master: Do not do type-class defaulting if there are insoluble constraints (b9fccbc)
Thu, 04 Oct 2012 09:58:40 -0700[commit: ghc] : Match after reduction (a8a000d)
Thu, 04 Oct 2012 07:16:17 -0700[commit: ghc] : Fix a horrible matching bug that was causing too many binder pairs to be matched rigidly (ee61318)
Thu, 04 Oct 2012 07:17:14 -0700[commit: ghc] supercompiler: Try to improve resid-tag tracking (83e1155)
Thu, 04 Oct 2012 07:21:18 -0700[commit: ghc] supercompiler: Only zap IdInfo for *Id*s (67c7e03)
Thu, 04 Oct 2012 07:25:44 -0700[commit: ghc] supercompiler: Checkpoint MSG bullshit, REMOVE trace in sc (9263710)
Thu, 04 Oct 2012 07:27:04 -0700[commit: ghc] supercompiler: Half-hearted attempt to deal with rollback to non-ancestors (60e024c)
Thu, 04 Oct 2012 07:19:26 -0700[commit: ghc] : Checkpoint intermediate DelayM refactoring (802e601)
Thu, 04 Oct 2012 07:15:15 -0700[commit: ghc] supercompiler: Add a FIXME about the effects on termination of instance-MSGing (8229fa6)
Thu, 04 Oct 2012 07:24:56 -0700[commit: ghc] supercompiler: Fix selective supercompilation: suck in all things *referred to*, not *referring to us* (f5ead43)
Thu, 04 Oct 2012 07:20:29 -0700[commit: ghc] : In the evaluator, trim stack frames that are unreachable due to bottoming Ids (4cf0709)
Thu, 04 Oct 2012 07:20:50 -0700[commit: ghc] supercompiler: Make impossible-alternative-finding code more reusable (4fc8355)
Thu, 04 Oct 2012 07:17:11 -0700[commit: ghc] supercompiler: Due to evaluator change we can remove some ugliness from split cheap heap construction (feb653c)
Thu, 04 Oct 2012 07:27:11 -0700[commit: ghc] supercompiler: Changed some Maybe into real data types (43aa937)
Thu, 04 Oct 2012 07:13:52 -0700[commit: ghc] master: Change how we handle options required by 'way's (f6983ef)
Thu, 04 Oct 2012 04:48:06 -0700[commit: ghc] : Preserve the common-heap-vars invariant in MSG, exploit it more from Process3 (just use InScopeSet) (f79e0c5)
Thu, 04 Oct 2012 07:24:11 -0700[commit: ghc] supercompiler: Update supercompiler based on latest thinking about correctness (i.e. disable reduce-before-match, skip irred states in memo) (3e6a3ef)
Thu, 04 Oct 2012 07:27:31 -0700[commit: ghc] : Had the same bugs in matching recursive lets as I did in the MSGer (541667e)
Thu, 04 Oct 2012 07:22:44 -0700[commit: ghc] supercompiler: Use a VoidRep placeholder that doesn't crash the simplifier (7b37a89)
Thu, 04 Oct 2012 07:17:00 -0700[commit: ghc] : Show all deepest paths, not just one of them (d6689d9)
Thu, 04 Oct 2012 07:17:59 -0700[commit: ghc] : Ensure we localise AbsVars when building binding sites (167fed1)
Thu, 04 Oct 2012 07:17:03 -0700[commit: ghc] supercompiler: Claim steps when reducing, ignore deeds for reduce-matching (de85001)
Thu, 04 Oct 2012 07:16:06 -0700[commit: testsuite] master: Fix a couple of tests when dynlibs-by-default is on (2826d50)
Thu, 04 Oct 2012 04:50:55 -0700[commit: ghc] supercompiler: Correctly deal with recursive binding when MSGing, report better errors upon failure (daf45f1)
Thu, 04 Oct 2012 07:22:20 -0700[commit: ghc] : Trace depth, trace less (0702b1f)
Thu, 04 Oct 2012 07:16:04 -0700[commit: ghc] supercompiler: Remove small redundancy (2529992)
Thu, 04 Oct 2012 07:27:37 -0700[commit: ghc] supercompiler: A whole mess of inlining heuristics (52e6777)
Thu, 04 Oct 2012 07:21:42 -0700[commit: haddock] ghc-7.6: Remove redundant dependency from cabal file (72eaac4)
Thu, 04 Oct 2012 08:08:36 -0700[commit: ghc] : Have prepareTerm return a preinitialized version of the term as well (b85fbf2)
Thu, 04 Oct 2012 07:18:48 -0700[commit: ghc] supercompiler: Bug fixes detected by Lint (fe12ea1)
Thu, 04 Oct 2012 07:14:37 -0700[commit: ghc] supercompiler: Do not assume that the RHS of an unlifted Let is ok-for-speculation (3d9f524)
Thu, 04 Oct 2012 07:13:06 -0700[commit: ghc] supercompiler: Fiddle with memo_how check fruitlessly (2c1419e)
Thu, 04 Oct 2012 07:26:58 -0700[commit: ghc] : When residualising a term to SDoc, wrap angle brackets around the focus (36daa53)
Thu, 04 Oct 2012 07:13:42 -0700[commit: ghc] supercompiler: Fix small bugs in renaming terms output from the supercompiler (6298222)
Thu, 04 Oct 2012 07:26:44 -0700[commit: ghc] supercompiler: Fixed some missed type renaming in the evaluator primop case (93be0d5)
Thu, 04 Oct 2012 07:11:13 -0700[commit: ghc] supercompiler: Small fixes (13ed44c)
Thu, 04 Oct 2012 07:09:50 -0700[commit: ghc] supercompiler: Rename free variables in annotation correctly in termToAnswer (e2b3fa1)
Thu, 04 Oct 2012 07:11:52 -0700[commit: ghc] : Fix scrutination of cast data with Simon's new dealWithCoercion function (80a02e5)
Thu, 04 Oct 2012 07:12:12 -0700[commit: ghc] supercompiler: Do the uniqAway in MSG all at once to avoid shadowing bugs (9dfe592)
Thu, 04 Oct 2012 07:26:23 -0700[commit: ghc] supercompiler: Fix warnings (3899bb7)
Thu, 04 Oct 2012 07:16:34 -0700[commit: ghc] : Only bind exported things into the big tuple (6f6463a)
Thu, 04 Oct 2012 07:11:19 -0700[commit: ghc] : Remove redundant export from Process1 (0d340c9)
Thu, 04 Oct 2012 07:15:20 -0700[commit: ghc] : Fix stupid variable shadowing bug (ead945c)
Thu, 04 Oct 2012 07:23:12 -0700[commit: ghc] supercompiler: Make corresponding TyVar/KindVar changes to Match (75adf92)
Thu, 04 Oct 2012 07:24:46 -0700[commit: ghc] : I may have the perfect refactoring of Process2 (8f5c280)
Thu, 04 Oct 2012 07:15:06 -0700[commit: ghc] supercompiler: Eager value splitting in the new splitter for compatability with thesis (don't think it's actually necessary for correctness though) (58d86ee)
Thu, 04 Oct 2012 07:27:44 -0700[commit: ghc] : Tidy error message (40663c3)
Thu, 04 Oct 2012 07:22:34 -0700[commit: ghc] : Fill out the PtrRep case for when manufacturing dead argument fillers (cf3ba89)
Thu, 04 Oct 2012 07:19:31 -0700[commit: ghc] : Simplify a lot of bullshit (f88d9eb)
Thu, 04 Oct 2012 07:14:29 -0700[commit: ghc] : Garbage collect when determining stateAbsVars since we stopped doing it in reduceForMatch (f62af23)
Thu, 04 Oct 2012 07:21:08 -0700[commit: ghc] supercompiler: Small comments and things (6325e20)
Thu, 04 Oct 2012 07:24:43 -0700[commit: ghc] : Improve pretty-printing of binders in Core (show their types) (10f7674)
Thu, 04 Oct 2012 07:12:55 -0700[commit: ghc] : Fix a bug where the talis of a generalised state would not be manifest (854e276)
Thu, 04 Oct 2012 07:18:24 -0700[commit: ghc] supercompiler: Add speculation and rollback to Process2 (0429934)
Thu, 04 Oct 2012 07:15:40 -0700[commit: ghc] supercompiler: Unfailingly MSG coercions (7454df3)
Thu, 04 Oct 2012 07:23:10 -0700[commit: ghc] supercompiler: Was removing too many FVs from the shell (02ca04f)
Thu, 04 Oct 2012 07:16:53 -0700[commit: ghc] : Changes with Simon (4f815dd)
Thu, 04 Oct 2012 07:16:48 -0700[commit: ghc] : Fill out sc' definition: history still not propagated (63c0944)
Thu, 04 Oct 2012 07:15:11 -0700[commit: ghc] supercompiler: Turn deeds on permanently (ee1f964)
Thu, 04 Oct 2012 07:14:40 -0700[commit: ghc] supercompiler: Start paying attention to loop-breaker-ness again (a7cf8d9)
Thu, 04 Oct 2012 07:22:00 -0700[commit: ghc] supercompiler: Prevent knot-tying bug in Match (c925d1d)
Thu, 04 Oct 2012 07:15:51 -0700[commit: ghc] master: Fix Windows build (6aed04f)
Thu, 04 Oct 2012 04:48:35 -0700[commit: ghc] supercompiler: Remove MonadFix instance for MSG (f3a333a)
Thu, 04 Oct 2012 07:22:41 -0700[commit: ghc] supercompiler: Add dEPTH_LIIMT (5851773)
Thu, 04 Oct 2012 07:17:25 -0700[commit: ghc] supercompiler: Matching compiles and should handle new syntax (bf8fae9)
Thu, 04 Oct 2012 07:10:09 -0700[commit: ghc] supercompiler: Eagerly split values to solve the false-tieback problem (I hope) (2c3692f)
Thu, 04 Oct 2012 07:16:26 -0700[commit: ghc] supercompiler: Check deadness after InScopeSet substitution in CoreLint in case OccInfo only updated at binders (a5031b2)
Thu, 04 Oct 2012 07:26:40 -0700[commit: ghc] supercompiler: A version of MSG where stack initialization takes place in a seperate monad for cleanliness (7d55bbd)
Thu, 04 Oct 2012 07:27:19 -0700[commit: ghc] : Eliminate some dodgy const fmaps with traverses (3b675a8)
Thu, 04 Oct 2012 07:12:35 -0700[commit: ghc] supercompiler: Small fixes to Split2 (46ca464)
Thu, 04 Oct 2012 07:26:38 -0700[commit: ghc] supercompiler: Comment only, before eliminating Indirect (a09817c)
Thu, 04 Oct 2012 07:25:58 -0700[commit: testsuite] master: Add a -static way, enabled only if dynlibs are used by default (64529d6)
Thu, 04 Oct 2012 04:50:49 -0700[commit: ghc] supercompiler: Fix small bug in speculation and add multiple comments (ddde588)
Thu, 04 Oct 2012 07:20:47 -0700[commit: ghc] supercompiler: Add TODOs, debug outputs.. (48aa16d)
Thu, 04 Oct 2012 07:16:01 -0700[commit: ghc] supercompiler: Instantiating with a stack frame *is* real instantiation (e2c9fc7)
Thu, 04 Oct 2012 07:26:12 -0700[commit: ghc] : FIXME only (f20b2f7)
Thu, 04 Oct 2012 07:24:19 -0700[commit: ghc] : Fix lurking bugs in free variable of Bracketed code, fix splitting of type lambdas (559784a)
Thu, 04 Oct 2012 07:10:56 -0700[commit: ghc] supercompiler: Add instances for non-1 variants derived from 1 variants, remove some uses of PrettyFunction and Wrapper1 (192e207)
Thu, 04 Oct 2012 07:11:39 -0700[commit: ghc] supercompiler: Port over the splitter (ca76f32)
Thu, 04 Oct 2012 07:10:27 -0700[commit: ghc] supercompiler: Port stuff over up until the evaluator itself (infrastructure is in place) (1ea7885)
Thu, 04 Oct 2012 07:09:47 -0700[commit: ghc] supercompiler: Checkpoint some MSG work (c48c4d0)
Thu, 04 Oct 2012 07:27:13 -0700[commit: ghc] supercompiler: Use InScopeSet as a real InScopeSet, not an InScopeMap (6c138f5)
Thu, 04 Oct 2012 07:10:59 -0700[commit: ghc] : Stop building a ridiculous loop in the matcher (7bff7ac)
Thu, 04 Oct 2012 07:11:42 -0700[commit: ghc] : Redefine tcSplitDFunTy so that it returns the types of the theta as well (c30fc1d)
Thu, 04 Oct 2012 07:19:49 -0700[commit: ghc] supercompiler: Use MSG to implement matching in Process3 (experimentally) (80a4201)
Thu, 04 Oct 2012 07:24:30 -0700[commit: ghc] supercompiler: Fix stupid typo in MSG that was causing even stupider tiebacks (46b9179)
Thu, 04 Oct 2012 07:27:42 -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.