blob: c93595feff47f9531775ba854ec02cf59e2b185e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE ImplicitParams #-}
{-# OPTIONS_GHC -dcore-lint #-}
import GHC.Stack
f1 :: (?loc :: CallStack) => CallStack
-- we can solve CallStacks in local functions from CallStacks
-- in the outer context
f1 = let y x = (?loc :: CallStack)
in y 0
main :: IO ()
main = do putStrLn $ prettyCallStack f1
|