January 2012 - jhc - Haskell.org

Compiling DrIFT with GHC >= 7.2 (was Re: [bug][jhc 7.7] about newIOArray: variable undeclared in the generated C source)
by Dirk Ullrich 23 Jan '12

23 Jan '12

Hi John 2012/1/18 John Meacham <john(a)repetae.net>: > Hi, I'd rather have DrIFT depend only on haskell98, that will give it > the widest range of compilers it will work on. To only depend on Haskell 98 if possible to be portable is a good idea imho. > as far as i know, it is > already pure haskell 98 so it should just need the right compile flag > on new versions of ghc. You are right: passing --with-hcflags='-hide-all-packages -package haskell98' to configure does the trick ... nearly: When using GHC 7.4 even then `Num' seems to be no subclass of `Show' (and `Eq') anymore. But to fix this one only have to change one line in `src/GenUtils.hs': diff -r cb15d1da1c66 -r 5d1dc6b5a679 src/GenUtil.hs --- a/src/GenUtil.hs Tue Jan 17 21:42:44 2012 +0100 +++ b/src/GenUtil.hs Wed Jan 18 01:04:16 2012 +0100 @@ -482,7 +482,7 @@ _ `overlaps` _ = True -- | translate a number of seconds to a string representing the duration expressed. -showDuration :: Integral a => a -> String +showDuration :: (Integral a, Show a) => a -> String showDuration x = st "d" dayI ++ st "h" hourI ++ st "m" minI ++ show secI ++ "s" where (dayI, hourI) = divMod hourI' 24 (hourI', minI) = divMod minI' 60 and this adding of the `Show a' constraint to the definition of `showDuration' is backward compatible, isn't it? > > I tend to mainly keep jhc compatible with what is in ubuntus stable > release, which is ghc 7.0.2 at the moment. though patches for newer > versions would be appreciated of course. Other than DrIFT jhc does use a few of GHC's Haskell extensions (at least at the moment). So I guess that for jhc one have to remove the usage of `haskell98' package in favor of `base'. By the way: A first try to compile DrIFT with UHC (http://www.cs.uu.nl/wiki/UHC) fails: UHC does not understand (at least) the options `--make', `-hidir' or `-odir' (but `--odir'). Dirk

2 1

`base' vs. `haskell98' when patching jhc for GHC >= 7.2
by Dirk Ullrich 23 Jan '12

23 Jan '12

Hello John, 2012/1/18 John Meacham <john(a)repetae.net>: [...] > I tend to mainly keep jhc compatible with what is in ubuntus stable > release, which is ghc 7.0.2 at the moment. though patches for newer > versions would be appreciated of course. > > John [...] as already mentioned for GHC >= 7.2 the package `haskell98' conflicts with the `base' package. Thus when patching jhc for such a GHC version seems to amount to use only one of them. Would it be okay to use `base' alone for jhc (since imho jhc is less Haskell 98 compliant than, for instance, DrIFT)? Dirk

2 1

darcs patch: don't create dummy instances for Eq, Ord, ... (and 3 more)
by John Meacham 23 Jan '12

23 Jan '12

Sun Jan 22 18:13:01 PST 2012 John Meacham <john(a)repetae.net> * don't create dummy instances for Eq,Ord,Enum, support standalone deriving of some classes, allow mulitple derivations when compatible. Sun Jan 22 22:38:09 PST 2012 John Meacham <john(a)repetae.net> * add deriving of Ix, move Bool to jhc-prim, use standalone deriving to clean up module layout Sun Jan 22 23:21:44 PST 2012 John Meacham <john(a)repetae.net> * move Ordering to jhc-prim, untangle libraries. Mon Jan 23 01:08:34 PST 2012 John Meacham <john(a)repetae.net> * make kind inference handle newtypes of unboxed values properly.

1 0

darcs patch: switch CanType to use an associated type instead of a FD
by John Meacham 23 Jan '12

23 Jan '12

Sun Jan 22 05:02:58 PST 2012 John Meacham <john(a)repetae.net> * switch CanType to use an associated type instead of a FD

1 0

darcs patch: switch from gzip to deflate for compress... (and 1 more)
by John Meacham 23 Jan '12

23 Jan '12

Sun Jan 22 01:55:14 PST 2012 John Meacham <john(a)repetae.net> * switch from gzip to deflate for compressing ho files. Sun Jan 22 04:36:01 PST 2012 John Meacham <john(a)repetae.net> * collect deriving declarations before passing them to derivation code

1 0

darcs patch: pass extensions, include-dirs, hs-source-d... (and 4 more)
by John Meacham 23 Jan '12

23 Jan '12

Sat Jan 21 18:20:54 PST 2012 John Meacham <john(a)repetae.net> * pass extensions,include-dirs,hs-source-dirs and options from the library description file properly through pipeline Sat Jan 21 18:42:57 PST 2012 John Meacham <john(a)repetae.net> * support the --noauto option in library description files Sat Jan 21 19:16:25 PST 2012 John Meacham <john(a)repetae.net> * clean up library description files, simplify build. Sat Jan 21 20:22:37 PST 2012 John Meacham <john(a)repetae.net> * start moving definitions to jhc-prim Sun Jan 22 01:31:25 PST 2012 John Meacham <john(a)repetae.net> * move IO and tuples to jhc-prim

1 0

darcs patch: cleanup whitespace across files, sort im... (and 1 more)
by John Meacham 23 Jan '12

23 Jan '12

Sat Jan 21 15:46:13 PST 2012 John Meacham <john(a)repetae.net> * cleanup whitespace across files, sort imports, make consistent Sat Jan 21 17:21:07 PST 2012 John Meacham <john(a)repetae.net> * cleanup libraries, add address hashing function

1 0

ANNOUNCE: jhc-0.7.8
by John Meacham 18 Jan '12

18 Jan '12

Announcing jhc 0.7.8! This is mainly a bug fix release. http://repetae.net/computer/jhc/ Changes include: * Now compiles under ghc 7.0.x as well as 6.12 * new standard libraries * filepath * deepseq * new platforms supported Nintendo DSi, GBA, and GP32 (thanks to Brian McKenna) * many bug fixes for various reported issues. see darcs logs for details. * LIB_OPTIONS respected when building external libraries * better float outward optimization * better diagnostics/dumping of core/grin on internal type errors * rewrite UnionSolve to be much faster, node analysis sped up accordingly. John

1 0

[bug][jhc 7.7] about newIOArray: variable undeclared in the generated C source
by emacsray＠gmail.com 17 Jan '12

17 Jan '12

Hi all, The generated C source hs.out_code.c cannot be compiled due to an undeclared variable. Here is the snippet code which can reproduce the issue. import Data.Array.IO main = do arr <- newIOArray (0,42) 0 :: IO (IOArray Int Int) print 13 Here is the excerpt from jhc's output: Writing "hs.out_code.c" Running: gcc '-std=gnu99' -D_GNU_SOURCE '-falign-functions=4' -ffast-math -Wextra -Wall -Wno-unused-parameter -fno-strict-aliasing -o hs.out hs.out_code.c -DNDEBUG -O3 '-D_JHC_GC=_JHC_GC_JGC' hs.out_code.c: In function ‘ftheMain’: hs.out_code.c:1867:27: error: ‘v119549094’ undeclared (first use in this function) hs.out_code.c:1867:27: note: each undeclared identifier is reported only once for each function it appears in hs.out_code.c: In function ‘fx57580221’: hs.out_code.c:1886:24: warning: comparison between signed and unsigned integer expressions hs.out_code.c:1889:9: warning: statement with no effect hs.out_code.c:1926:17: warning: statement with no effect jhc: user error (C code did not compile.) The whole session is enclosed as `typescript'. Btw, jhc 7.7 cannnot be compiled on ghc 7.0.4 smoothly. I add `{-# LANGUAGE TypeFamilies #-}' and `import Data.Generics hiding (empty)' to get it compiled. -- Regards, Ray ---------------------------- site: http://maskray.tk ----------------------------

3 5