path: root/testsuite/tests/partial-sigs/should_compile/T14643a.hs

{-# LANGUAGE PartialTypeSignatures #-}

module T14653a where

af :: (Num a,_) => a -> a
af y = ag y

ag :: (Num a,_) => a -> a
ag x = af (x-1)