blob: 7c985cb18085384e96f59d7f391fc0eedd835eb4 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE PartialTypeSignatures, ImplicitParams #-}
module T14658 where
import GHC.Stack
-- Test ensures that the final 'f' has a CallStack constraint
-- as specified in the partial type signature
foo :: (?loc :: CallStack, _) => a -> a -> Bool
foo x y = x==y
|
