blob: f6bd86e89203124eb311f676bc7c7d7bd33af847 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE ImplicitParams, RankNTypes #-}
-- #1445
module Bug where
f :: () -> (?p :: ()) => () -> ()
f _ _ = ()
g :: (?p :: ()) => ()
g = f () ()
|