Commit bd7ab668 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Test #11254 in typecheck/should_compile/T11254

parent 5e4e9e00
-- /tmp/panic.hs
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE UndecidableSuperClasses #-}
{-# OPTIONS_GHC -fdefer-type-errors #-}
module T11254 where
class (Frac (Frac a) ~ Frac a, Fractional (Frac a), ID (Frac a)) => ID a where
type Frac a
embed :: a -> Frac a
instance ID Rational where
type Frac Rational = Int
embed :: Rational -> Rational
embed = undefined
...@@ -485,3 +485,4 @@ test('T10935', normal, compile, ['']) ...@@ -485,3 +485,4 @@ test('T10935', normal, compile, [''])
test('T10971a', normal, compile, ['']) test('T10971a', normal, compile, [''])
test('T11237', normal, compile, ['']) test('T11237', normal, compile, [''])
test('T10592', normal, compile, ['']) test('T10592', normal, compile, [''])
test('T11254', expect_broken(11254), 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