diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/Simple14.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/Simple14.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/Simple14.hs b/testsuite/tests/indexed-types/should_compile/Simple14.hs index b8e002bdcd..0a47a649a5 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple14.hs +++ b/testsuite/tests/indexed-types/should_compile/Simple14.hs @@ -21,5 +21,5 @@ foo = ntI (`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 +-- which reduces to (m~n) => m ~ zeta -- but then we are stuck
\ No newline at end of file |