- jhc - Haskell.org

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

07 Feb '12

On Tue, 7 Feb 2012, John Meacham 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. > 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.

1 0

almost to 0.8.0 - feedback welcome
by John Meacham 07 Feb '12

07 Feb '12

Hi all, I am happy to announce that we are almost upon the 0.8.0 release of jhc, which has quite a few changes from the past so I was hoping I could get some people to help test the newest darcs tree and give feedback. changes include. - A brand new library descriptor file format. Now it is a true YAML file. no more of the confusing quasi-cabal files that were not well defined. - the library description files now can affect pretty much any aspect of compilation, so it is much easier to make a self-contained build or for tools like configure/cabal to interface to jhc. They just need to spit out an appropirate yaml file rather than care about passing the right options to jhc in addition to creating a description file. - jhc transparently handles '.hsc' files (assuming you have hsc2hs installed). It even does the right thing when cross compiliing! using the target architectures types rather than the hosts. - the primtive libraries have been re-done, now there is a truely absolutely minimal jhc-prim library that is everything that must exist for jhc to work. everything else and i mean everything is implemented in normal haskell code. Want to create a varient of haskell that has 16 bit ints, ASCII 8 bit Chars and pervasively uses null terminated C style strings? just create a base-tiny library and link it against jhc-prim. - the standalone deriving extension has been implemented, this greatly improves the ability to re-arrange the libraries logically. - support the LANGUAGE pragma and the equivalant field in the library description files with ghc-compatibility. (ghc extensions are mapped to the closest matching jhc flags.) Things I am still working on but want for the release: - C code and header files will be wrapped up into the .hl file as part of a library build. so there is no need to coordinate native code and jhc libraries, installing a library will always be as simple as dropping an hl file in your library directory. (notably, this will allow transparent distribution of 'bytestring' which has C components) - full haskell 2010 compliance, getting closer, rewrote a lot of libraries, still some work to go. - newtype deriving, sort of hacky and unchecked right now but oh so very useful. What I can use help with: - documentation, anything obvious missing, out of date? - external libraries. in the lib/ext directory I have a few. I'd like to expand it and keep track of what people want. I'd like some better automated way to handle these libraries so they need not be integrated with the main darcs tree. probably post 0.8.0. - many error messages produced by jhc are inscrutable. I'd like to start keeping track of the most eggregious ones and working on fixes. John

3 5

darcs patch: allow extra C code to be bundled within .hl files, inc...
by John Meacham 07 Feb '12

07 Feb '12

Mon Feb 6 07:30:22 PST 2012 John Meacham <john(a)repetae.net> * allow extra C code to be bundled within .hl files, include bytestring in the standard external libraries.

1 0

darcs patch: remove old references to the haskell obj... (and 1 more)
by John Meacham 07 Feb '12

07 Feb '12

Mon Feb 6 04:24:44 PST 2012 John Meacham <john(a)repetae.net> * remove old references to the haskell object directory, made everything cache based. added --purge-cache Mon Feb 6 06:03:18 PST 2012 John Meacham <john(a)repetae.net> * pass -D flags to hsc2hs, add CLong and CULong instances, fill out Foreign.ForeignPtr

1 0

darcs patch: remove a lot of unneeded dependencies. (and 4 more)
by John Meacham 07 Feb '12

07 Feb '12

Sun Feb 5 22:56:36 PST 2012 John Meacham <john(a)repetae.net> * remove a lot of unneeded dependencies. Mon Feb 6 00:13:57 PST 2012 John Meacham <john(a)repetae.net> * move arrays to jhc-prim, remove special IORef specific primitives in favor of length 1 arrays Mon Feb 6 01:27:30 PST 2012 John Meacham <john(a)repetae.net> * include location of 'import' declaration for unknown imports, move Data.Int and Data.Word out of jhc Mon Feb 6 01:52:09 PST 2012 John Meacham <john(a)repetae.net> * remove redundant dependencies from 'base' Mon Feb 6 03:22:32 PST 2012 John Meacham <john(a)repetae.net> * update documentation, move Data.Char to base

1 0

darcs patch: don't require 'error' to be in scope for... (and 2 more)
by John Meacham 06 Feb '12

06 Feb '12

Sun Feb 5 22:11:51 PST 2012 John Meacham <john(a)repetae.net> * don't require 'error' to be in scope for where pattern desugaring, process renaming errors before kind inference Sun Feb 5 22:13:04 PST 2012 John Meacham <john(a)repetae.net> * add script to check for and remove unneeded imports from libraries, remove a bunch from lib/jhc/ Sun Feb 5 22:13:14 PST 2012 John Meacham <john(a)repetae.net> * create Jhc.Class.Real to hold more advance numeric classes.

1 0

darcs patch: use quoteName mechanism to pre-rename ce... (and 1 more)
by John Meacham 06 Feb '12

06 Feb '12

Sun Feb 5 16:57:46 PST 2012 John Meacham <john(a)repetae.net> * use quoteName mechanism to pre-rename certain names, fix class instance namespace bug Sun Feb 5 18:28:10 PST 2012 John Meacham <john(a)repetae.net> * seperate --stop parameter from compilation mode

1 0

darcs patch: properly check for duplicate instances (and 3 more)
by John Meacham 05 Feb '12

05 Feb '12

Sat Feb 4 17:56:51 PST 2012 John Meacham <john(a)repetae.net> * properly check for duplicate instances Sat Feb 4 18:58:15 PST 2012 John Meacham <john(a)repetae.net> * check superclass constraints on instance declarations Sun Feb 5 00:21:56 PST 2012 John Meacham <john(a)repetae.net> * fix up library to pass the more strigent typechecking Sun Feb 5 03:08:57 PST 2012 John Meacham <john(a)repetae.net> * generate reverse name map during renaming

1 0

darcs patch: code cleanups, used located in hstype, u... (and 4 more)
by John Meacham 05 Feb '12

05 Feb '12

Wed Feb 1 05:20:53 PST 2012 John Meacham <john(a)repetae.net> * code cleanups, used located in hstype, use packedstring for filename. Thu Feb 2 20:17:57 PST 2012 John Meacham <john(a)repetae.net> * turn WarnType into a real algebraic data type. Sat Feb 4 14:07:32 PST 2012 John Meacham <john(a)repetae.net> * switch kind inference to use the unified warnings mechanism, switch class declarations to use a HsClassHead Sat Feb 4 16:02:03 PST 2012 John Meacham <john(a)repetae.net> * improve kind checking, kind check instance heads before typechecking pass, switch HsInstDecl to use the HsClassHead Sat Feb 4 16:30:34 PST 2012 John Meacham <john(a)repetae.net> * add ghc typecheck failure tests

1 0

darcs patch: add bange-patterns extension, add individual flags for...
by John Meacham 03 Feb '12

03 Feb '12

Wed Feb 1 03:02:17 PST 2012 John Meacham <john(a)repetae.net> * add bange-patterns extension, add individual flags for various extensions

1 0