January 2012 - jhc - Haskell.org

darcs patch: fix bug where class rules were not gener... (and 1 more)
by John Meacham 01 Feb '12

01 Feb '12

Mon Jan 30 01:35:00 PST 2012 John Meacham <john(a)repetae.net> * fix bug where class rules were not generated for internally generated instances in some cases Mon Jan 30 01:56:03 PST 2012 John Meacham <john(a)repetae.net> tagged mydniquipepo

1 0

darcs patch: rearrange standard libraries to remove d... (and 6 more)
by John Meacham 01 Feb '12

01 Feb '12

Sun Jan 29 17:31:07 PST 2012 John Meacham <john(a)repetae.net> * rearrange standard libraries to remove dependency loop on Prelude Sun Jan 29 19:55:17 PST 2012 John Meacham <john(a)repetae.net> * clean up code, add simple stack backtrace to help find bugs, fix duplicate instance Sun Jan 29 19:56:50 PST 2012 John Meacham <john(a)repetae.net> * bugs update Sun Jan 29 20:26:40 PST 2012 John Meacham <john(a)repetae.net> * change prelude exports to be haskell 2010 compliant Sun Jan 29 22:33:57 PST 2012 John Meacham <john(a)repetae.net> * change ContextMonad to use a type alias, remove dependence on 'Either' monad instance Sun Jan 29 22:34:55 PST 2012 John Meacham <john(a)repetae.net> * library cleanups Sun Jan 29 22:58:19 PST 2012 John Meacham <john(a)repetae.net> * add touch_ primitive

1 0

darcs patch: remove most of PackedString.hs (and 4 more)
by John Meacham 30 Jan '12

30 Jan '12

Sun Jan 29 05:34:31 PST 2012 John Meacham <john(a)repetae.net> * remove most of PackedString.hs Sun Jan 29 06:45:24 PST 2012 John Meacham <john(a)repetae.net> * add mtick', use it when stringtable overloaded enabled Sun Jan 29 07:49:25 PST 2012 John Meacham <john(a)repetae.net> * move Module to containing an atom instead of a string Sun Jan 29 08:27:43 PST 2012 John Meacham <john(a)repetae.net> * properly report ambiguity on re-defined top-level names Sun Jan 29 16:40:41 PST 2012 John Meacham <john(a)repetae.net> * fix bug in const. primitive decoding

1 0

darcs patch: add set of ignored pragmas to not produc... (and 3 more)
by John Meacham 30 Jan '12

30 Jan '12

Sun Jan 29 03:51:42 PST 2012 John Meacham <john(a)repetae.net> * add set of ignored pragmas to not produce warnings for Sun Jan 29 03:55:22 PST 2012 John Meacham <john(a)repetae.net> * add flag to dump stats from the stringtable library on exit Sun Jan 29 03:56:14 PST 2012 John Meacham <john(a)repetae.net> * Switch StringTable hash to use the much faster jenkins hash. Sun Jan 29 05:11:54 PST 2012 John Meacham <john(a)repetae.net> * move all primitive decoding to its own module

1 0

Can't build 0.7.8
by wren ng thornton 30 Jan '12

30 Jan '12

Hello, I just tried building 0.7.8 today and got this error: src/Util/ContextMonad.hs:15:9: Overlapping instances for Error [String] arising from the superclasses of an instance declaration at src/Util/ContextMonad.hs:15:9-45 Matching instances: instance (transformers-0.2.1.0:Control.Monad.Trans.Error.ErrorList a) => Error [a] -- Defined in transformers-0.2.1.0:Control.Monad.Trans.Error instance [overlap ok] Error [String] -- Defined at src/Util/ContextMonad.hs:10:9-22 In the instance declaration for `ContextMonad String (Either [String])' Let me know if you need any more info. -- Live well, ~wren

2 1

darcs patch: start adding new primitive decoder (and 1 more)
by John Meacham 29 Jan '12

29 Jan '12

Thu Jan 26 14:48:47 PST 2012 John Meacham <john(a)repetae.net> * start adding new primitive decoder Thu Jan 26 17:45:02 PST 2012 John Meacham <john(a)repetae.net> * fix trailing whitespace. add fix-whitespace make target

1 0

darcs patch: TAG ejnagteuk (and 6 more)
by John Meacham 29 Jan '12

29 Jan '12

Wed Jan 25 03:57:59 PST 2012 John Meacham <john(a)repetae.net> tagged ejnagteuk Wed Jan 25 04:55:23 PST 2012 John Meacham <john(a)repetae.net> * remove unused names from data/names.txt and DataConstructors.hs Wed Jan 25 05:27:12 PST 2012 John Meacham <john(a)repetae.net> * fix generation of man page. Wed Jan 25 13:41:41 PST 2012 John Meacham <john(a)repetae.net> * add a list of names to display in short from when printing E code Wed Jan 25 13:42:37 PST 2012 John Meacham <john(a)repetae.net> * whitespace/formatting cleanups Thu Jan 26 04:34:33 PST 2012 John Meacham <john(a)repetae.net> * fix storable instances Thu Jan 26 04:35:32 PST 2012 John Meacham <john(a)repetae.net> * add IsString instance for Atom

1 0

darcs patch: don't leave temp dir aronud when user in... (and 3 more)
by John Meacham 26 Jan '12

26 Jan '12

Tue Jan 24 04:09:29 PST 2012 John Meacham <john(a)repetae.net> * don't leave temp dir aronud when user interrupts compiliation with ^C, pass cc options to hsc2hs. Wed Jan 25 01:38:07 PST 2012 John Meacham <john(a)repetae.net> * allow creating files in subdirectories of the temporary working dir, add the --tdir option. Wed Jan 25 02:55:07 PST 2012 John Meacham <john(a)repetae.net> * cleanups Wed Jan 25 03:48:15 PST 2012 John Meacham <john(a)repetae.net> * remove unneeded dependency

1 0

darcs patch: start moving integral c types to Jhc.Typ... (and 3 more)
by John Meacham 26 Jan '12

26 Jan '12

Mon Jan 23 19:26:56 PST 2012 John Meacham <john(a)repetae.net> * start moving integral c types to Jhc.Type.C and turning them into newtypes of values Mon Jan 23 22:36:15 PST 2012 John Meacham <john(a)repetae.net> * move all the type definitions out of Foreign.C.Types Tue Jan 24 00:49:33 PST 2012 John Meacham <john(a)repetae.net> * finish moving primitive types to Jhc.Type.* get rid of all 'PrimitiveOperators' related hacks. rejoice. Tue Jan 24 02:57:51 PST 2012 John Meacham <john(a)repetae.net> * fix storable instances for numeric types

1 0

darcs patch: improve printing of core (and 5 more)
by John Meacham 24 Jan '12

24 Jan '12

Mon Jan 23 01:45:19 PST 2012 John Meacham <john(a)repetae.net> * improve printing of core Mon Jan 23 02:14:58 PST 2012 John Meacham <john(a)repetae.net> * move haskell 98 package to yaml config Mon Jan 23 04:06:31 PST 2012 John Meacham <john(a)repetae.net> * support unboxed characters properly. Mon Jan 23 05:54:18 PST 2012 John Meacham <john(a)repetae.net> * library cleanups, start moving type declarations to Jhc.Type Mon Jan 23 15:57:24 PST 2012 John Meacham <john(a)repetae.net> * documentation updates Mon Jan 23 18:40:04 PST 2012 John Meacham <john(a)repetae.net> * library cleanups

1 0

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

24 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 24 Jan '12

24 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 24 Jan '12

24 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 24 Jan '12

24 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 24 Jan '12

24 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 18 Jan '12

18 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