almost to 0.8.0 - feedback welcome

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.

Re: almost to 0.8.0 - feedback welcome

On 31 January 2012 20:41, John Meacham <john <at> repetae.net> wrote:
> 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.

Great work, John!

darcs patch: speed up parsing/lexing by using Name's ... (and 3 more)

Mon Jan 30 03:22:30 PST 2012  John Meacham <john <at> repetae.net>
  * speed up parsing/lexing by using Name's rather than Strings

Tue Jan 31 13:49:51 PST 2012  John Meacham <john <at> repetae.net>
  * make IO a newtype of ST

Tue Jan 31 17:59:18 PST 2012  John Meacham <john <at> repetae.net>
  * add DeNameable class to un-rename source before printing error messages.

Tue Jan 31 23:34:00 PST 2012  John Meacham <john <at> repetae.net>
  * Rework the internal class representation to separate instances from class declarations

_______________________________________________
jhc mailing list
jhc <at> haskell.org
http://www.haskell.org/mailman/listinfo/jhc

darcs patch: add bange-patterns extension, add individual flags for...

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

_______________________________________________
jhc mailing list
jhc <at> haskell.org
http://www.haskell.org/mailman/listinfo/jhc

darcs patch: properly check for duplicate instances (and 3 more)

Sat Feb  4 17:56:51 PST 2012  John Meacham <john <at> repetae.net>
  * properly check for duplicate instances

Sat Feb  4 18:58:15 PST 2012  John Meacham <john <at> repetae.net>
  * check superclass constraints on instance declarations

Sun Feb  5 00:21:56 PST 2012  John Meacham <john <at> repetae.net>
  * fix up library to pass the more strigent typechecking

Sun Feb  5 03:08:57 PST 2012  John Meacham <john <at> repetae.net>
  * generate reverse name map during renaming

_______________________________________________
jhc mailing list
jhc <at> haskell.org
http://www.haskell.org/mailman/listinfo/jhc

darcs patch: code cleanups, used located in hstype, u... (and 4 more)

Wed Feb  1 05:20:53 PST 2012  John Meacham <john <at> repetae.net>
  * code cleanups, used located in hstype, use packedstring for filename.

Thu Feb  2 20:17:57 PST 2012  John Meacham <john <at> repetae.net>
  * turn WarnType into a real algebraic data type.

Sat Feb  4 14:07:32 PST 2012  John Meacham <john <at> 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 <at> 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 <at> repetae.net>
  * add ghc typecheck failure tests

_______________________________________________
jhc mailing list
jhc <at> haskell.org
http://www.haskell.org/mailman/listinfo/jhc

Re: almost to 0.8.0 - feedback welcome

On 1/31/12 7:41 PM, John Meacham wrote:
> 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.

So, I just pulled down a clean copy of the repo and tried to build it. 
So far I've run into the following build issues:

* autoconf correctly identified that DrIFT wasn't installed, but then 
make ended up trying to call DrIFT anyways.

* some package named HsSyck is specified when trying to compile jhc, 
though that's not listed in the required tools 
<http://repetae.net/computer/jhc/development.shtml> and isn't checked 
for during autoconf.

* During `make libs` I get the following errors:

     ...
     [23 of 57] Jhc.Inst.Order
     lib/jhc/Jhc/Inst/Order.hs:13  - Error: Unknown name: Jhc.Class.Ord.<
     lib/jhc/Jhc/Inst/Order.hs:13  - Error: Unknown name: Jhc.Class.Ord.>
     lib/jhc/Jhc/Inst/Order.hs:13  - Error: Unknown name: Jhc.Class.Ord.==
     lib/jhc/Jhc/Inst/Order.hs:13  - Error: Unknown name: Jhc.Class.Ord./=
     ...

--

-- 

Re: almost to 0.8.0 - feedback welcome

When pulling from the repo you need DrIFT installed, the tarballs
don't need it though. I can make that message more informative...

The development.html page is only updated on a release from
docs/development.mkd, It would probably make more sense to have it
track the repository version rather than the current release. I'll see
about adding a cron job to fix that up.

I have a fix for the third issue done. will post it soon, in the
meantime you can find the call to qualifyInstMethod  in
src/FrontEnd/Rename.hs and just replace it and the hsDecls processing
for HsInstDecl with

 > hsDecls' <- rename hsDecls

to just do a full renaming of the declarations.

    John

On Sun, Feb 5, 2012 at 4:28 PM, wren ng thornton <wren <at> freegeek.org> wrote:
> On 1/31/12 7:41 PM, John Meacham wrote:
>>
>> 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.
>
>

darcs patch: use quoteName mechanism to pre-rename ce... (and 1 more)

Sun Feb  5 16:57:46 PST 2012  John Meacham <john <at> 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 <at> repetae.net>
  * seperate --stop parameter from compilation mode

_______________________________________________
jhc mailing list
jhc <at> haskell.org
http://www.haskell.org/mailman/listinfo/jhc

darcs patch: don't require 'error' to be in scope for... (and 2 more)

Sun Feb  5 22:11:51 PST 2012  John Meacham <john <at> 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 <at> 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 <at> repetae.net>
  * create Jhc.Class.Real to hold more advance numeric classes.

_______________________________________________
jhc mailing list
jhc <at> haskell.org
http://www.haskell.org/mailman/listinfo/jhc