testsuite/tests/typecheck/should_compile/tc134.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE ScopedTypeVariables #-}

-- !!! Scoped type variables: result sig

module Test where

f :: Int -> Int
f x :: Int = x

g :: Int -> Int
g x :: a = x :: a       -- Here, a is a name for Int