testsuite/tests/linear/should_compile/TupSection.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE TupleSections #-}
module TupSection where
{-
inplace/bin/ghc-stage1 -O2 -dcore-lint
-}

myAp :: (a -> b) -> a -> b
myAp f x = f x

foo = myAp (,()) ()

qux = ("go2",) $ ()