On Fri, Jan 24, 2003 at 01:31:46PM -, Simon Peyton-Jones wrote:
In short, it's really a bug, but not a particularly easy one to fix.
Rumination required. But it probably only happens on a few programs,
right?
It happens on at least two of the nofib benchmarks, so it seems to be
pretty
| The attached file (generated by running ghc -fext-core on the Fibheaps
| benchmark from the nofib suite) fails to typecheck:
|
| $ ghc -dcore-lint Fibheaps.hcr
|
| Couldn't match `#' against `*'
| Expected kind: #
| Inferred kind: *
| When checking kinds in `GHC.Prim.(-)