<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>> Yes, I have reported it while back. I don't know of the progress in fixing this.</div><div><br></div><div>Reported what? #15884? [1] You do realize that there is a very simple workaround for that issue, right? Instead of writing this, which is subject to the pattern-guard completeness issues observed in #15753:<br></div><div><br></div><div>    f :: Maybe a -> Bool<br>    f (id->Nothing)  = False<br>    f (id->(Just _)) = True<br></div><div><br></div><div>You can instead write this:</div><div><br></div><div>    f :: Maybe a -> Bool<br>    f (id -> x) =<br>      case x of<br>        Nothing -> False<br>        Just _  -> True<br></div><div><br></div><div>This will get proper coverage checking, which means that this technique could be used to remove all of the panicking catch-all cases brought about by dL view patterns.<br></div><div><br></div><div>Ryan S.</div><div>-----</div><div>[1] <a href="https://ghc.haskell.org/trac/ghc/ticket/15884">https://ghc.haskell.org/trac/ghc/ticket/15884</a></div><div>[2] <a href="https://ghc.haskell.org/trac/ghc/ticket/15753">https://ghc.haskell.org/trac/ghc/ticket/15753</a><br></div></div></div></div></div></div></div></div></div>