path: root/testsuite/tests/simplCore/should_compile/T15517.hs

{-# LANGUAGE PatternSynonyms #-}
module T15517 where

data Nat = Z | S Nat

pattern Zpat = Z

sfrom :: Nat -> () -> Bool
sfrom Zpat  = \_ -> False
sfrom (S Z) = \_ -> False