aihc-parser-6.0.0.0: test/Test/Fixtures/oracle/NPlusKPatterns/npluskpatterns-casealt.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE NPlusKPatterns #-}
module NPlusKPatternsCaseAlt where
predecessor x = case x of
0 -> 0
n+1 -> n
{- ORACLE_TEST pass -}
{-# LANGUAGE NPlusKPatterns #-}
module NPlusKPatternsCaseAlt where
predecessor x = case x of
0 -> 0
n+1 -> n