From: sof <unknown>
Date: Fri, 17 Sep 1999 11:23:33 +0000 (+0000)
Subject: [project @ 1999-09-17 11:23:33 by sof]
X-Git-Tag: Approximately_9120_patches~5774
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=0e627bdb74ae996ca9fba7cae5069d1bc62ace49;p=ghc-hetmet.git

[project @ 1999-09-17 11:23:33 by sof]
Testing Show for Maybes and Eithers
---

diff --git a/ghc/tests/lib/should_run/show001.hs b/ghc/tests/lib/should_run/show001.hs
new file mode 100644
index 0000000..69c27d0
--- /dev/null
+++ b/ghc/tests/lib/should_run/show001.hs
@@ -0,0 +1,24 @@
+-- !!! Testing Show on Maybes and Eithers
+module Main(main) where
+
+x :: Maybe ()
+x = Nothing
+
+main :: IO ()
+main = do
+  print x
+  print (Just ())
+  print ((Just (Just ())) :: Maybe (Maybe ()))
+  print (Just x)
+  print ((Left 'a')  :: Either Char Int)
+  print ((Right 'b') :: Either Int Char)
+  print ((Right x)   :: Either Int (Maybe ()))
+  print ((Right (Just  'c')) :: Either Int (Maybe Char))
+  print ((Right (Right 'd')) :: Either Int (Either Char Char))
+  print ((Right (Left  'e')) :: Either Int (Either Char Int))
+  print ((Left 'f') :: Either Char Int)
+  print ((Left x) :: Either (Maybe ()) Char)
+  print ((Left (Just  'g')) :: Either (Maybe Char) ())
+  print ((Left (Right 'h')) :: Either (Either Int Char) Char)
+  print ((Left (Right 'i')) :: Either (Either Int Char) ())
+