aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/haskell2010/declarations/infix-append-list-pattern.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE GHC2021 #-}
module InfixAppendListPattern where

data Infinite a = a :~ Infinite a

append :: [a] -> Infinite a -> Infinite a
[] `append` ys = ys
(x : xs) `append` ys = x :~ (xs `append` ys)