diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/ATLoop_help.hs')
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/ATLoop_help.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/ATLoop_help.hs b/testsuite/tests/indexed-types/should_compile/ATLoop_help.hs new file mode 100644 index 0000000000..8814f480eb --- /dev/null +++ b/testsuite/tests/indexed-types/should_compile/ATLoop_help.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE TypeFamilies #-}
+module ATLoop_help where
+
+class Foo a where
+ data FooT a :: *
+ int :: FooT a -> Int
+
+instance Foo Int where
+ data FooT Int = FooInt !Int
+ int (FooInt n) = n
|