summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run/T10846.hs
blob: e9ec573726925b6b57abc57d9ad1261ca7546bb8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
{-# LANGUAGE ImplicitParams, PartialTypeSignatures #-}

module Main where

import GHC.Stack

f1 :: (?loc :: CallStack) => String
f1 = show $ map (srcLocStartLine . snd) $ getCallStack ?loc

f2 :: (?loc :: CallStack) => _
f2 = show $ map (srcLocStartLine . snd) $ getCallStack ?loc

f3 :: (?loc :: CallStack, _) => String
f3 = show $ map (srcLocStartLine . snd) $ getCallStack ?loc

main :: IO ()
main = do
  putStrLn f1
  putStrLn f2
  putStrLn f3