diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-11-11 07:58:03 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-11-12 12:36:43 -0500 |
| commit | fe6a51715a23e2ee31e1d03b71f06c4417e964e0 (patch) | |
| tree | 3d062a45c4c171912fae586942f6001ccc705020 /testsuite/tests/ghci | |
| parent | e6e45a1c497eae37fbc5daf5e201fe97181e840c (diff) | |
| download | haskell-fe6a51715a23e2ee31e1d03b71f06c4417e964e0.tar.gz | |
Testsuite wibble due to #9404
[skip ci]
Diffstat (limited to 'testsuite/tests/ghci')
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci046.script | 4 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci046.stdout | 6 |
2 files changed, 6 insertions, 4 deletions
diff --git a/testsuite/tests/ghci/scripts/ghci046.script b/testsuite/tests/ghci/scripts/ghci046.script index f07e06f330..28c5cde050 100644 --- a/testsuite/tests/ghci/scripts/ghci046.script +++ b/testsuite/tests/ghci/scripts/ghci046.script @@ -12,8 +12,8 @@ type instance OR HTrue HTrue = HTrue type instance OR HTrue HFalse = HTrue type instance OR HFalse HTrue = HTrue type instance OR HFalse HFalse = HFalse -:t undefined :: AND HTrue HTrue -:t undefined :: AND (OR HFalse HTrue) (OR HTrue HFalse) +:kind! AND HTrue HTrue +:kind! AND (OR HFalse HTrue) (OR HTrue HFalse) let t = undefined :: AND HTrue HTrue let f = undefined :: AND HTrue HFalse type instance AND HTrue HTrue = HFalse diff --git a/testsuite/tests/ghci/scripts/ghci046.stdout b/testsuite/tests/ghci/scripts/ghci046.stdout index d600596b71..c4e7cf3fc7 100644 --- a/testsuite/tests/ghci/scripts/ghci046.stdout +++ b/testsuite/tests/ghci/scripts/ghci046.stdout @@ -1,4 +1,6 @@ -undefined :: AND HTrue HTrue :: HTrue -undefined :: AND (OR HFalse HTrue) (OR HTrue HFalse) :: HTrue +AND HTrue HTrue :: * += HTrue +AND (OR HFalse HTrue) (OR HTrue HFalse) :: * += HTrue t :: HTrue t :: HFalse |