diff options
author | Simon Marlow <marlowsd@gmail.com> | 2017-07-03 19:08:30 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-03 19:08:31 -0400 |
commit | af403b2eb50abde6a7992470032d7df5faea043e (patch) | |
tree | 8e30d2a65da325173ffe338d81560191fa81e77c /testsuite/tests/ado/T13242a.hs | |
parent | 8f8d756c5a29217ff79154caa1696b6e572d186f (diff) | |
download | haskell-af403b2eb50abde6a7992470032d7df5faea043e.tar.gz |
ApplicativeDo: document behaviour with strict patterns (#13875)
Test Plan: unit tests, built docs
Reviewers: dfeuer, bgamari, simonpj, austin, erikd
Subscribers: rwbarton, thomie
GHC Trac Issues: #13875, #13242
Differential Revision: https://phabricator.haskell.org/D3691
Diffstat (limited to 'testsuite/tests/ado/T13242a.hs')
-rw-r--r-- | testsuite/tests/ado/T13242a.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/ado/T13242a.hs b/testsuite/tests/ado/T13242a.hs new file mode 100644 index 0000000000..540b041fed --- /dev/null +++ b/testsuite/tests/ado/T13242a.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE ApplicativeDo #-} +{-# LANGUAGE ExistentialQuantification #-} +{-# LANGUAGE GADTs #-} +module T13242a where + +data T where A :: forall a . Eq a => a -> T + +test :: IO Bool +test = do + A x <- undefined + _ <- return 'a' + _ <- return 'b' + return (x == x) |