Re: [GHC] #10712: Regression: make TEST=exceptionsrun001 WAY=optasm is failing

3 Dec 2015

      #10712: Regression: make TEST=exceptionsrun001 WAY=optasm is failing
-------------------------------------+-------------------------------------
        Reporter:  thomie            |                Owner:
            Type:  bug               |               Status:  new
        Priority:  highest           |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  base/tests/exceptionsrun001
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by bgamari):

 * priority:  high => highest

Old description:
...
The following program, extracted from the test exceptionsrun001, should
exit with exitcode 100. Instead, when compiled with `-O1`, it never gets
past the ioTest and somehow manages to exit with exitcode 0.
{{{
{-# LANGUAGE ScopedTypeVariables #-}
module Main where
import Control.Exception
import System.IO.Error
import System.Exit
main = do
  ioTest
  exitWith (ExitFailure 100)
ioTest :: IO ()
ioTest = (catch (ioError (userError "wibble"))
                (\(e::IOException) -> return ())
}}}
I think this will require a git bisect:
* last known good commit: 34bb4605d4ec5b131df57ca4c91d6840b7539194
* first known bad commit: f83aab95f59ae9b29f22fc7924e050512229cb9c.
New description:

 The following program, extracted from the test exceptionsrun001, should
 exit with exitcode 100. Instead, when compiled with `-O1`, it never gets
 past the ioTest and somehow manages to exit with exitcode 0.

 {{{#!hs
 {-# LANGUAGE ScopedTypeVariables #-}
 module Main where

 import Control.Exception
 import System.IO.Error
 import System.Exit

 main = do
   ioTest
   exitWith (ExitFailure 100)

 ioTest :: IO ()
 ioTest = (catch (ioError (userError "wibble"))
                 (\(e::IOException) -> return ())
 }}}

 I think this will require a git bisect:
 * last known good commit: 34bb4605d4ec5b131df57ca4c91d6840b7539194
 * first known bad commit: f83aab95f59ae9b29f22fc7924e050512229cb9c.

--

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10712#comment:7
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler