September 2009 - jhc - Haskell.org

darcs patch: add Ord instances for 3 and 4-tuples
by John Meacham 07 Sep '09

07 Sep '09

Sun Sep 6 02:33:22 PDT 2009 John Meacham <john(a)repetae.net> * add Ord instances for 3 and 4-tuples

1 0

invalid C being produced
by Mark Wotton 07 Sep '09

07 Sep '09

I'll try to narrow it down a bit more, but there's a lot happening here so it might take a while. anyway: here fromRuby is a haskell function, rb_ary_entry and rb_ary_len are imported C functions. This is in the context of a case expression. RT_ARRAY -> T_ARRAY $ unsafePerformIO $ mapM (liftM fromRuby . rb_ary_entry v) [0..(rb_ary_len v) - 1] producing the C fragment v232742406 = ((struct sCJhc__Prim___x3a*)v100508)->a2; /* ERROR: BaseOp {expBaseOp = Promote, expArgs = [nd505286687]} */ wptr_t v100510 = /* ERROR: nothing */; v34 = ((struct sP2_uFE_a__CCall__mysum_uexternal_d3*)v100510)->a1; v188768016 = fFE_a__CCall__mysum_uexternal_d3(v34,v59909010); which understandably fails to compile. Any ideas? mark

2 1

darcs patch: fix ord instance for lists
by John Meacham 06 Sep '09

06 Sep '09

Sat Sep 5 18:56:22 PDT 2009 John Meacham <john(a)repetae.net> * fix ord instance for lists

1 0

Yay!
by Taral 06 Sep '09

06 Sep '09

Latest patches enable me to fully compile libraries with 750m of heap. Less would probably suffice. :) -- Taral <taralx(a)gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown

1 0

Frabjous Day: Jhc now has the beginnings of region support for stack allocations
by John Meacham 06 Sep '09

06 Sep '09

My most recent patch enables a feature that has been a long time coming, it performs an analysis that allows it to allocate and free memory on the stack, It is extremely basic as the moment as I want to test it in stages, some tests seem to not be affected much, others show some dramatic benefits, mandelbrot used 50% less memory and was 30% faster for instance. it is currently just a simple fixpoint calculation, though a type inference based version will perform better. John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/

2 3

darcs patch: enable storage analysis to enable alloca... (and 4 more)
by John Meacham 06 Sep '09

06 Sep '09

Sat Sep 5 04:26:13 PDT 2009 John Meacham <john(a)repetae.net> * enable storage analysis to enable allocation on the stack Sat Sep 5 04:26:20 PDT 2009 John Meacham <john(a)repetae.net> * bump version number Sat Sep 5 15:47:14 PDT 2009 John Meacham <john(a)repetae.net> * allow deadcode and node analysis to see constant partial applications that are arguments to a store Sat Sep 5 16:11:29 PDT 2009 John Meacham <john(a)repetae.net> * add 'constraints' test from nobench to regression tests Sat Sep 5 17:13:29 PDT 2009 John Meacham <john(a)repetae.net> * have the ho cache names depend on the compiler version, to avoid cache poisoning by fixed bugs

1 0

darcs patch: try to abstract IO a bit (and 1 more)
by David Roundy 05 Sep '09

05 Sep '09

Hi John, Here's a fix to my IO abstraction patch. I'll copy the text from my previous submission below for your convenience. The previous patch was missing a change that I made to Prim.hs, not realizing that it was autogenerated from names.txt. So I'm also sending a second patch adding extra comments indicating that Prim.hs shouldn't be edited. I feel like this is a good general policy: to clearly mark autogenerated files, so naive users won't accidentally edit them and fail to notice that darcs doesn't record those changes. David Here is the previous explanation of why I'm interested in changing the type of IO: This is an attempt to move towards the point where I could try implementing concurrent IO. I am not sure whether this approach will work at all, so I'll appreciate your feedback. I'll probably send a separate email with more details on what I'm thinking. This patch is essentially a cleanup, which moves the newtype of IO into Jhc.IO and avoids exporting its constructor. The hope is that I can later change the type of IO, perhaps to something like newtype OldIO a = IO (World__ -> (# World__, a #)) newtype IO a = IO { runIO :: (a -> ThreadState -> OldIO ()) -- ^ a continuation -> ThreadState -- ^ the current state -> OldIO () } -- ^ the combined computation although I'd also want to figure out how to work exceptions into the picture. Anyhow, I think this patch is reasonable on its own. My greatest uncertainty at the moment due to my lack of understanding of how you deal with FFI calls. i.e. how is the code for a delcaration like foreign import ccall "stdio.h jhc_utf8_putc" c_putc :: Ptr CFile -> Int -> IO () generated? I imagine that some work will have to happen in the core compiler in order for this import to generate a call to Jhc.IO.io (which is what I'd like). Sat Sep 5 12:38:02 EDT 2009 David Roundy <droundy(a)darcs.net> * try to abstract IO a bit Sat Sep 5 12:38:28 EDT 2009 David Roundy <roundyd(a)physics.oregonstate.edu> * add warnings not to edit auto-generated Prim.hs file.

1 0

darcs patch: clean up fixIO
by David Roundy 05 Sep '09

05 Sep '09

This is just a formatting fix, along with removal of overlapping definitions. In its previous format, I found this function totally incomprehensible. David Sat Sep 5 09:04:34 EDT 2009 David Roundy <droundy(a)darcs.net> * clean up fixIO

1 0

darcs patch: fix instance of U2U primitive not being ... (and 5 more)
by John Meacham 05 Sep '09

05 Sep '09

Fri Sep 4 21:21:49 PDT 2009 John Meacham <john(a)repetae.net> * fix instance of U2U primitive not being processed properly Fri Sep 4 21:22:39 PDT 2009 John Meacham <john(a)repetae.net> * clean ups Fri Sep 4 23:16:45 PDT 2009 John Meacham <john(a)repetae.net> * fix strict newtypes bug Fri Sep 4 23:17:22 PDT 2009 John Meacham <john(a)repetae.net> * use strict writer monad as suggested by Taral Fri Sep 4 23:32:31 PDT 2009 John Meacham <john(a)repetae.net> * fix desugaring inside of list comprehensions Sat Sep 5 00:02:41 PDT 2009 John Meacham <john(a)repetae.net> * allow C generator to handle unknown values properly

1 0

darcs patch: add a lot of new regression tests, many... (and 4 more)
by John Meacham 05 Sep '09

05 Sep '09

Tue Sep 1 17:20:17 PDT 2009 John Meacham <john(a)repetae.net> * add a lot of new regression tests, many bugs that the lhc developers found, make regress.prl check the 'mustfail' status of tests Tue Sep 1 17:20:58 PDT 2009 John Meacham <john(a)repetae.net> * add mockbuild.sh to repo Fri Sep 4 18:06:50 PDT 2009 John Meacham <john(a)repetae.net> * bug updates Fri Sep 4 18:57:18 PDT 2009 John Meacham <john(a)repetae.net> * start adding storage analysis support Fri Sep 4 21:21:31 PDT 2009 John Meacham <john(a)repetae.net> * add regression test for strict newtype bug

1 0