blob: 7ccd3dba77ee46dd50024d160735725f199346e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE MonoLocalBinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE PartialTypeSignatures #-}
module MonoLocalBinds where
monoLoc :: forall a. a -> ((a, String), (a, String))
monoLoc x = (g True , g 'v')
where
-- g :: b -> (a, String) -- #1
g :: b -> (a, _) -- #2
g y = (x, "foo")
-- For #2, we should infer the same type as in #1.
|
