- jhc - Haskell.org

anyone with OSX 10.6.x
by John Meacham 21 Jul '10

21 Jul '10

Hi, can someone with an OSX system 10.6.something run the command gcc -E -dM foo.c (where foo.c is an empty file) and post the output? Alternatively, if someone wants to give me a mac, I'd happily accept it. :) John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/

2 2

darcs patch: compile jhc.hl with no implicit prelude (and 2 more)
by John Meacham 21 Jul '10

21 Jul '10

Mon Jul 19 21:13:13 PDT 2010 John Meacham <john(a)repetae.net> * compile jhc.hl with no implicit prelude Tue Jul 20 17:38:42 PDT 2010 John Meacham <john(a)repetae.net> * treat arrays as heap allocatable for the GC Tue Jul 20 17:40:53 PDT 2010 John Meacham <john(a)repetae.net> * print debugging information to stderr

1 0

darcs patch: add code to support JGC on windows and OSX (and 4 more)
by John Meacham 21 Jul '10

21 Jul '10

Sun Jul 18 19:39:21 PDT 2010 John Meacham <john(a)repetae.net> * add code to support JGC on windows and OSX Sun Jul 18 19:53:26 PDT 2010 John Meacham <john(a)repetae.net> * fix up regression tests Sun Jul 18 21:54:56 PDT 2010 John Meacham <john(a)repetae.net> * clean up Sun Jul 18 23:30:36 PDT 2010 John Meacham <john(a)repetae.net> * fix bug when setting up the jmp_buf for exception handling. Mon Jul 19 20:50:46 PDT 2010 John Meacham <john(a)repetae.net> tagged epamajyumhu

1 0

darcs patch: rts rearrangement and clean ups, move to... (and 1 more)
by John Meacham 21 Jul '10

21 Jul '10

Sat Jul 17 14:59:19 PDT 2010 John Meacham <john(a)repetae.net> * rts rearrangement and clean ups, move to src/rts, pre-generate the combined rts. Sat Jul 17 16:25:52 PDT 2010 John Meacham <john(a)repetae.net> * get rid of need for sys/queue.h, as some systems don't have it. get rid of some warnings when targeting windows.

1 0

darcs patch: update version number to 0.7.5 (and 3 more)
by John Meacham 18 Jul '10

18 Jul '10

Sun Jul 11 00:31:34 PDT 2010 John Meacham <john(a)repetae.net> * update version number to 0.7.5 Sun Jul 11 22:16:09 PDT 2010 John Meacham <john(a)repetae.net> * improve self-tests Tue Jul 13 20:36:13 PDT 2010 John Meacham <john(a)repetae.net> * clean up selftest Tue Jul 13 23:43:12 PDT 2010 John Meacham <john(a)repetae.net> * clean up some predefined names

1 0

darcs patch: add 0.7.3 announcemnt to repo (and 6 more)
by John Meacham 18 Jul '10

18 Jul '10

Fri Jul 9 23:47:02 PDT 2010 John Meacham <john(a)repetae.net> * add 0.7.3 announcemnt to repo Sat Jul 10 22:44:14 PDT 2010 John Meacham <john(a)repetae.net> * cleanups Sat Jul 10 22:45:13 PDT 2010 John Meacham <john(a)repetae.net> * improve portability of Makefile Sat Jul 10 23:25:26 PDT 2010 John Meacham <john(a)repetae.net> * fix win32 as a target Sat Jul 10 23:42:24 PDT 2010 John Meacham <john(a)repetae.net> * make the regression tests use the proper cache and add --win support to use wine for regression test Sat Jul 10 23:17:20 PDT 2010 Antoine Latter <aslatter(a)gmail.com> * check for byte order flags set on mac os x Sun Jul 11 00:15:00 PDT 2010 John Meacham <john(a)repetae.net> * bug updates

1 0

Garbage collector on OS X
by Max Bolingbroke 11 Jul '10

11 Jul '10

Hi, The garbage collector doesn't appear to work on OS X due to a linking error. For a trivial "hello world" program I get the following output from JHC: """ $ jhc -fjgc Example.hs jhc -fjgc Example.hs jhc 0.7.4 (tokfekyuvi-27) Finding Dependencies... Using Ho Cache: '/Users/mbolingbroke/.jhc/cache' Main [Example.hs] <~/.jhc/cache/39891df74647a2bf36dd845a4c48ee8a.ho> Fresh: <~/.jhc/cache/39891df74647a2bf36dd845a4c48ee8a.ho> Typechecking... Compiling... Collected Compilation... -- typeAnalyzeMethods -- BoxifyProgram -- Boxy WorkWrap -- LambdaLift E ├─case: 27 ├─case-alt: 33 ├─lambda: 16 ├─let-binding: 19 ├─lit: 66 ├─other: 29 ├─prim: 14 └─var-use: 82 Converting to Grin... Found 0 CAFs to convert to constants, 0 of which are recursive. Recursive Constant CAFS Writing "hs.out_code.c" Running: gcc '-std=gnu99' -D_GNU_SOURCE '-falign-functions=4' -ffast-math -Wextra -Wall -Wno-unused-parameter -o hs.out hs.out_code.c -DNDEBUG -O3 '-D_JHC_GC=_JHC_GC_JGC' hs.out_code.c:220:1: warning: "ALIGN" redefined In file included from /usr/include/machine/param.h:37, from /usr/include/sys/param.h:110, from hs.out_code.c:143: /usr/include/i386/param.h:83:1: warning: this is the location of the previous definition hs.out_code.c: In function ‘gc_check_heap’: hs.out_code.c:1606: warning: comparison of distinct pointer types lacks a cast hs.out_code.c:1606: warning: comparison of distinct pointer types lacks a cast hs.out_code.c: At top level: hs.out_code.c:1642: warning: ‘gc_add_root’ defined but not used Undefined symbols: "__end", referenced from: _gc_alloc in ccFhQDIs.o _gc_alloc in ccFhQDIs.o _gc_alloc in ccFhQDIs.o "__start", referenced from: _gc_alloc in ccFhQDIs.o _gc_alloc in ccFhQDIs.o _gc_alloc in ccFhQDIs.o ld: symbol(s) not found collect2: ld returned 1 exit status jhc: user error (C code did not compile.) """ Cheers, Max

2 5

ANNOUNCE: jhc 0.7.4
by John Meacham 10 Jul '10

10 Jul '10

Announcing jhc 0.7.4! There have been a few major changes, the main one being that there is now support for a garbage collector. This drastically increases the number of programs which are feasable to compile with jhc. http://repetae.net/computer/jhc/ Any testing people can do with -fjgc would be greatly appreciated! My gameplan is to fix any issues that come up with the new gc and release a 0.7.5 that will have the GC enabled by default. This will probably be the first version of jhc I can recommend to non-developers with a good concience :). Once that is done I can implement a good strategy for library compatibility with other compilers and the standards. As it is, jhc has a mix of haskell 98 and haskell 2010 and the ghc base as its distributed libraries, basically whatever I found I needed in practice I added as I went along. This won't work in the long run. Major changes * a garbage colletor which can be enabled with '-fjgc' is available. after some more testing, I will make it the default in the 0.7.5 release. * A new memory allocator based on Jeff Bonwick's slab memory allocator for kernels. This means that in many cases, memory can be pulled off a slab and immediately used with no initialization, in addition, it allowed a rearrangement of the GC meta-data to optimizally use the cache. * packed representation of algebraic types, 'Maybe Foo' is actually represented in memory as a NULL pointer or just a 'Foo' with no tag bits. Combined with the slab allocator, this can double the number of some common values that can be put in a cache line. * some intense profiling of generated code and modification of the rts and code generator. Signifigant speed-ups in compiled programs are the result. Some other changes since 0.7.3 are * documentation updates, especially when it comes to the runtime. * ghc 6.12 support (it is in fact required now.) * no more monolithic 'Main'. the core pass moved to E.Main and the grin pass moved to Grin.Main. * generated C code is more compact and easier to debug. * more use of bytestring internally, improved performance * JHC_RTS_INCLUDE flag allows including the rts from an external file. useful for debugging/developing the RTS. * explicit register support in grin, for alternate back ends such as a NCG * Removed all compiler magic dealing with Eq,Bounded,Ord, and Bits. instances for these are specified in haskell code even for built in types now. * cleaned out some obsolete flags and options on command line. * updated applicative and support for newest version of 'containers' library. * bug updates * various bug fixes Below is the announcment for 0.7.3 in case you missed it. It's been a long time coming, but jhc-0.7.3 is here. If you have been following the darcs repository, there are not a whole lot of new changes, but there have been substantial fixes since 0.7.2. http://repetae.net/computer/jhc/ One of the most important ones is I have begun the process of standardizing on YAML for all external interfaces that may be useful to automation, this should make interfacing jhc with external tools written in any language much easier, and it will prevent me from spending time trying to invent proprietary formats every time I think of something new to spit out. right now it is used in 3 places: - dumping dependency info with --deps - library dumping with --list-libraries -v - annotating source code, for inputting to documentation generators via --annotate-source The main place it isn't used yet that I desire too is to replace the 'cabal' library description format with a true YAML file. jhc cabal files were never quite compatible with cabal ones anyway and naming them the same thing has been a source of connfusion. some of the other changes have been: features: - a lot more regression tests, many user submitted bugs are now regressions - support for using 'mock' to build rpms - System.Exit, System.Cmd added to base - better compatibility with ghc in some library functions - ui improvements in showing progress and errors - extended --list-libraries info - --deps dependency dumping - more francise compatible thanks to patches from droundy - more instances for bigger tuples added - uses editline if readline not available - select libraries by hash as well as version - add System.IO.Pipe - detect version of gcc needed for cross compiling to windows performance: - storage analysis - a very basic region inference enabled by default - deadcode analysis can see through partial applications now - profiled and sped up some library routines that were producing inellegant core. - figure out when top level grin functions call themselves recursively and turn them into explicit loops. bug fixes: - do expression in infix - fix strict newtype bug - U2U bug fixed - desugaring inside of list comprehensions fix - c generator doesn't mess up on unknown values - the compiler version is stored in the cache files, so multiple versions of jhc don't clobber each others cache entries - Ord instance for lists fixed - recursive type synonyms detected properly - make sure errno.h is included when errno is referenced - don't give a parse error when seeing ghc extensions to INLINE - qualified method names fix -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/

1 0

darcs patch: update documentation (and 2 more)
by John Meacham 10 Jul '10

10 Jul '10

Fri Jul 9 23:07:20 PDT 2010 John Meacham <john(a)repetae.net> * update documentation Fri Jul 9 23:08:55 PDT 2010 John Meacham <john(a)repetae.net> * release 0.7.4 Fri Jul 9 23:11:10 PDT 2010 John Meacham <john(a)repetae.net> tagged 0.7.4

1 0

darcs patch: get rid of special handling of Bits clas... (and 6 more)
by John Meacham 10 Jul '10

10 Jul '10

Thu Jul 8 23:00:19 PDT 2010 John Meacham <john(a)repetae.net> * get rid of special handling of Bits class in the compiler Thu Jul 8 23:01:40 PDT 2010 John Meacham <john(a)repetae.net> * update applicative module and add Data.Functor Fri Jul 9 00:27:50 PDT 2010 John Meacham <john(a)repetae.net> * add support for parsing some ghc constructs so containers can compile out of the box Fri Jul 9 14:32:44 PDT 2010 John Meacham <john(a)repetae.net> * clean up documentation, improve rpm building script. Fri Jul 9 15:21:21 PDT 2010 John Meacham <john(a)repetae.net> * update bugs Fri Jul 9 15:44:30 PDT 2010 John Meacham <john(a)repetae.net> * make shorter names for components for refering to bugs Fri Jul 9 16:02:20 PDT 2010 John Meacham <john(a)repetae.net> * update bugs

1 0