diff options
Diffstat (limited to 'testsuite/tests/ado/T16628.hs')
| -rw-r--r-- | testsuite/tests/ado/T16628.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/ado/T16628.hs b/testsuite/tests/ado/T16628.hs new file mode 100644 index 0000000000..8508c19e7f --- /dev/null +++ b/testsuite/tests/ado/T16628.hs @@ -0,0 +1,14 @@ +-- Bug.hs +{-# LANGUAGE ApplicativeDo #-} +module Main where + +import Data.Functor.Identity + +f :: Identity () -> Identity [Int] -> Identity Int +f i0 i1 = do + _ <- i0 + [x] <- i1 + pure (x + 42) + +main :: IO () +main = print $ f (Identity ()) (Identity []) |