diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/ghci046.stdout')
-rw-r--r-- | testsuite/tests/ghci/scripts/ghci046.stdout | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/ghci046.stdout b/testsuite/tests/ghci/scripts/ghci046.stdout new file mode 100644 index 0000000000..d600596b71 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci046.stdout @@ -0,0 +1,4 @@ +undefined :: AND HTrue HTrue :: HTrue +undefined :: AND (OR HFalse HTrue) (OR HTrue HFalse) :: HTrue +t :: HTrue +t :: HFalse |