Commit 67abfdac authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Test #9151 in typecheck/should_compile/T9151.

This test case should pass right now -- the bug is fixed,
presumably by #9200.
parent e394e74d
{-# LANGUAGE PolyKinds, DataKinds, TypeFamilies, UndecidableInstances #-}
module T9151 where
import Data.Proxy
class PEnum (kproxy :: KProxy a) where
type ToEnum (x :: a) :: Bool
type ToEnum x = TEHelper
type TEHelper = ToEnum Int
......@@ -425,3 +425,4 @@ test('T9708', normal, compile_fail, [''])
test('T9404', normal, compile, [''])
test('T9404b', normal, compile, [''])
test('T7220', normal, compile, [''])
test('T9151', normal, compile, [''])
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