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

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

module PatternSynonymsSignatureDualContext where

pattern HeadEq :: Eq a => () => a -> [a]
pattern HeadEq x <- (x : _)

isHead :: Eq a => a -> [a] -> Bool
isHead y (HeadEq x) = x == y
isHead _ [] = False