Hello,
I am currently toying with the idea of implementing a PostScript
library in Haskell, and I am currently implementing a static,
simplified version of the Postscript type checker using phantom types
and functional dependencies. I am enriching the Postscript definitions
with types so that
Hello.
I think I've come across a GHCi bug.
Using the following module, GHCi version 5.04.2 segfaults, apparently
trying to compute a type using functional dependencies. The segfault
happens when I try to calculate (v1 .> v2). I tried the code on Hugs,
and it answers
Main> v1 .> v2
V [] :: PSOp