[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 (file)
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) ())
+