August 2010 - jhc - Haskell.org

darcs patch: when let-shrinking a tail, be sure to op... (and 4 more)
by John Meacham 09 Sep '10

09 Sep '10

Wed Aug 11 22:45:00 PDT 2010 John Meacham <john(a)repetae.net> * when let-shrinking a tail, be sure to optimize function bodies Thu Aug 12 03:14:52 PDT 2010 John Meacham <john(a)repetae.net> * clean up E showing, get rid of -dhtml mode, get rid of ANSI color coding, dump jhc_core to files on error Thu Aug 12 03:24:35 PDT 2010 John Meacham <john(a)repetae.net> * clean up warnings Thu Aug 12 03:24:58 PDT 2010 John Meacham <john(a)repetae.net> * remove ePrettyEx Thu Aug 26 02:15:09 PDT 2010 John Meacham <john(a)repetae.net> * show text of exception when dumping core.

2 4

darcs patch: import ghc parsing regression tests (and 2 more)
by John Meacham 26 Aug '10

26 Aug '10

Tue Aug 10 17:26:07 PDT 2010 John Meacham <john(a)repetae.net> * import ghc parsing regression tests Tue Aug 10 18:44:51 PDT 2010 John Meacham <john(a)repetae.net> * add imported ghc typechecking regression tests Wed Aug 11 22:44:46 PDT 2010 John Meacham <john(a)repetae.net> * improve Grin Linting a little

1 0

darcs patch: accept empty class contexts (and 3 more)
by John Meacham 26 Aug '10

26 Aug '10

Mon Aug 9 23:38:32 PDT 2010 John Meacham <john(a)repetae.net> * accept empty class contexts Tue Aug 10 16:02:16 PDT 2010 John Meacham <john(a)repetae.net> * add regex-compat to dependencies Tue Aug 10 16:33:04 PDT 2010 John Meacham <john(a)repetae.net> * allow unicode characters in haskell source Tue Aug 10 17:24:45 PDT 2010 John Meacham <john(a)repetae.net> * add 'skip' to regression options to skip certain tests

1 0

Compile Error for JHC 0.7.6 on Archlinux with GHC 6.12.3
by Mathew de Detrich 25 Aug '10

25 Aug '10

While updating the AUR package for jhc for 0.7.6 it came up with this error when trying to build src/Info/Info.hs:68:13: Ambiguous occurrence `empty' It could refer to either `Info.Info.empty', defined at src/Info/Info.hs:162:0 or `Data.Generics.empty', imported from Data.Generics at src/Info/Info.hs:23:0-19 src/Info/Info.hs:119:23: Ambiguous occurrence `empty' It could refer to either `Info.Info.empty', defined at src/Info/Info.hs:162:0 or `Data.Generics.empty', imported from Data.Generics at src/Info/Info.hs:23:0-19 make[1]: *** [jhc] Error 1 make[1]: Leaving directory `/tmp/packerbuild-1000/jhc/jhc/src/jhc-0.7.6' make: *** [all] Error 2 Aborting... The build failed.

1 0

jhc and c2hs usecase (issue)
by Csaba Hruska 25 Aug '10

25 Aug '10

Hi! I'm currently working on an improved version of bullet physics engine binding. (the binding code is generated by a python script according c++ api. it uses c2hs too) I'd like to support jhc too. The attached code compiles with ghc (ghc --make testBullet.hs) but fails with jhc 0.7.6-3. Here is the error message: *Typechecking...* *[1 of 4] BulletTypes (.............................................)* *[2 of 4] C2HS (.............................................)* *[3 of 4] BulletMod (......jhc: user error (* *What: failure* *Why: context reduction, no instance for: Jhc.Float.RealFloat Foreign.C.Types.CFloat* *Where: on line 7114 in ./BulletMod.hs* *in the explicitly typed BulletMod.btConcaveShape_setMargin BulletMod.5833_a1* * BulletMod.5834_a2* * = BulletMod.withBt BulletMod.5833_a1 Jhc.Basics.$* * \ BulletMod.5835_a1' ->* * let BulletMod.5836_a2' = C2HS.cFloatConv BulletMod.5834_a2 in* * BulletMod.btConcaveShape_setMargin'_ BulletMod.5835_a1'* * BulletMod.5836_a2'* * Jhc.Monad.>>=* * \ BulletMod.5837_res -> Jhc.Monad.return (Jhc.Basics.())** **{- on line 7114 -}* *Compilation of module: BulletMod)* Is this my fault or is it a jhc problem? Cheers, Csaba

2 1

Problem with parsec -- program does not terminate.
by David Virebayre 13 Aug '10

13 Aug '10

Hello, I've made a small program to parse a file, and write something to stdout based on what was parsed. When the file to parse's format is right, the program works well. If I introduce an error in the file, program as compiled by jhc starts reporting the error then hangs, when compiled with ghc it reports the error correctly. compiled the program with the following command lines, with the same result. : jhc -p parsec DecVersBL.hs jhc -p parsec -funboxed-values DecVersBL.hs jhc -p parsec -flint DecVersBL.hs command line I used to compile with ghc : ghc --make -O2 -funbox-strict-fields DecVersBL.hs results : (first ghc version, then jhc ) david@pcdavid:~/code/edimail$ ghc --version The Glorious Glasgow Haskell Compilation System, version 6.12.3 david@pcdavid:~/code/edimail$ jhc --version jhc 0.7.6 (0.7.6-3) compiled by ghc-6.12 on a i386 running linux david@pcdavid:~/code/edimail$ ./DecVersBL (line 105, column 10): unexpected "!" expecting "=" david@pcdavid:~/code/edimail$ ./hs.out (line 105, column 10): unexpected "!" ^C <---- I type CTRL-C after a long while david@pcdavid:~/code/edimail$ The code and test file are attached. (Many strings and comments are in French, sorry for that) David.

2 1

bugs/issues in jhc-0.7.6‏
by Korcan Hussein 12 Aug '10

12 Aug '10

Hello, I just wanted to report some bugs & issues with jhc using SDL bindings (https://patch-tag.com/r/snk_kid) I've put links to the original Haskell code and generated C (which was outputted from compile-time error) at the end of this email. C Compile-time errors: This one comes up quite lot, and happens quite randomly: test_code.c:4136: error: ‘v74’ undeclared (first use in this function) test_code.c:4136: error: (Each undeclared identifier is reported only once test_code.c:4136: error: for each function it appears in.) This is generated for the code: failWithError :: String -> IO a failWithError msg = do err <- fmap (fromMaybe "No SDL error") getError ioError $ userError $ msg ++ "\nSDL message: " ++ err Sometimes it goes away just by shuffling some code, even just commenting a line and uncomment it again can make it go away but it happens a lot and sometimes it's really hard to make it go for a long period of time. The problem is there is a function called but the argument given is not defined in the scope it's used in. test_code.c:5182: error: expected expression before ‘;’ token test_code.c: In function ‘fW$__fInstance$__iForeign_Storable_pokeByteOff_default’: This is caused by the code generated for the "whileEvents" in the Haskell source I've attached. It just generates incorrect C code, like it was a serious failure. jhc issues: The action "pollEvent" defined as: foreign import ccall "SDL_PollEvent" sdlPollEvent :: Ptr Event -> IO Int -- | Polls for currently pending events. pollEvent :: IO Event pollEvent = alloca poll where poll ptr = do ret <- sdlPollEvent ptr case ret of 0 -> return NoEvent _ -> do event <- peek ptr case event of NoEvent -> poll ptr _ -> return event When used, while compiling with jhc, when it reaches the compile stage "-- Boxy WorkWrap" jhc consumes a lot of memory and takes a large amount time to finish. Next jhc crashed with the message: "jhc: internal error: evacuate: strange closure type 65350" This happened using the loop function and cross-compiling. Program Runtime issues: When you do get this code to compile (by not using the loop function, use delay), if you comment out the lines I've marked there is a bug where (foreign) pointers in the same scope some how overwrite the values of previously defined pointers even though there is no re-assignment going on so they end up all being the same address value, this code works correctly in ghc. I haven't checked this yet but it feels like a C name-hiding bug from nested scopes. Minor issue, ForeignPtr is missing a Show instance. Test.hs: http://www.mediafire.com/?e93sbeaoib26539 test_code.c: http://www.mediafire.com/?16mj8agucypvp1x

2 7

Building from the tarball dependencies
by David Virebayre 11 Aug '10

11 Aug '10

Hello, I compiled jhc 0.7.6 (0.7.6-3). The instructions to build from the tarball at http://repetae.net/computer/jhc/building.shtml give the following dependencies: GHC 6.12.1 or better haskell library binary haskell library zlib haskell library utf8-string haskell library readline haskell library fgl But, I also had to install regex-compat for it to build. ./configure didn't report a problem. David.

2 1

Parsec -- Module not found
by David Virebayre 11 Aug '10

11 Aug '10

Hello, I've tried a small program that uses parsec, but I couldn't get it to compile : david@pcdavid:/data/code/edimail$ jhc -C DecVersBL.hs jhc -C DecVersBL.hs jhc 0.7.6 (0.7.6-3) Finding Dependencies... Using Ho Cache: '/home/david/.jhc/cache' DecVersBL [DecVersBL.hs] Error: Module not found: Text.ParserCombinators.Parsec Error: Module not found: Text.ParserCombinators.Parsec.Char Error: Module not found: Text.ParserCombinators.Parsec.Combinator I've looked into /home/david/download/jhc-0.7.6/lib/ext/parsec.cabal, exposed modules are Text.ParserCombinators.Parsec.xxxx, which is what I tried to import. Just in case, I've also tried the simpler names Text.Parsec, etc. jhc --list-libraries does list parsec-2.1.0.1 I've tried to find Parsec on the disk hoping it'd give me a clue about what to import, but I only found /usr/local/share/jhc-0.7/parsec-2.1.0.1.hl which doesn't help at all. There must be something really stupid I'm missing here. Help ! David.

3 5

building transformers library, irrefutable patterns
by Korcan Hussein 10 Aug '10

10 Aug '10

Hello I can build all of transformers (http://hackage.haskell.org/package/transformers) but only when excluding the files: Control.Monad.Trans.RWS.Lazy, Control.Monad.Trans.State.Lazy, Control.Monad.Trans.Writer.Lazy Which use irrefutable patterns, I could probably make this work without them but I just thought it was worth mentioning.

3 5