26 Jul 2000 18:33:12 GMT, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> pisze:
> AAA! Thank you, it works now!
But there are problems with type inference. An example can be reduced
to that:
module Class where
classFA
26 Jul 2000 18:33:12 GMT, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> pisze:
> instance (ForeignArg fa ha, Call ff hf) => Call (fa -> ff) (ha -> hf) where
> callIO f = callIO . convertArg (\fa -> f >>= return . ($fa))
BTW. I have not tested if it works nor thought how it would execute,
but
Wed, 26 Jul 2000 15:46:16 +0100, Claus Reinke <[EMAIL PROTECTED]> pisze:
> class CallN sigF sig where
> callN :: IO sigF -> sig
AAA! Thank you, it works now!
Having IO in the argument here, together with doing the work inside
the argument of the recursive call, was The Lacking Idea.
---
Olaf Chitil <[EMAIL PROTECTED]> writes:
> The latter is exactly what I do and how 99% of the information about
> tools and libraries were collected. The main page of haskell.org asks
> for information about projects, compilers, papers, classes, or anything
> else but we hardly receive any.
This i
Marcin 'Qrczak' Kowalczyk:
> > Ah, I was once doing such overloading of IO functions. I tried but
> > was not able to adapt it to "threaded" foreign calls.
>
> Help! Now it looks easier, but still I can't get it.
You seem to like puzzles?-) I almost gave up on this one,
and now it looks so simp
This is the third and final invitation and call for contributions to the
12th INTERNATIONAL WORKSHOP
on the
IMPLEMENTATION of FUNCTIONAL LANGUAGES
(IFL2000)
to be held a
> Simon, can you tell me how I shall link to hslibs, especially each
> individual library? Obviously a user would also like to download a
> single library.
That's not so obvious to me. We're going to the effort of packaging up all
these libraries into a single coherent collection, that can be d