diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-04-19 06:58:07 +0200 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-04-19 11:20:51 +0200 |
| commit | 1d2ffb6ab1ef973c85f893b5ea4a72cfa59ce484 (patch) | |
| tree | 5f698d69fe2383300f51e71e824e86dad6cc8508 /testsuite/tests/rebindable | |
| parent | 41f5b7e3e0648302b9c5dc485917a391d21d15a1 (diff) | |
| download | haskell-1d2ffb6ab1ef973c85f893b5ea4a72cfa59ce484.tar.gz | |
Validate inferred theta. Fixes #8883
This checks that all the required extensions are enabled for the
inferred type signature.
Updates binary and vector submodules.
Diffstat (limited to 'testsuite/tests/rebindable')
| -rw-r--r-- | testsuite/tests/rebindable/DoRestrictedM.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/rebindable/DoRestrictedM.hs b/testsuite/tests/rebindable/DoRestrictedM.hs index dea2b1ea03..2e982c1532 100644 --- a/testsuite/tests/rebindable/DoRestrictedM.hs +++ b/testsuite/tests/rebindable/DoRestrictedM.hs @@ -1,5 +1,5 @@ {-# LANGUAGE RebindableSyntax, MultiParamTypeClasses, - FlexibleInstances #-} + FlexibleInstances, FlexibleContexts #-} -- Tests of the do-notation for the restricted monads -- We demonstrate that all ordinary monads are restricted monads, |