testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcards.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}

module ScopedNamedWildcards where

test3 :: _
test3 x = const (let x :: _b
                     x = True in False) $
          const (let x :: _b
                     x = 'a' in True) $
          not x