testsuite/tests/linear/should_compile/Branches.hs


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

{-# LANGUAGE LinearTypes #-}
module GuardTup where

data Q = Q ()

mkQ :: () -> Q
mkQ = Q

foo smart
  | smart = mkQ
  | otherwise = Q

fooIf smart = if smart then mkQ else Q