aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DefaultSignatures/basic.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE DefaultSignatures #-}
module Basic where
class C a where
f :: a -> Int
default f :: (D a) => a -> Int
f = g
{- ORACLE_TEST pass -}
{-# LANGUAGE DefaultSignatures #-}
module Basic where
class C a where
f :: a -> Int
default f :: (D a) => a -> Int
f = g