[jhc] Re: Another bug

[David Roundy]

Here's a less trivial file with a very similar-looking bug to the last
one.  In this case, the bug is

$ jhc -dc -D_JHC_STANDALONE=0 -o test.ko test.hs
jhc -dc -D_JHC_STANDALONE=0 -o test.ko test.hs
jhc 0.7.3 (0.7.2-30)
Finding Dependencies...
Using Ho Cache: '/mnt/home/droundy/.jhc/cache'
test.hs:1   - Warning: The pragma 'LANGUAGE' is unknown
Main                    [test.hs]
Typechecking...
[1 of 1] Main             (.............................................)
Compiling...
[1 of 1] Main             user error (specializeE: attempt to
specialize types that do not unify:
(Jhc at .Absurd.^** (), Jhc.Prim.IO ())
ELit (Jhc at .Absurd.^** (ELit (Jhc.Basics.()::ESort *))::ESort *)
ELit (Jhc.Prim.IO (ELit (Jhc.Basics.()::ESort *))::ESort *))

and once again, it disappears when I add the type signature back in.

David

On Sun, Sep 13, 2009 at 7:14 PM, David Roundy
<roundyd at physics.oregonstate.edu> wrote:
> Here's another bug,
>
> Compiling the attached file, I get
>
> $ jhc test.hs
> jhc test.hs
> jhc 0.7.3 (0.7.2-30)
> Finding Dependencies...
> Using Ho Cache: '/mnt/home/droundy/.jhc/cache'
> Main                    [test.hs]
> Typechecking...
> [1 of 1] Main             (.............................................)
> Compiling...
> [1 of 1] Main             <..................................................>
> src/FrontEnd/Representation.hs:98:0: No instance nor default method
> for class operation Data.Binary.put
>
> If I uncomment the type signature for main, the file compiles.  It's
> not an important sort of program, but a compiler bug is a compiler
> bug, and I imagine it might manifest itself in some non-trivial
> program.
> --
> David Roundy
>



-- 
David Roundy
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.hs
Type: text/x-haskell
Size: 349 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/jhc/attachments/20090913/749672df/test.bin