Add tests for SShow

testsuite/bsc.lib/SShow/Makefile

@@ -0,0 +1,5 @@
+# for "make clean" to work everywhere
+
+CONFDIR = $(realpath ../..)
+
+include $(CONFDIR)/clean.mk

testsuite/bsc.lib/SShow/SShow.exp

@@ -0,0 +1,6 @@
+
+# tests for elaboration-time classic-syntax show library
+
+compile_verilog_pass TestSShow.bs sysTestSShow
+
+compare_file sysTestSShow.out

testsuite/bsc.lib/SShow/TestSShow.bs

@@ -0,0 +1,47 @@
+package TestSShow where
+
+import SShow
+import ListN
+import Vector
+import BuildVector
+import BuildList
+
+data Foo = A (UInt 8) Bool Bar
+         | B (Int 16)
+         | C
+         | D {a :: (Bit 8); b :: Foo}
+  deriving (FShow)
+
+struct Bar =
+  foo :: Foo
+  x :: (UInt 8)
+ deriving (FShow)
+
+data Baz a = Baz a a
+  deriving (FShow)
+
+struct Qux =
+  x :: a -> a -- Higher rank
+  y :: Int 8
+
+sysTestSShow :: Module Empty
+sysTestSShow = module
+  out <- openFile "sysTestSShow.out" WriteMode
+
+  hPutStrLn out (sshow (42 :: UInt 8))
+  hPutStrLn out (sshow (321 :: Integer))
+  hPutStrLn out (sshow (3.14 :: Real))
+  hPutStrLn out (sshow '*')
+  hPutStrLn out (sshow "Hello")
+  hPutStrLn out (sshow ())
+  hPutStrLn out (sshow (Bar {x=42; foo=C}))
+  hPutStrLn out (sshow (A 12 True (Bar {foo=D {a=34; b=C}; x=42})))
+  hPutStrLn out (sshow (Baz C (A 12 True (Bar {foo=D {a=34; b=C}; x=42}))))
+  hPutStrLn out (sshow ((vec (Bar {x=42; foo=C}) (Bar {x=3; foo=B 2323})) :: Vector 2 Bar))
+  hPutStrLn out (sshow $ vectorToArray ((vec (Bar {x=42; foo=C}) (Bar {x=3; foo=B 2323})) :: Vector 2 Bar))
+  hPutStrLn out (sshow ((lst (Bar {x=42; foo=C}) (Bar {x=3; foo=B 2323})) :: List Bar))
+  hPutStrLn out (sshow ((Bar {x=42; foo=C}) :> (Bar {x=3; foo=B 2323}) :> ListN.nil))
+  hPutStrLn out (sshow ("x", ((Left 123) :: Either (UInt 8) Bar, False)))
+  hPutStrLn out (sshow $ Qux {x = id; y = 42;})
+
+  hClose out

testsuite/bsc.lib/SShow/sysTestSShow.out.expected

@@ -0,0 +1,15 @@
+42
+321
+3.14
+'*'
+"Hello"
+()
+Bar {foo=C; x=42}
+A 12 True (Bar {foo=D {a=34; b=C}; x=42})
+Baz C (A 12 True (Bar {foo=D {a=34; b=C}; x=42}))
+[Bar {foo=C; x=42}, Bar {foo=B 2323; x=3}]
+[Bar {foo=C; x=42}, Bar {foo=B 2323; x=3}]
+[Bar {foo=C; x=42}, Bar {foo=B 2323; x=3}]
+[Bar {foo=C; x=42}, Bar {foo=B 2323; x=3}]
+("x", Left 123, False)
+Qux {x=<polymorphic value>; y=42}