diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/Simple11.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/Simple11.hs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/Simple11.hs b/testsuite/tests/indexed-types/should_compile/Simple11.hs new file mode 100644 index 0000000000..2d507a728e --- /dev/null +++ b/testsuite/tests/indexed-types/should_compile/Simple11.hs @@ -0,0 +1,16 @@ +{-# LANGUAGE TypeFamilies #-} + +module Simple11 where + +type family F a + +same :: a -> a -> a +same = undefined + +mkf :: a -> F a +mkf p = undefined + +-- Works with explicit signature +-- foo :: a -> a -> (F a, a) +foo p q = same (mkf p, p) (mkf q, q) + |