testsuite/tests/typecheck/should_fail/T3406.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE ScopedTypeVariables #-}

-- #3406
-- A pattern signature that discards the bound variables

module T3406 where

type ItemColID a b = Int  -- Discards a,b

get :: ItemColID a b -> a -> ItemColID a b
get (x :: ItemColID a b) = x :: ItemColID a b