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