From 3378ef409170ae1f319c934876d2b9e1a14bb9a8 Mon Sep 17 00:00:00 2001 From: Ɓukasz Hanuszczak Date: Wed, 19 Aug 2015 17:07:25 +0200 Subject: Create simple test cases for Hoogle backend. --- hoogle-test/src/assoc-types/AssocTypes.hs | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 hoogle-test/src/assoc-types/AssocTypes.hs (limited to 'hoogle-test/src/assoc-types') diff --git a/hoogle-test/src/assoc-types/AssocTypes.hs b/hoogle-test/src/assoc-types/AssocTypes.hs new file mode 100644 index 00000000..a9bdc6d8 --- /dev/null +++ b/hoogle-test/src/assoc-types/AssocTypes.hs @@ -0,0 +1,23 @@ +{-# LANGUAGE TypeFamilies #-} + + +module AssocTypes where + + +class Foo a where + + type Bar a b + type Baz a + + type Baz a = [(a, a)] + + bar :: Bar a a + bar = undefined + + +instance Foo [a] where + + type Bar [a] Int = [(a, Bool)] + type Bar [a] Bool = [(Int, a)] + + type Baz [a] = (a, a, a) -- cgit v1.2.3