Michael Weber
| Subject: [5.02] Bug with existentially-quantified constructors
|
|
| The following program can be compiled using
| ghc-5.02 --make test.lhs -fglasgow-exts
| but segfaults.
|
| > ./a.out
| "foo"
| Segmentation fault
|
| \begin{code}
| module Main where
|
| import IO
The following program can be compiled using
ghc-5.02 --make test.lhs -fglasgow-exts
but segfaults.
> ./a.out
"foo"
Segmentation fault
\begin{code}
module Main where
import IO
data DS = forall a. C (a -> IO ())
main = do
let (li:st:[]) = [C (print :: String -> IO ()), C (print :: Int -> IO