- jhc - Haskell.org

darcs patch: add 'capi' foreign function call type, s... (and 3 more)
by John Meacham 11 Feb '12

11 Feb '12

Thu Feb 9 01:16:11 PST 2012 John Meacham <john(a)repetae.net> * add 'capi' foreign function call type, simplify type of E.FromHs monad, check for more FFI related errors Thu Feb 9 02:07:04 PST 2012 John Meacham <john(a)repetae.net> * turn ExtType into a real abstract type Thu Feb 9 02:49:20 PST 2012 John Meacham <john(a)repetae.net> * remove APrim type, use Prim directly, clean up corresponding cruft. Thu Feb 9 03:42:21 PST 2012 John Meacham <john(a)repetae.net> * fix obscure error message for invalid instance reported by roman

1 0

darcs patch: Add some more exotic primitive ops, ffs, ... (and 2 more)
by John Meacham 11 Feb '12

11 Feb '12

Wed Feb 8 23:08:48 PST 2012 John Meacham <john(a)repetae.net> * Add some more exotic primitive ops, ffs,clz,ctz,byteswap,popcount,parity. Thu Feb 9 01:06:47 PST 2012 John Meacham <john(a)repetae.net> * add foreign types, interpret Ptr when creating external C types Thu Feb 9 01:15:27 PST 2012 John Meacham <john(a)repetae.net> * add md5lazyIO, check for bad paths in createTempFile

1 0

fixed tarball
by John Meacham 11 Feb '12

11 Feb '12

I have uploaded an updated tarball that fixes the src/Options.hs issue that some people were having. John

1 0

jhc's development state and an embedded dream
by Jorge Marques Pelizzoni 10 Feb '12

10 Feb '12

Hi, all! I bumped into JHC totally by chance and got quite interested. It's been a while since I started dreaming of developing embedded real-time systems in Haskell subject to somewhat hard memory constraints (from 32KB to 128KB RAM). Am I wrong in guessing that JHC might be the best shot we have so far in that direction? Would it be applicable at all in that scenario? JHC's site mentions that the description of development state in JHC's Original Page is out of date. Could anyone possibly provide/point to a summary of recent developments? Thanks in advance. Cheers, Jorge. 2012/2/10 Daniel Gorín <jcpetruzza(a)gmail.com>: > Hi John, > > In case it helps, I was able to build jhc from the tarball by changing > the line in the Makefile that says > > options.mkd: src/Options.hs | jhc > > to just > > options.mkd: jhc > > Incidentally, the newest version of the pretty package (e.g., the one > that comes with ghc 7.4) defines a Monoid instance for Doc, which > conflicts with the one defined in jhc. I just patched the Makefile to > use an older version of the package, I don't know what the usual method > to deal with this is. > > Thanks, > Daniel > > On Wed, 2012-02-08 at 15:05 -0800, John Meacham wrote: >> Hi, looks like the tarball doesn't include the original files that go >> through drift. it shouldn't need them to compile, strange that it >> needed them for you. >> >> You can grab the source from darcs to work around the issue. I'll put >> up a fixed tarball when I debug the issue. >> >> John >> >> On Wed, Feb 8, 2012 at 4:04 AM, Daniel Gorín <jcpetruzza(a)gmail.com> wrote: >> > Hi >> > >> > I wanted to try jhc 0.8. I followed the instructions here [1], but after >> > unpacking jhc-0.8.0.tar.gz, configure runs ok but make fails with: >> > >> > $ make >> > perl ./utils/op_raw.prl src/RawFiles src/data/ViaGhc.hs >> > src/data/prelude.m4 src/data/targets.ini rts/rts_constants.h >> > rts/stableptr.c rts/queue.h src/data/HsFFI.h rts/wsize.h rts/bitarray.h >> > ChangeLog src/data/shortchange.txt > src/RawFiles.hs >> > make: *** No rule to make target `src/Options.hs', needed by >> > `drift_processed/Options.hs'. Stop. >> > >> > Any ideas? >> > >> > Thanks, >> > Daniel >> > >> > [1] http://repetae.net/computer/jhc/building.shtml >> > >> > >> > >> > _______________________________________________ >> > jhc mailing list >> > jhc(a)haskell.org >> > http://www.haskell.org/mailman/listinfo/jhc > > > > _______________________________________________ > jhc mailing list > jhc(a)haskell.org > http://www.haskell.org/mailman/listinfo/jhc

2 1

couldn't build jhc-0.8 from the tarball
by Daniel Gorín 10 Feb '12

10 Feb '12

Hi I wanted to try jhc 0.8. I followed the instructions here [1], but after unpacking jhc-0.8.0.tar.gz, configure runs ok but make fails with: $ make perl ./utils/op_raw.prl src/RawFiles src/data/ViaGhc.hs src/data/prelude.m4 src/data/targets.ini rts/rts_constants.h rts/stableptr.c rts/queue.h src/data/HsFFI.h rts/wsize.h rts/bitarray.h ChangeLog src/data/shortchange.txt > src/RawFiles.hs make: *** No rule to make target `src/Options.hs', needed by `drift_processed/Options.hs'. Stop. Any ideas? Thanks, Daniel [1] http://repetae.net/computer/jhc/building.shtml

2 2

Re: [jhc] [Haskell] ANNOUNCE: jhc-0.8.0
by John Meacham 09 Feb '12

09 Feb '12

Thanks. I have included your patch. However the ultimate root cause of the Options.hs is not that it isn't being included, it is under drift_processed/Options.hs, the issue is that the Makefile still seems to think it needs the original at least for you for some reason and isn't using the drift_procesed one. hmm.. John On Thu, Feb 9, 2012 at 10:49 AM, Sergei Trofimovich <slyich(a)gmail.com> wrote: > On Tue, 7 Feb 2012 20:03:20 -0800 > John Meacham <john(a)repetae.net> wrote: > >> I am happy to announce jhc 0.8.0 >> >> There have been A lot of major changes in jhc with this release. >> >> - http://repetae.net/computer/jhc > > Hi John! > > Release tarball is missing src/Options.hs file. Sent a patch via 'darcs send'. > > ] hunk ./Makefile.am 30 > - src/Name/Prim.hs src/PackedString.hs src/Ho/ReadSource.hs \ > + src/Name/Prim.hs src/Options.hs src/PackedString.hs src/Ho/ReadSource.hs \ > > -- > > Sergei

1 0

Rank 2 types error
by Roman Cheplyaka 08 Feb '12

08 Feb '12

Hi, The following program is accepted by GHC 7 with -XRank2Types: class C a where f :: a -> a newtype R = R (forall a . C a => a) instance C R where f (R x) = R $ f x main = return () jhc 0.8 gives the following error: [1 of 1] Main (...............jhci: user error ( What: failure Why: Signature too Weak: [] does not imply [Main.C Main.v11] Where: on line 7 in j.hs in the explicitly typed Instance@.iMain.f.Main.R (Main.R Main.6_x) = Main.R Jhc.Basics.$ Main.f Main.6_x {- on line 7 -} Compilation of module: Main) Is this difference in behaviour intended, and how can I make something like that compile? -- Roman I. Cheplyaka :: http://ro-che.info/

2 1

error messages and outdated packages
by Roman Cheplyaka 08 Feb '12

08 Feb '12

Hi John and others, I guess the following message tries to tell me that (<*) is not a member of the Applicative class: [1 of 1] Text.Regex.Applicative.Interface(.......jhci: sigFromClass: Control.Applicative.Applicative [(Control.Applicative.pure, forall f0 a . Control.Applicative.Applicative f0 => a -> f0 a),(Control.Applicative.<*>, forall f0 a b . Control.Applicative.Applicative f0 => f0 (a -> b) -> f0 a -> f0 b)] Control.Applicative.<* Could it be improved? Also, I'd like to update the 'applicative' package to match the current 'base', but before I spend time on that I'd like to check if there are no objections to merging the changes into the jhc repository. -- Roman I. Cheplyaka :: http://ro-che.info/

2 1

darcs patch: clean up foreignptr implementation some. (and 7 more)
by John Meacham 08 Feb '12

08 Feb '12

Mon Feb 6 10:11:22 PST 2012 John Meacham <john(a)repetae.net> * clean up foreignptr implementation some. Mon Feb 6 17:57:19 PST 2012 John Meacham <john(a)repetae.net> * add Jhc.Prim.Rts to access properties of the RTS Mon Feb 6 22:32:02 PST 2012 John Meacham <john(a)repetae.net> * add support for 'Coerce' grin primitive, add atomic allocs in grin. Tue Feb 7 02:55:10 PST 2012 John Meacham <john(a)repetae.net> * make foreign imports work with unboxed IO types, improve primitive operators. Tue Feb 7 03:56:05 PST 2012 John Meacham <john(a)repetae.net> * clean up handling of raw files, keep source file separate when compiling. include useful header files when compiling. Tue Feb 7 17:52:20 PST 2012 John Meacham <john(a)repetae.net> * fixes for distribution. Tue Feb 7 18:00:17 PST 2012 John Meacham <john(a)repetae.net> * added 0.8.0 announcment Tue Feb 7 18:00:26 PST 2012 John Meacham <john(a)repetae.net> tagged 0.8.0

1 0

Re: [jhc] almost to 0.8.0 - feedback welcome
by John Meacham 07 Feb '12

07 Feb '12

On Tue, Feb 7, 2012 at 4:53 AM, Henning Thielemann <lemming(a)henning-thielemann.de> wrote: >> Yeah, I discovered that bug too. Not sure what exactly introduced it but i >> was >> messing with the renamer. I temporarily disblede utility-ht until I get a >> chance to look at it again. > > I am innocent. Yes you are. :) >> Well, it isn't really base 1.0, it has no relation to the hackage/ghc >> version >> other than the unfortunate shared name and the fact they implement similar >> things which can be confusing. There is no correspondence between the >> version >> numbers but it does support many of the interfaces that newer versions of >> ghcs >> base has, so you can generally compile cabal projects by simply deleting >> their >> build-depends and letting jhc loose on it. > > > For me a package that tracks the various simple additions to Data.List and > Control.Monad, while omitting more complicated stuff like concurrency, would > be nice. I would really like to write packages that can be compiled on both > GHC and JHC without cabal switches. Yeah, something like that was my goal with 'base' originally, but I don't think it helped much because it wasn't clear which extensions to the haskell2010 libraries I included or didn't and people just had to try compiling things and see what worked. by supporting 'haskell2010' by default, at least something that compiles today will probably compile unchanged many versions from now. Though, it wouldn't be hard to present the view you want (it is more or less what I would use too), you would just create a library like name: haskell-plus synopsis: haskell 2010 with commonly accepted library extensions exposed-modules: - Ext.Data.Char as Data.Char - Ext.Foreign as Foreign .... then just compile with '-phaskell-plus' to get the extended version of the libraries. My goal is to make this sort of thing easy so a few different useful 'views' like this can be included for common workflows. John

1 0