diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/indexed-types/should_compile/Simple14.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/indexed-types/should_compile/Simple14.hs | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/testsuite/tests/ghc-regress/indexed-types/should_compile/Simple14.hs b/testsuite/tests/ghc-regress/indexed-types/should_compile/Simple14.hs deleted file mode 100644 index 16158d9714..0000000000 --- a/testsuite/tests/ghc-regress/indexed-types/should_compile/Simple14.hs +++ /dev/null @@ -1,24 +0,0 @@ -{-# LANGUAGE TypeFamilies, RankNTypes, FlexibleContexts, ScopedTypeVariables #-} - -module Simple14 where - -data EQ_ x y = EQ_ - -eqE :: EQ_ x y -> (x~y => EQ_ z z) -> p -eqE = undefined - -eqI :: EQ_ x x -eqI = undefined - -ntI :: (forall p. EQ_ x y -> p) -> EQ_ x y -ntI = undefined - -foo :: forall m n. EQ_ (Maybe m) (Maybe n) -foo = ntI (`eqE` (eqI :: EQ_ m n)) --- Alternative --- foo = ntI (\eq -> eq `eqE` (eqI :: EQ_ m n)) - --- eq :: EQ_ (Maybe m) (Maybe n) --- Need (Maybe m ~ Maybe n) => EQ_ m n ~ EQ_ zeta zeta --- which redues to (m~n) => m ~ zeta --- but then we are stuck
\ No newline at end of file |