[haskell-llvm] llvm-patch: Generalise the CallArgs type class so you can use call with two return types within one module

[Henning Thielemann]

On Wed, 6 Jul 2011, Henning Thielemann wrote:

> In both cases f is the IO function and g the CodeGenFunction, so in this 
> respect they are consistent. However, the 'r' of FunctionArgs is not a return 
> type, but also a CodeGenFunction. I currently do not really understand, why 
> FunctionArgs is defined the way it is, but according to the comments the 
> original author also seems not to be satisfied with it.

I made a patch, where FunctionArgs' third argument is no longer a 
CodeGenFunction, but just the result of a CodeGenFunction. Would this be 
enough in order to remove the comment about ugliness, now?

http://code.haskell.org/~thielema/llvm/