diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T9181.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T9181.stdout | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T9181.stdout b/testsuite/tests/ghci/scripts/T9181.stdout index d6bfea3843..c148446881 100644 --- a/testsuite/tests/ghci/scripts/T9181.stdout +++ b/testsuite/tests/ghci/scripts/T9181.stdout @@ -68,6 +68,7 @@ type (Data.Type.Ord.<=) :: forall {t}. t -> t -> Constraint type (Data.Type.Ord.<=) x y = GHC.TypeError.Assert (x Data.Type.Ord.<=? y) (Data.Type.Ord.LeErrMsg x y) + ~ (() :: Constraint) :: Constraint type (Data.Type.Ord.<=?) :: forall k. k -> k -> Bool type (Data.Type.Ord.<=?) m n = |