diff options
| author | Ian Lynagh <ian@well-typed.com> | 2013-02-24 14:48:43 +0000 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2013-02-24 14:48:43 +0000 |
| commit | d6588276e819f088e29a6c16ba0a0c82acfd05cc (patch) | |
| tree | fb9d06e18d8ad31733117c08ff4954e7a8b27b04 /testsuite/tests/polykinds/T7230.stderr | |
| parent | 11237cf673876f6ef85918383cb46b8b1e8ca099 (diff) | |
| download | haskell-d6588276e819f088e29a6c16ba0a0c82acfd05cc.tar.gz | |
Update outputs following the unicode quote change in GHC's output
Diffstat (limited to 'testsuite/tests/polykinds/T7230.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7230.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/polykinds/T7230.stderr b/testsuite/tests/polykinds/T7230.stderr index 3bcccee8f2..34695d0e02 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -10,13 +10,13 @@ T7230.hs:48:32: bound by a pattern with constructor SCons :: forall (k :: BOX) (x :: k) (xs :: [k]). Sing k x -> Sing [k] xs -> Sing [k] ((':) k x xs), - in an equation for `crash' + in an equation for ‛crash’ at T7230.hs:48:8-27 or from (xs1 ~ (':) Nat x1 xs2) bound by a pattern with constructor SCons :: forall (k :: BOX) (x :: k) (xs :: [k]). Sing k x -> Sing [k] xs -> Sing [k] ((':) k x xs), - in an equation for `crash' + in an equation for ‛crash’ at T7230.hs:48:17-26 Expected type: SBool (Increasing xs) Actual type: SBool (x :<<= x1) @@ -24,5 +24,5 @@ T7230.hs:48:32: x :: Sing Nat x (bound at T7230.hs:48:14) y :: Sing Nat x1 (bound at T7230.hs:48:23) In the expression: x %:<<= y - In an equation for `crash': + In an equation for ‛crash’: crash (SCons x (SCons y xs)) = x %:<<= y |