Compiling Prelude.hs or complete base to external core
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:
ghc --make -fext-core -I./include -cpp Prelude.hs
GHC/Num.lhs:65:27: Could not deduce (base:GHC.Num.Num a) arising from the literal `0' from the context (Num a) bound by the class declaration for `Num' at GHC/Num.lhs:(42,1)-(65,31) Possible fix: add (base:GHC.Num.Num a) to the context of the class declaration for `Num' In the first argument of `(-)', namely `0' In the expression: 0 - x In an equation for `negate': negate x = 0 - x If I jump over this one with some nonsense fix (e.g. negate = id) then I get GHC/Exception.lhs:47:14: Cannot derive well-kinded instance of form `Typeable * (SomeException ...)' Class `Typeable' expects an argument of kind `k' In the data declaration for `SomeException' GHC/Exception.lhs:169:24: Cannot derive well-kinded instance of form `Typeable * (ErrorCall ...)' Class `Typeable' expects an argument of kind `k' In the newtype declaration for `ErrorCall' GHC/Exception.lhs:186:22: Cannot derive well-kinded instance of form `Typeable * (ArithException ...)' Class `Typeable' expects an argument of kind `k' In the data declaration for `ArithException' Do you have any tips that help me? I am using the HEAD version of base and GHC 7.6.2. 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]). [0] Manually compiled GHC/Event/{Poll,Clock,EPoll} with hsc2hs [1] http://darcs.haskell.org/packages/base/include/ieee-flpt.h Thanks
Isn't this due to the recent Typeable changes, described here:
http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/PolyTypeable ?
On Mon, Mar 25, 2013 at 3:16 PM, Carlos Lopez Camey
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:
ghc --make -fext-core -I./include -cpp Prelude.hs
GHC/Num.lhs:65:27: Could not deduce (base:GHC.Num.Num a) arising from the literal `0' from the context (Num a) bound by the class declaration for `Num' at GHC/Num.lhs:(42,1)-(65,31) Possible fix: add (base:GHC.Num.Num a) to the context of the class declaration for `Num' In the first argument of `(-)', namely `0' In the expression: 0 - x In an equation for `negate': negate x = 0 - x
If I jump over this one with some nonsense fix (e.g. negate = id) then I get
GHC/Exception.lhs:47:14: Cannot derive well-kinded instance of form `Typeable * (SomeException ...)' Class `Typeable' expects an argument of kind `k' In the data declaration for `SomeException'
GHC/Exception.lhs:169:24: Cannot derive well-kinded instance of form `Typeable * (ErrorCall ...)' Class `Typeable' expects an argument of kind `k' In the newtype declaration for `ErrorCall'
GHC/Exception.lhs:186:22: Cannot derive well-kinded instance of form `Typeable * (ArithException ...)' Class `Typeable' expects an argument of kind `k' In the data declaration for `ArithException'
Do you have any tips that help me? I am using the HEAD version of base and GHC 7.6.2.
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]).
[0] Manually compiled GHC/Event/{Poll,Clock,EPoll} with hsc2hs [1] http://darcs.haskell.org/packages/base/include/ieee-flpt.h
Thanks
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
-- Alp Mestanogullari
participants (2)
-
Alp Mestanogullari -
Carlos Lopez Camey