diff options
Diffstat (limited to 'testsuite/tests/ado/ado004.stderr')
| -rw-r--r-- | testsuite/tests/ado/ado004.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/ado/ado004.stderr b/testsuite/tests/ado/ado004.stderr index 9b95e3bd3d..a3ef9e9158 100644 --- a/testsuite/tests/ado/ado004.stderr +++ b/testsuite/tests/ado/ado004.stderr @@ -3,6 +3,10 @@ TYPE SIGNATURES forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int test1a :: forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int + test1b :: + forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int + test1c :: + forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int test2 :: forall (f :: * -> *) t b. (Num b, Num t, Applicative f) => @@ -17,6 +21,10 @@ TYPE SIGNATURES forall (f :: * -> *) t b. (Num b, Num t, Functor f) => (t -> f b) -> f b + test2d :: + forall (f :: * -> *) t1 b t2. + (Num b, Num t1, Functor f) => + (t1 -> f t2) -> f b test3 :: forall (m :: * -> *) t1 t2 a. (Num t1, Monad m) => |