From: simonpj Date: Thu, 10 Apr 2003 11:33:56 +0000 (+0000) Subject: [project @ 2003-04-10 11:33:56 by simonpj] X-Git-Tag: Approx_11550_changesets_converted~978 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=30e3021fb0b12cad874f8d2f57ff37b2b641155d;p=ghc-hetmet.git [project @ 2003-04-10 11:33:56 by simonpj] Comments --- diff --git a/ghc/compiler/simplCore/SimplUtils.lhs b/ghc/compiler/simplCore/SimplUtils.lhs index 31f6315..b57b4b1 100644 --- a/ghc/compiler/simplCore/SimplUtils.lhs +++ b/ghc/compiler/simplCore/SimplUtils.lhs @@ -224,6 +224,9 @@ getContArgs chkr fun orig_cont -- * (error "Hello") arg -- * f (error "Hello") where f is strict -- etc + -- Then, especially in the first of these cases, we'd like to discard + -- the continuation, leaving just the bottoming expression. But the + -- type might not be right, so we may have to add a coerce. go acc ss inl cont | null ss && discardableCont cont = (reverse acc, discardCont cont, inl) | otherwise = (reverse acc, cont, inl)