testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc134.hs
1 {-# LANGUAGE ScopedTypeVariables #-}
2
3 -- !!! Scoped type variables: result sig
4
5 module Test where
6
7 f :: Int -> Int
8 f x :: Int = x
9
10 g :: Int -> Int
11 g x :: a = x :: a -- Here, a is a name for Int