Commit 042c5930 authored by Ryan Scott's avatar Ryan Scott

Add test for #12589

Commit af21e388 fixed #12598. Let's add a test
to make sure it stays fixed.
parent 184d7cb8
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -fdefer-typed-holes #-}
module T12589 where
import Data.Proxy
hcpure :: proxy c -> (forall a. c a => f a) -> h f xs
hcpure _ _ = undefined
a = minBound
& hcpure (Proxy @Bounded)
T12589.hs:13:3: error: Variable not in scope: (&) :: t0 -> t1 -> t
......@@ -427,3 +427,4 @@ test('T12177', normal, compile_fail, [''])
test('T12406', normal, compile_fail, [''])
test('T12170a', normal, compile_fail, [''])
test('T12124', normal, compile_fail, [''])
test('T12589', normal, compile_fail, [''])
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment