diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/indexed-types/should_compile/Col2.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/indexed-types/should_compile/Col2.hs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/testsuite/tests/ghc-regress/indexed-types/should_compile/Col2.hs b/testsuite/tests/ghc-regress/indexed-types/should_compile/Col2.hs deleted file mode 100644 index 97a10aef84..0000000000 --- a/testsuite/tests/ghc-regress/indexed-types/should_compile/Col2.hs +++ /dev/null @@ -1,14 +0,0 @@ -{-# LANGUAGE TypeFamilies #-} -{-# LANGUAGE FlexibleContexts #-} - -module Col where - -type family Elem c - -type instance Elem [e] = e - -class (Eq (Elem c)) => Col c where - count :: Elem c -> c -> Int - -instance Eq e => Col [e] where - count x = length . filter (==x) |