OK, so if I understand correctly, there is no point trying to
narrow down my issue further as it is not supposed to work
with DYNAMIC_GHC_PROGRAMS=NO (because this disables
use of the system linker). Furthermore, if the plan to disable
some form of GHC dynamic linkage is carried out, this should
no
P.S. Never mind the remark about `(-->)`. I inlined and simplified it away
in the example code.
On Tue, May 6, 2014 at 8:50 PM, Conal Elliott wrote:
> I'm looking for tools to help simplify Core terms that involve casts. In
> particular, I want to beta-reduce when the function is wrapped with a
I'm looking for tools to help simplify Core terms that involve casts. In
particular, I want to beta-reduce when the function is wrapped with a cast.
Do the GHC sources have such utility functions?
Here is an example of a lambda expression with a cast. In context, it's
applied to two type arguments
We have a case at work when we have to add GHC mingw to PATH. I don't
know if it's ghc related or cabal.
For instance, We can't build cabal-install with a ld more recent than
GHC mingw one.
We tried with ld version 2.4. GHC 7.8.2 use a version like 2.2.
Build ends with: "Setup.exe: command no
Can you give an example?
Generally the wrapper does stuff like evaluating arguments for a strict
constructor, and unboxing UNPACKed fields. So if you have
data T = MkT ! {-# UNPACK #-} Int
the wrapper looks something like this
$WMkT x = case x of I# y -> MkT y
That is,
