Commit 9467dfa8 authored by Ryan Scott's avatar Ryan Scott Committed by Ben Gamari

Add test for #12589

Commit af21e388 fixed #12598. Let's add a test
to make sure it stays fixed.

(cherry picked from commit 042c5930)
parent be94aebb
{-# 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
......@@ -426,4 +426,4 @@ test('T11990a', normal, compile_fail, [''])
test('T11990b', normal, compile_fail, [''])
test('T12124', normal, compile_fail, [''])
test('T12529', 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