Uninterruptible fibers' bracket handler marked as 'Killed' instead of 'Completed'

[felixSchl]

module Test.Main
  ( main
  ) where

import Prelude

import Control.Monad.Fork.Class (BracketCondition(..), bracket, fork, uninterruptible)
import Data.Time.Duration (Milliseconds(..))
import Debug.Trace (traceM)
import Effect (Effect)
import Effect.Aff (delay, killFiber, launchAff_)
import Effect.Class (liftEffect)
import Effect.Class.Console as Console
import Effect.Exception (error)

atomic action postAction =
  bracket (pure unit) (\a b ->
    case a of
      Completed x ->
        postAction
      Failed e ->
        traceM "failed"
      Killed e ->
        traceM "killed"
  ) (\_-> action)

main :: Effect Unit
main = do
 launchAff_ do

   fiber <- fork do
     atomic
      (uninterruptible do
          delay $ 15.0 # Milliseconds
          liftEffect $ Console.log "hi"
      )
      (liftEffect $ Console.log "here")

   delay $ 10.0 # Milliseconds
   killFiber (error "asdf") fiber

The above code only traces "killed", although it should most likely have run the postAction handler, thus printing "here" to the console.

[felixSchl]

This is undoubtedly not a proper solution, but it does seem to work at face value:

              if (interrupt && interrupt !== tmp && bracketCount === 0) {
                if (util.isLeft(step)) {
                  step = attempt._1.killed(util.fromLeft(interrupt))(attempt._2);
                } else {
                  step = attempt._1.completed(util.fromRight(step))(attempt._2);
                }

I suppose it comes down to being able to ask "was this fiber uninterruptible?" based on the current state.

EDIT: this breaks a lot of tests, and is outright wrong.