Your problem is that
next_state :: forall s v. VertexState s v = s - s
So an application of next_state to an argument of type sty will require
the constraint
VertexState sty v
but that says NOTHING about v. It's a bit like calling a function with
type
forall a b. Foo a =
I've been trying to put together a type-class based serialization (XML)
for types in GHC. Essentially the serializer class takes the form
class Seriliazer a where
serialize :: a - XmlFilter
This works very well, but I then wanted to make this system extensible,
so that for example for types
Hello,
I'd like to try using Unboxed types, but I always get a parse error on input
`#' error. To make sure I wasn't making some mistake I tried the example in
the wiki:
http://www.haskell.org/hawiki/UnboxedType
module Main where
import