testsuite/tests/typecheck/should_fail/TyAppPat_PatternBinding.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ExistentialQuantification #-}

module Main where

x :: Integer
Just @a x = Just (5 :: Integer)

main = do
  print x