blob: bbc3a6ec401ce8383856d1f2a634505a3fc119e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE ImplicitParams, TypeApplications, ScopedTypeVariables, QuantifiedConstraints, ImpredicativeTypes #-}
module Foo where
import Control.Monad
import GHC.Stack
wcs :: (?callStack :: CallStack) => ( (?callStack :: CallStack) => a ) -> a
wcs x = error "urk"
info :: IO ()
info = wcs $ (when True $ return ())
|
