blob: d1b5a37e7bcc30579301555bf795c6888a3844a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE RankNTypes #-}
module T15539 where
foo :: String
foo = show a
where a = baz
-- We get top level constraints
-- Show a
-- forall . <not in scope baz>
-- We want the insoluble non-in-scope error to suppress
-- the Show a, just as it does if the whole things is nested
bar :: Int
bar = 1
bam = putStrLn foo
|