What kind of problems could crop up if I try to create type variables
with an unlifted kind inside GHC (not in user code, just inside the
compiler)?
I want to make ByteArray# and MutableByteArray# parameterized over
their element types. ByteArray# would have kind # -> #, and
MutableByteArray#, * -
On Fri, Dec 08, 2006 at 03:48:22PM +, Simon Peyton-Jones wrote:
> | I want to make ByteArray# and MutableByteArray# parameterized over
> | their element types. ByteArray# would have kind # -> #, and
> | MutableByteArray#, * -> # -> # . indexByteArray# would have the type
> | (in pseudo haskell)
On Sun, May 27, 2007 at 05:12:49PM +1000, Mark Wassell wrote:
> I am slowly making progress, in a drunken walk kind of way, building
> GHC 6.7.20070518 (the one from the LambdaVM tree). Whilst most of my
Since you're using LambdaVM you should probably report bugs directly to
me rather than both
On Wed, May 30, 2007 at 11:45:33AM -0300, Monique Monteiro wrote:
> simpler way to integrante new backends? I worked at Haskell.NET
> project in the past, when we integrated successfully a .NET code
> generator to GHC 6.2.2.
Do you have any documentation or papers or anything about your .NET
co
SPJ might be able to give you some better answers, but this should help
get you started.
On Fri, Jan 30, 2009 at 08:03:47PM +0100, Matthijs Kooijman wrote:
> However, there are two issues bothering me still. The first is that the
> Core types (in particular CoreExpr) are not instances of Show. The