GHC: Ticket #4350: Compiler crash building latest binary package in hackage with 7.0.1-rc1
http://ghc.haskell.org/trac/ghc/ticket/4350
<p>
My understanding is that the binary package should now be provided separately from the ghc-binary package. Unfortunately, it does not currently compile:
</p>
<pre class="wiki">src/Data/Binary/Get.hs:366:27:
Couldn't match type `s' with `s1'
because this skolem type variable would escape: `s1'
This skolem is bound by the polymorphic type `forall s. ST s a'
The following variables have types that mention s
first :: STRef s L.ByteString
-> Int64
-> L.ByteString
-> ST s L.ByteString
(bound at src/Data/Binary/Get.hs:373:9)
In the first argument of `runST', namely
`(do { r <- newSTRef undefined;
xs <- first r i ps;
ys <- unsafeInterleaveST (readSTRef r);
return (xs, ys) })'
In the expression:
runST
(do { r <- newSTRef undefined;
xs <- first r i ps;
ys <- unsafeInterleaveST (readSTRef r);
return (xs, ys) })
In an equation for `splitAtST':
splitAtST i ps
= runST
(do { r <- newSTRef undefined;
xs <- first r i ps;
ys <- unsafeInterleaveST (readSTRef r);
return (xs, ys) })
where
first r 0 xs@(L.Chunk _ _) = writeSTRef r xs >> return L.Empty
first r _ L.Empty = writeSTRef r L.Empty >> return L.Empty
first r n (L.Chunk x xs)
| n < l
= do { writeSTRef r (L.Chunk (B.drop (fromIntegral n) x) xs);
.... }
| otherwise
= do { writeSTRef r (L.drop (n - l) xs);
.... }
where
l = fromIntegral (B.length x)
</pre>en-usGHChttp://ghc.haskell.org/trac/ghc/chrome/site/ghc_logo.png
http://ghc.haskell.org/trac/ghc/ticket/4350
Trac 1.2.2iglooTue, 28 Sep 2010 21:09:53 GMTstatus changed; cc, resolution set
http://ghc.haskell.org/trac/ghc/ticket/4350#comment:1
http://ghc.haskell.org/trac/ghc/ticket/4350#comment:1
<ul>
<li><strong>status</strong>
changed from <em>new</em> to <em>closed</em>
</li>
<li><strong>cc</strong>
<em>kolmodin@…</em> <em>dons@…</em> added
</li>
<li><strong>resolution</strong>
set to <em>worksforme</em>
</li>
</ul>
<p>
Thanks for the report.
</p>
<p>
The HEAD <code>binary</code> repo certainly builds, as that's what we're building to get <code>ghc-binary</code>.
</p>
<p>
You don't say what version you're building, but I imagine the problem is that a newer <code>binary</code> needs to be released to hackage. I'm CCing Lennart and Don (the maintainers).
</p>
Ticket