diff options
Diffstat (limited to 'testsuite/tests/linear/should_fail/LinearIf.hs')
| -rw-r--r-- | testsuite/tests/linear/should_fail/LinearIf.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearIf.hs b/testsuite/tests/linear/should_fail/LinearIf.hs index b19873120c..9ddd5ce50b 100644 --- a/testsuite/tests/linear/should_fail/LinearIf.hs +++ b/testsuite/tests/linear/should_fail/LinearIf.hs @@ -9,7 +9,7 @@ ifThenElse :: Bool -> a -> a -> a ifThenElse True x _ = x ifThenElse False _ y = y -f :: Bool #-> Char #-> Char #-> Char +f :: Bool %1 -> Char %1 -> Char %1 -> Char f b x y = if b then x else y -- 'f' ought to be unrestricted in all three arguments because it desugars to -- > ifThenElse b x y |