testsuite/tests/linear/should_compile/Linear15.hs


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

{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
module Linear15 where

correctWhere :: Int ⊸ Int
correctWhere a = g a
  where
    f :: Int ⊸ Int
    f x = x

    g :: Int ⊸ Int
    g x = f x