抑制のランタイムエラーが

Question

「動かぬパターンは、パターンData.Maybe.Just bのに失敗しました」I以下の機能を持っている：

PSQがある場合、問題は「ただ」ちょうど空のPSQとして作成されていることを

loopMyQ s q m = forever $ do 
     q' <- atomically $ readTVar q 
     let Just b = PSQ.findMin q' --irrefutable pattern here in case the queue has just been created 
      duetime = (PSQ.prio b) + 2.000 
     now <- getPOSIXTime 
     when (now > duetime) (transMit2 s now q m) 

一致することができず、実行時に反駁できないパターンエラーを返します。明らかにキューは後で埋められ、ジャストbは常に一致するので、これは正確に1回発生します。

私は、キューが空であるかどうかをテストしてから、それを自分の関数で実行しようとしましたが、これですべてが2倍遅くなりました。

これは明らかに傷つきませんので、このエラーは何らかの形で抑止できますか？コンパイラオプションを使用するか、例外をキャッチして無視する必要があります（余分な時間がかかるかもしれません）。

Answer 1

キューが空の場合は、おそらくretry を使用したほうが良いです：TVarでキューが更新されるまでSTMアクションが再試行されません！

loopMyQ s q m = forever $ do 

     b <- atomically $ do q' <- readTVar q 
          case PSQ.findMin q' of 
           Just b -> return b 
           Nothing -> retry 

     let duetime = (PSQ.prio b) + 2.000 
     now <- getPOSIXTime 
     when (now > duetime) (transMit2 s now q m) 

Answer 2

キューが空でない場合は、再び空にならないと仮定すると、非空になるまで高価なバージョン（空でないことを確認する）を行うだけです。安いバージョン。

loopMyQ s q m = do 
    q' <- atomically $ readTVar q 
    case PSQ.findMin q' of 
     Nothing -> loopMyQ s q m 
     Just b -> do 
     body b 
     forever $ do 
      q' <- atomically $ readTVar q 
      let Just b <- PSQ.findMin q' 
      body b    
    where body b = do 
    let duetime = 2 + PSQ.prio b 
    now <- getPOSIXTime 
    when (now > duetime) (transMit2 s now q m)