aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/PatternSynonyms/pattern-synonyms-signature-basic.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE PatternSynonyms #-}

module PatternSynonymsSignatureBasic where

pattern Head :: a -> [a]
pattern Head x <- (x : _)

firstOr :: a -> [a] -> a
firstOr d (Head x) = x
firstOr d [] = d