diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/AddAndOr6.hs')
-rw-r--r-- | testsuite/tests/partial-sigs/should_compile/AddAndOr6.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/AddAndOr6.hs b/testsuite/tests/partial-sigs/should_compile/AddAndOr6.hs new file mode 100644 index 0000000000..79ceee27e7 --- /dev/null +++ b/testsuite/tests/partial-sigs/should_compile/AddAndOr6.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE PartialTypeSignatures #-} +module AddAndOr6 where + +addAndOr6 :: (Int, _) -> (Bool, _) -> (_ Int Bool) +addAndOr6 (a, b) (c, d) = (a `plus` d, b || c) + where plus :: Int -> Int -> Int + x `plus` y = x + y |