f :: Int -> Int -> Int
f = (+)
infixl 6 f as %
g :: Int -> Int -> Int
g a b = let f = (-) in a % b
Should be functionally equivalent to:
f :: Int -> Int -> Int
f = (+)
infixl 6 f as %
g :: Int -> Int -> Int
g = f
Instead, I get the error:
Value f is undefined.
while inferring the type of f
in value declaration g
Should be functionally equivalent to:
Instead, I get the error: