call-stack-0.1.0: test/Example.hs

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ConstraintKinds #-}
module Example where

import           Data.CallStack

test :: CallStack
test = foo

foo :: HasCallStack => CallStack
foo = bar

bar :: HasCallStack => CallStack
bar = callStack