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/scripts/ghci046.script | |
| parent | e6e45a1c497eae37fbc5daf5e201fe97181e840c (diff) | |
| download | haskell-fe6a51715a23e2ee31e1d03b71f06c4417e964e0.tar.gz | |
Testsuite wibble due to #9404
[skip ci]
Diffstat (limited to 'testsuite/tests/ghci/scripts/ghci046.script')
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci046.script | 4 |
1 files changed, 2 insertions, 2 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 |