<div dir="ltr">Isn't this due to the recent Typeable changes, described here: <a href="http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/PolyTypeable">http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/PolyTypeable</a> ? <br>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 25, 2013 at 3:16 PM, Carlos Lopez Camey <span dir="ltr"><<a href="mailto:c.lopez@kmels.net" target="_blank">c.lopez@kmels.net</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
Hi, I have an interpreter for external core and I would like to read
the definitions in base:Prelude. After jumping over some obstacles
[0], I find myself here:<br>
<br>
> ghc --make -fext-core -I./include -cpp Prelude.hs<br>
<br>
GHC/Num.lhs:65:27:<br>
Could not deduce (base:GHC.Num.Num a) arising from the literal
`0'<br>
from the context (Num a)<br>
bound by the class declaration for `Num'<br>
at GHC/Num.lhs:(42,1)-(65,31)<br>
Possible fix:<br>
add (base:GHC.Num.Num a) to the context of<br>
the class declaration for `Num'<br>
In the first argument of `(-)', namely `0'<br>
In the expression: 0 - x<br>
In an equation for `negate': negate x = 0 - x<br>
<br>
If I jump over this one with some nonsense fix (e.g. negate = id)
then I get<br>
<br>
GHC/Exception.lhs:47:14:<br>
Cannot derive well-kinded instance of form `Typeable<br>
* (SomeException
...)'<br>
Class `Typeable' expects an argument of kind `k'<br>
In the data declaration for `SomeException'<br>
<br>
GHC/Exception.lhs:169:24:<br>
Cannot derive well-kinded instance of form `Typeable<br>
* (ErrorCall ...)'<br>
Class `Typeable' expects an argument of kind `k'<br>
In the newtype declaration for `ErrorCall'<br>
<br>
GHC/Exception.lhs:186:22:<br>
Cannot derive well-kinded instance of form `Typeable<br>
* (ArithException
...)'<br>
Class `Typeable' expects an argument of kind `k'<br>
In the data declaration for `ArithException'<br>
<br>
Do you have any tips that help me? I am using the HEAD version of
base and GHC 7.6.2. <br>
<br>
I also tried base-4.6.0.0 but the file HsFFI.h is looked upon and is
not found or is not generated by ./configure (ieee-flpt.h: is a
similar case, although I could find this one on the web [1]).<br>
<br>
[0] Manually compiled GHC/Event/{Poll,Clock,EPoll} with hsc2hs<br>
[1]
<a href="http://darcs.haskell.org/packages/base/include/ieee-flpt.h" target="_blank">http://darcs.haskell.org/packages/base/include/ieee-flpt.h</a><br>
<br>
Thanks<br>
</div>
<br>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>Alp Mestanogullari
</div>