- jhc - Haskell.org

darcs patch: add Util.YAML (and 1 more)
by John Meacham 08 Sep '09

08 Sep '09

Mon Sep 7 17:00:54 PDT 2009 John Meacham <john(a)repetae.net> * add Util.YAML Mon Sep 7 17:18:03 PDT 2009 John Meacham <john(a)repetae.net> * expand --list-libraries output with lots of new info

1 0

apparent jhc bug.
by David Roundy 08 Sep '09

08 Sep '09

Hi John, I'm getting the following failure, which looks to me like a compiler bug. I've cleared my cache, and rebuilt jhc from scratch, so this time I think it's a real bug. Compiling... [ 1 of 13] System.C.Stdio user error (lookupExtTypeInfo: (ELit ((#2#) (ELit (Jhc.Prim.World__::ESort #)) (ELit (Foreign.C.Types.CInt::ESort *))::ESort #),ELit ((#2#) (ELit (Jhc.Prim.World__::ESort #)) (ELit (Foreign.C.Types.CInt::ESort *))::ESort #))) The code is unfortunately somewhat large. You can (once again) get it at darcs get http://abridgegame.org/concurrency You can either build it using a very recent franchise and ./Setup.hs configure --jhc, or you could use the attached base-alt.config, and compile with something like jhc -ijhc -ibase -ialt --noauto -isrc --dependencies base-alt.jhc-deps --build-hl base-alt.config As you may be able to gather, I've not yet been able to kick the habit of hacking on jhc's library. It's possible that this error is due to a bug I've introduced (I certainly introduced plenty along the way), but since it type checked, I think it ought to succeed in the compile stage. -- David Roundy

2 2

darcs patch: try to abstract IO a bit
by David Roundy 08 Sep '09

08 Sep '09

Hi John, 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). That's all for now... I'm off to have brunch. :) David Sat Sep 5 10:45:15 EDT 2009 David Roundy <droundy(a)darcs.net> * try to abstract IO a bit

3 5

darcs patch: add --dependencies option to output file dependencies.
by David Roundy 07 Sep '09

07 Sep '09

Hi John, Part of this is very hokey, since I had trouble tracking which files led to which libraries (your data types are a bit confusing). I'm also flexible on the option naming and details (e.g. is it important to be able to handle filenames with embedded newlines?). The idea, obviously, is to enable franchise to know when to rebuild. It could also be used with Makefiles, so we might also prefer a more make-friendly output. Oh, and it doesn't track dependencies on included files. To do that, we'd need help from the C preprocessor, which would be nice to add--but not critical. David Fri Sep 4 10:45:18 EDT 2009 David Roundy <roundyd(a)physics.oregonstate.edu> * add --dependencies option to output file dependencies.

2 2

JHC benchmark.
by Lemmih 07 Sep '09

07 Sep '09

Hiya, I'm benchmarking GHC vs. JHC vs. LHC vs. UHC and I was wonder if you guys could help me make it more accurate. Many of the JHC tests fails in what seems to be easy-to-fix ways. The benchmark results can be found here: http://darcs.haskell.org/~lemmih/nobench/x86_64/results.html The benchmark source can be found here: http://nobench.seize.it/ -- Cheers, Lemmih

2 11

darcs patch: perform dependency analysis on type synonyms before ex...
by John Meacham 07 Sep '09

07 Sep '09

Mon Sep 7 04:03:39 PDT 2009 John Meacham <john(a)repetae.net> * perform dependency analysis on type synonyms before expansion, detect recursive synonyms.

1 0

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