testsuite/tests/linear/should_compile/Linear8.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE LambdaCase #-}
module Linear8 where

correctLCase :: Int ⊸ Bool -> Int
correctLCase n = \case
  True -> n
  False -> n