blob: 6da333784d71477908fe434e1679cd10647bc646 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# OPTIONS_GHC -Wno-redundant-constraints -Wno-simplifiable-class-constraints #-}
{-# LANGUAGE FlexibleContexts, Rank2Types #-}
module Test where
type Constrained x y r = (Eq x, Eq y) => x -> y -> r
f :: Constrained String String ()
-- Weird test case: (Eq String, Eq String) is simplifiable
f = undefined
|