- jhc - Haskell.org

"case fell off" for trivial program
by Herbert Valerio Riedel 08 May '15

08 May '15

Hello, When compiling and running the following trivial Haskell program below w/ jhc 0.8.2, it aborts right away with a "case fell off" error (see output below) As this seems to be a rather visible bug, is this actually a known issue? --8<---------------cut here---------------start------------->8--- data T2 = T2C1 | T2C2 String deriving (Show,Eq) data T3 = T3C1 | T3C2 | T3C3 String deriving (Show,Eq) main :: IO () main = do print (T2C2 "works fine") print (T3C3 "case falls off") --8<---------------cut here---------------end--------------->8--- ...output when run: --8<---------------cut here---------------start------------->8--- T2C2 "works fine" /tmp/jhc_8nHiAa/rts/rts_support.c:887: case fell off Aborted --8<---------------cut here---------------end--------------->8--- Cheers, hvr

2 1

Internal pattern match failure when using QuickCheck
by Mario Alvarez Picallo 07 May '15

07 May '15

Hello all, I'm using JHC for a small research project and I've run across the following bug when compiling a very simple program: module Main where import Test.QuickCheck foo_prop x = True main = do quickCheck foo_prop When compiling with the command `jhc -p QuickCheck Main.hs`, the compiler will crash with the following error message: JGC DETECTED JGC DETECTED jhc -p QuickCheck Main.hs jhc 0.8.2 (mydniquipepo-32) Finding Dependencies... Using Ho Cache: '/home/mario/.jhc/cache' Main [Main.hs] Typechecking... [1 of 1] Main (.............................................) Compiling... [1 of 1] Main <.................................wwwwwwwww........> Collected Compilation... -- TypeAnalyzeMethods -- BoxifyProgram -- Boxy WorkWrap >>> Exception thrown Writing: hs.out_lint-before-Boxy WorkWrap.jhc_core Stack: transformProgram: Boxy WorkWrap jhc: Pattern match failure in do expression at src/E/Demand.hs:287:13-28 Is this a known bug? Is there any workaround? Thanks for your time. -- Now I do not know whether I was then a lambda expression emulating a Turing machine, or whether I am a Turing machine emulating a lambda expression.

1 0

Is there a working example of type families usage?
by Artyom 21 Apr '15

21 Apr '15

I tried this: |{-# LANGUAGE TypeFamilies #-} class C xwhere type A x | It fails with this error: |Temp/jhc1.hs:4 - Error: parse error at "}" | Standalone type families don’t work either: |{-# LANGUAGE TypeFamilies #-} type family A x | |Temp/jhc1.hs:3 - Error: parse error at "family" | Is there an example somewhere that I missed while googling?

2 1

A possible bug with constraints being perceived as multiparameter type classes
by Artyom 21 Apr '15

21 Apr '15

This (empty) instance declaration |instance Num (a,b) =>Num (a,b,Int) where | produces the following error when compiled with jhc 0.8.2: |$ Temp/jhc-0.8.2/jhc Temp/jhc1.hs jhc Temp/jhc1.hs jhc 0.8.2 (mydniquipepo-32) Finding Dependencies... Using Ho Cache: '/home/yom/.jhc/cache' Temp/jhc1.hs:1 - Error: Invalid Class. multiparameter classes not yet supported: (Num,[HsTyTuple [HsTyVar {hsTypeName = a},HsTyVar {hsTypeName = b}]]) | Am I misunderstanding something, or is it a legitimate bug?

3 3

For "signum (...::Word)", jhc/gcc reports "error: duplicate case value"
by Thorkil Naur 05 Dec '14

05 Dec '14

Hello jhc, Using $ uname -a Linux tn24 3.13.0-39-generic #66-Ubuntu SMP Tue Oct 28 13:31:23 UTC 2014 i686 i686 i686 GNU/Linux $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.4.2 $ jhc --version jhc 0.8.2 (mydniquipepo-32) compiled by ghc-7.4 on a i386 running linux $ and with $ cat Signum1.hs import Data.Word s = "-47" main = do print $ "SignumWord " ++ s ++ " = " ++ show (signum (read s::Word)) $ I get the following response from jhc: $ jhc Signum1.hs -o Signum1 jhc Signum1.hs -o Signum1 jhc 0.8.2 (mydniquipepo-32) Finding Dependencies... Using Ho Cache: '/home/tn/.jhc/cache' Main [Signum1.hs] Typechecking... [1 of 1] Main (.............................................) Compiling... [1 of 1] Main <..................................................> Collected Compilation... -- TypeAnalyzeMethods -- BoxifyProgram -- Boxy WorkWrap -- LambdaLift Converting to Grin... Updatable CAFS: 3 Constant CAFS: 6 Recursive CAFS: 0 WARNING: Wrapper still exists at grin transformation time: theMain$10::Jhc.Prim.Prim.(,) Jhc.Type.Word.Word::* Jhc.Prim.Prim.[] Jhc.Type.Basic.Char::*::*::* -> Jhc.Prim.Prim.[] Jhc.Type.Word.Word::*::* WARNING: Wrapper still exists at grin transformation time: Jhc.Text.Read.119_isCharName::Jhc.Type.Basic.Char::* -> Jhc.Prim.Prim.Bool::* WARNING: Wrapper still exists at grin transformation time: Jhc.Text.Read.lexLitChar$10::Jhc.Type.Basic.Char::* -> Jhc.Prim.Prim.Bool::* WARNING: Wrapper still exists at grin transformation time: Jhc.Text.Read.lexLitChar$7::Jhc.Type.Basic.Char::* -> Jhc.Prim.Prim.Bool::* WARNING: Wrapper still exists at grin transformation time: Jhc.Text.Read.lexLitChar$4::Jhc.Type.Basic.Char::* -> Jhc.Prim.Prim.Bool::* WARNING: Wrapper still exists at grin transformation time: Jhc.Text.Read.78_isIdChar::Jhc.Type.Basic.Char::* -> Jhc.Prim.Prim.Bool::* WARNING: Wrapper still exists at grin transformation time: Jhc.Text.Read.77_isSym::Jhc.Type.Basic.Char::* -> Jhc.Prim.Prim.Bool::* WARNING: Wrapper still exists at grin transformation time: Prelude.CType.isOctDigit::Jhc.Type.Basic.Char::* -> Jhc.Prim.Prim.Bool::* WARNING: Wrapper still exists at grin transformation time: Prelude.CType.isDigit::Jhc.Type.Basic.Char::* -> Jhc.Prim.Prim.Bool::* WARNING: Wrapper still exists at grin transformation time: Prelude.CType.isHexDigit::Jhc.Type.Basic.Char::* -> Jhc.Prim.Prim.Bool::* -- Speculative Execution Optimization -- Node Usage Analysis -- Grin Devolution Writing "/tmp/jhc_nEVZY9/main_code.c" Running: gcc /tmp/jhc_nEVZY9/rts/profile.c /tmp/jhc_nEVZY9/rts/rts_support.c /tmp/jhc_nEVZY9/rts/gc_none.c /tmp/jhc_nEVZY9/rts/jhc_rts.c /tmp/jhc_nEVZY9/lib/lib_cbits.c /tmp/jhc_nEVZY9/rts/gc_jgc.c /tmp/jhc_nEVZY9/rts/stableptr.c -I/tmp/jhc_nEVZY9/cbits -I/tmp/jhc_nEVZY9 /tmp/jhc_nEVZY9/main_code.c -o Signum1 '-std=gnu99' -D_GNU_SOURCE '-falign-functions=4' -ffast-math -Wextra -Wall -Wno-unused-parameter -fno-strict-aliasing -DNDEBUG -O3 '-D_JHC_GC=_JHC_GC_JGC' In file included from /tmp/jhc_nEVZY9/jhc_rts_header.h:72:0, from /tmp/jhc_nEVZY9/main_code.c:5: /tmp/jhc_nEVZY9/main_code.c: In function ‘ftheMain’: /tmp/jhc_nEVZY9/rts/jhc_rts.h:54:24: warning: statement with no effect [-Wunused-value] #define RAW_SET_16(w) (wptr_t)(((uintptr_t)(w) << 16) | P_VALUE) ^ /tmp/jhc_nEVZY9/rts/jhc_rts.h:64:27: note: in expansion of macro ‘RAW_SET_16’ #define SET_RAW_TAG(x) RAW_SET_16(x) ^ /tmp/jhc_nEVZY9/main_code.c:5882:17: note: in expansion of macro ‘SET_RAW_TAG’ SET_RAW_TAG(CJhc_Prim_Prim_$LR); ^ /tmp/jhc_nEVZY9/main_code.c: In function ‘ftheMain$d11’: /tmp/jhc_nEVZY9/main_code.c:5946:21: error: duplicate case value case 0: ^ /tmp/jhc_nEVZY9/main_code.c:5942:21: error: previously used here case 0: ^ Exiting abnormally. Work directory is '/tmp/jhc_nEVZY9' jhc: user error (C code did not compile.) $ In /tmp/jhc_nEVZY9/main_code.c, I find: ftheMain$d11(gc_t gc) { wptr_t v100008; wptr_t v100012; wptr_t v100016; v100008 = fJhc_Text_Read_nonnull(gc,SET_RAW_TAG(P1__Prelude_CType_isDigit),c186); sptr_t v94776804 = demote(v100008); v100012 = ftheMain$d7(gc,v94776804); v100016 = fJhc_Basics_concatMap(gc,SET_RAW_TAG(P1__theMain$d10),v100012); if (SET_RAW_TAG(CJhc_Prim_Prim_$BE) == v100016) { jhc_error("Prelude.error: Prelude.read: no parse"); return NULL; } else { sptr_t v1868; sptr_t v1870; /* ("CJhc.Prim.Prim.:" ni1868 ni1870) */ v1868 = ((struct sCJhc_Prim_Prim_$x3a*)v100016)->a1; v1870 = ((struct sCJhc_Prim_Prim_$x3a*)v100016)->a2; { gc_frame0(gc,1,v1868); wptr_t v100018 = eval(gc,v1870); if (SET_RAW_TAG(CJhc_Prim_Prim_$BE) == v100018) { uint32_t v84995212; wptr_t v100020 = eval(gc,v1868); v84995212 = ((struct sCJhc_Type_Word_Word*)v100020)->a1; switch (v84995212) { case 0: { return PROMOTE(c187); } break; case 0: { return PROMOTE(c188); } break; default: { return PROMOTE(c189); } break; } } else { /* ("CJhc.Prim.Prim.:" ni0 ni0) */ jhc_error("Prelude.error: Prelude.read: ambiguous parse"); return NULL; } } } } I have checked the jhc mailing list back to January 2013, but could not find anything that seemed to address this, so any advice on how to proceed would be most appreciated. Additional information: I have built jhc from http://repetae.net/dist/jhc-0.8.2.tar.gz The build (make jhc) failed initially with ... [ 71 of 186] Compiling Util.Gen ( src/Util/Gen.hs, src/Util/Gen.o ) src/Util/Gen.hs:11:35: Module `GenUtil' does not export `intercalate' make[1]: *** [jhc] Error 1 make[1]: Leaving directory `/home/tn/tn/jhc/jhc-0.8.2' make: *** [all] Error 2 Removing ", intercalate" from the line import GenUtil hiding(replicateM, intercalate) in jhc-0.8.2/src/Util/Gen.hs seemed to fix that problem, however. I also attempted to build jhc from the darcs repository as it appeared 2014-Dec-04, but got: ... [121 of 198] Compiling Deriving.Ord ( src/Deriving/Ord.hs, obj/norm/Deriving/Ord.o ) [122 of 198] Compiling Deriving.Traverse ( src/Deriving/Traverse.hs, obj/norm/Deriving/Traverse.o ) src/Deriving/Traverse.hs:29:56: parse error on input `->' make: *** [jhc] Error 1 src/Deriving/Traverse.hs contains: 29: deriveFunctor der@Derive {..} mod d@D { vars = reverse -> ~(fv:_), .. } = do Thanks a lot in advance for any help and advice. Best regards Thorkil

2 1

A GitHub mirror
by Ryan Gonzalez 25 Nov '14

25 Nov '14

I just set up a GitHub mirror <https://github.com/kirbyfan64/jhc>, since I hate waiting for Darcs to clone large repos. Enjoy! -- Ryan If anybody ever asks me why I prefer C++ to C, my answer will be simple: "It's becauseslejfp23(@#Q*(E*EIdc-SEGFAULT. Wait, I don't think that was nul-terminated." Personal reality distortion fields are immune to contradictory evidence. - srean Check out my website: http://kirbyfan64.github.io/

2 2

user-kinds, what am I doing wrong?
by Wojtek Narczyński 19 Nov '14

19 Nov '14

Hello, Out of curiosity, I tried user defined kinds. wojtek@biuro:~/src/he $ cat udk.hs data kind Nat = Z | S Nat wojtek@biuro:~/src/he $ jhc -fuser-kinds udk.hs jhc -fuser-kinds udk.hs jhc 0.8.2 (mydniquipepo-32) Finding Dependencies... Using Ho Cache: '/home/wojtek/.jhc/cache' udk.hs:2 - Error: Illegal data/newtype declaration What am I doing wrong? -- Kind regards, Wojtek Narczyński

1 0

user-kinds, what am I doing wrong?
by Wojtek Narczyński 19 Nov '14

19 Nov '14

Hello, Out of curiosity, I tried user defined kinds. wojtek@biuro:~/src/he $ cat udk.hs data kind Nat = Z | S Nat wojtek@biuro:~/src/he $ jhc -fuser-kinds udk.hs jhc -fuser-kinds udk.hs jhc 0.8.2 (mydniquipepo-32) Finding Dependencies... Using Ho Cache: '/home/wojtek/.jhc/cache' udk.hs:2 - Error: Illegal data/newtype declaration What am I doing wrong? -- Kind regards, Wojtek Narczyński

1 0

JHC: problem with transformers
by Dmitry Kulagin 21 Jul '14

21 Jul '14

Hi John, I experiment with JHC, trying to get working some code. Could you help with following code: > module Main where > import Data.Map as M > g :: M.Map String Int > g = M.delete "b" M.empty > main = print g If it is compiled with: -f no-global-optimize, then incorrect C-code generated. (([N],"Prelude.error: Map.deleteFindMax: can not return the maximal element of an empty map"),Berr_18131) (([N],"Prelude.error: Map.deleteFindMin: can not return the minimal element of an empty map"),Berr_18132) ... tmp1/main_code.c:5956:21: error: variable ‘_c7’ has initializer but incomplete type tmp1/main_code.c:5959:21: error: variable ‘_c6’ has initializer but incomplete type Compiler version: jhc 0.8.2 (0.8.2-55) (the most recent from darcs) Full compiler output is in attach. PS.: This code _does_ compile if I don't use -f no-global-optimize. However, I experiment with larger code, which is only compiled if I turn this optimization off. That is why I try to stick with this option. Thanks! Dmitry

2 4

Re: [jhc] Integer for JHC
by John Meacham 03 Jul '14

03 Jul '14

It should work, when I looked at it before it wasn't written to be that efficient, more of a proof of concept. the main reason I have not included something in jhc so far is holding out hope someone will implement a pure haskell Integer that is suitable, I don't want to put any magic in jhcs rts since for embedded platforms you want things like Char to be 8 bits and maybe a 16 bit Int or something, making sure the Integer code doesn't accidentally sneak in would come for free were it written in normal haskell. A library using the standard FFI to link to gmp would also be useful. jhc allows overlapping module names so no magic would be needed to switch between them, you would just bring libraries with different Prelude's into scope. John On Tue, Jul 1, 2014 at 1:29 PM, Henning Thielemann <schlepptop(a)henning-thielemann.de> wrote: > Would this package help JHC to get a real Integer type? > > http://hackage.haskell.org/package/integer-pure -- John Meacham - http://notanumber.net/

1 0