Hello,
On Thu, Oct 16, 2014 at 3:58 AM, Adam Gundry wrote:
>
>
> One problem I've run into is transforming the flattened CFunEqCans into
> unflattened form (so the flatten-skolems don't get in the way of
> AG-unification). Do you know if there is an easy way to do this, or do I
> need to rebuild
There's one or two of them, yes. If you look under
./testsuite/tests/rts, and grep for files named `linker_*`, you'll
find the primary load test we use. This test should also test whether
or not unloading objects works too. So, feel free to add more;
shouldn't be too difficult.
On Thu, Oct 16, 201
And can someone update the user manual please?
| -Original Message-
| From: Barney Hilken [mailto:b.hil...@ntlworld.com]
| Sent: 17 October 2014 00:14
| To: Carter Schonwald
| Cc: Adam Gundry; Eric Seidel; glasgow-haskell-users@haskell.org; Simon
| Peyton Jones
| Subject: Re: Type c
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
On 17/10/14 00:40, Austin Seipp wrote:
> Maybe there are some cases today where something like this could
> happen, but this seems awfully, awfully implicit and hard-to-follow
> as a language feature.
>
> In general I think a program that has impor
