Commit d6588276 authored by ian@well-typed.com's avatar ian@well-typed.com

Update outputs following the unicode quote change in GHC's output

parent 11237cf6
annfail01.hs:4:1: Not in scope: type constructor or class `Foo'
annfail01.hs:4:1: Not in scope: type constructor or class ‛Foo’
annfail01.hs:5:1: Not in scope: `f'
annfail01.hs:5:1: Not in scope: ‛f’
annfail02.hs:6:1: Not in scope: data constructor `Foo'
annfail02.hs:6:1: Not in scope: data constructor ‛Foo’
annfail02.hs:7:1: Not in scope: type constructor or class `Bar'
annfail02.hs:7:1: Not in scope: type constructor or class ‛Bar’
annfail03.hs:17:1:
GHC stage restriction: instance for `Data InModule'
is used in a top-level splice or annotation,
GHC stage restriction:
instance for ‛Data
InModule’ is used in a top-level splice or annotation,
and must be imported, not defined locally
In the expression: InModule
In the annotation: {-# ANN f InModule #-}
annfail04.hs:14:12:
GHC stage restriction: instance for `Thing Int'
is used in a top-level splice or annotation,
GHC stage restriction:
instance for ‛Thing
Int’ is used in a top-level splice or annotation,
and must be imported, not defined locally
In the expression: (thing :: Int)
In the annotation: {-# ANN f (thing :: Int) #-}
annfail06.hs:21:1:
GHC stage restriction: instance for `Data InstancesInWrongModule'
is used in a top-level splice or annotation,
GHC stage restriction:
instance for ‛Data
InstancesInWrongModule’ is used in a top-level splice or annotation,
and must be imported, not defined locally
In the expression: InstancesInWrongModule
In the annotation: {-# ANN f InstancesInWrongModule #-}
annfail07.hs:9:17:
Couldn't match expected type `[a0]' with actual type `Bool'
In the first argument of `head', namely `True'
Couldn't match expected type ‛[a0]’ with actual type ‛Bool’
In the first argument of ‛head’, namely ‛True’
In the expression: (head True)
In the annotation: {-# ANN f (head True) #-}
......@@ -6,6 +6,6 @@ annfail08.hs:9:1:
In the annotation: {-# ANN f (id + 1) #-}
annfail08.hs:9:15:
No instance for (Num (a0 -> a0)) arising from a use of `+'
No instance for (Num (a0 -> a0)) arising from a use of ‛+’
In the expression: (id + 1)
In the annotation: {-# ANN f (id + 1) #-}
annfail09.hs:11:11:
GHC stage restriction: `g'
is used in a top-level splice or annotation,
GHC stage restriction:
‛g’ is used in a top-level splice or annotation,
and must be imported, not defined locally
In the expression: g
In the annotation: {-# ANN f g #-}
annfail10.hs:9:1:
No instance for (Data.Data.Data a0) arising from an annotation
The type variable `a0' is ambiguous
The type variable ‛a0’ is ambiguous
Note: there are several potential instances:
instance Data.Data.Data () -- Defined in `Data.Data'
instance Data.Data.Data () -- Defined in ‛Data.Data’
instance (Data.Data.Data a, Data.Data.Data b) =>
Data.Data.Data (a, b)
-- Defined in `Data.Data'
-- Defined in ‛Data.Data’
instance (Data.Data.Data a, Data.Data.Data b, Data.Data.Data c) =>
Data.Data.Data (a, b, c)
-- Defined in `Data.Data'
-- Defined in ‛Data.Data’
...plus 27 others
In the expression: 1
In the annotation: {-# ANN f 1 #-}
annfail10.hs:9:11:
No instance for (Num a0) arising from the literal `1'
The type variable `a0' is ambiguous
No instance for (Num a0) arising from the literal ‛1’
The type variable ‛a0’ is ambiguous
Note: there are several potential instances:
instance Num Double -- Defined in `GHC.Float'
instance Num Float -- Defined in `GHC.Float'
instance Num Double -- Defined in ‛GHC.Float’
instance Num Float -- Defined in ‛GHC.Float’
instance Integral a => Num (GHC.Real.Ratio a)
-- Defined in `GHC.Real'
-- Defined in ‛GHC.Real’
...plus 11 others
In the expression: 1
In the annotation: {-# ANN f 1 #-}
annfail11.hs:3:1: Not in scope: `length'
annfail11.hs:3:1: Not in scope: ‛length’
annfail11.hs:4:1: Not in scope: type constructor or class `Integer'
annfail11.hs:4:1: Not in scope: type constructor or class ‛Integer’
T5380.hs:7:27:
Couldn't match expected type `Bool' with actual type `not_bool'
`not_bool' is a rigid type variable bound by
Couldn't match expected type ‛Bool’ with actual type ‛not_bool’
‛not_bool’ is a rigid type variable bound by
the type signature for
testB :: not_bool -> (() -> ()) -> () -> not_unit
at T5380.hs:6:10
......@@ -11,12 +11,12 @@ T5380.hs:7:27:
b :: not_bool (bound at T5380.hs:7:7)
In the expression: b
In the expression: proc () -> if b then f -< () else f -< ()
In an equation for `testB':
In an equation for ‛testB’:
testB b f = proc () -> if b then f -< () else f -< ()
T5380.hs:7:34:
Couldn't match type `not_unit' with `()'
`not_unit' is a rigid type variable bound by
Couldn't match type ‛not_unit’ with ‛()’
‛not_unit’ is a rigid type variable bound by
the type signature for
testB :: not_bool -> (() -> ()) -> () -> not_unit
at T5380.hs:6:10
......@@ -27,5 +27,5 @@ T5380.hs:7:34:
(bound at T5380.hs:7:1)
In the expression: f
In the expression: proc () -> if b then f -< () else f -< ()
In an equation for `testB':
In an equation for ‛testB’:
testB b f = proc () -> if b then f -< () else f -< ()
arrowfail001.hs:16:36:
No instance for (Foo a) arising from a use of `foo'
No instance for (Foo a) arising from a use of ‛foo’
In the expression: foo
In the expression: proc x -> case x of { Bar a -> foo -< a }
In an equation for `get':
In an equation for ‛get’:
get = proc x -> case x of { Bar a -> foo -< a }
arrowfail002.hs:6:17: Not in scope: `x'
arrowfail002.hs:6:17: Not in scope: ‛x’
......@@ -3,5 +3,5 @@ arrowfail004.hs:12:15:
Proc patterns cannot use existential or GADT data constructors
In the pattern: T x
In the expression: proc (T x) -> do { returnA -< T x }
In an equation for `panic':
In an equation for ‛panic’:
panic = proc (T x) -> do { returnA -< T x }
GadtOverlap.hs:19:1:
Warning: Pattern match(es) are non-exhaustive
In an equation for `h': Patterns not matched: T3
GadtOverlap.hs:19:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‛h’: Patterns not matched: T3
T2395.hs:12:1:
Warning: Pattern match(es) are overlapped
In an equation for `bar': bar _ = ...
T2395.hs:12:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛bar’: bar _ = ...
T5117.hs:15:1:
Warning: Pattern match(es) are overlapped
In an equation for `f3': f3 (MyString "a") = ...
T5117.hs:15:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛f3’: f3 (MyString "a") = ...
ds002.hs:7:1:
Warning: Pattern match(es) are overlapped
In an equation for `f':
f y = ...
f z = ...
ds002.hs:7:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛f’:
f y = ...
f z = ...
ds002.hs:11:1:
Warning: Pattern match(es) are overlapped
In an equation for `g': g x y z = ...
ds002.hs:11:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛g’: g x y z = ...
ds003.hs:5:1:
Warning: Pattern match(es) are overlapped
In an equation for `f':
f (x : x1 : x2 : x3) ~(y, ys) z = ...
f x y True = ...
ds003.hs:5:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛f’:
f (x : x1 : x2 : x3) ~(y, ys) z = ...
f x y True = ...
ds019.hs:5:1:
Warning: Pattern match(es) are overlapped
In an equation for `f':
f d (j, k) p = ...
f (e, f, g) l q = ...
f h (m, n) r = ...
ds019.hs:5:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛f’:
f d (j, k) p = ...
f (e, f, g) l q = ...
f h (m, n) r = ...
ds020.hs:8:1:
Warning: Pattern match(es) are overlapped
In an equation for `a': a ~(~[], ~[], ~[]) = ...
ds020.hs:8:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛a’: a ~(~[], ~[], ~[]) = ...
ds020.hs:11:1:
Warning: Pattern match(es) are overlapped
In an equation for `b': b ~(~x : ~xs : ~ys) = ...
ds020.hs:11:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛b’: b ~(~x : ~xs : ~ys) = ...
ds020.hs:16:1:
Warning: Pattern match(es) are overlapped
In an equation for `d':
d ~(n+43) = ...
d ~(n+999) = ...
ds020.hs:16:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛d’:
d ~(n+43) = ...
d ~(n+999) = ...
ds020.hs:22:1:
Warning: Pattern match(es) are overlapped
In an equation for `f': f x@(~[]) = ...
ds020.hs:22:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛f’: f x@(~[]) = ...
ds022.hs:20:1:
Warning: Pattern match(es) are overlapped
In an equation for `i':
i 1 0.011e2 = ...
i 2 2.20000 = ...
ds022.hs:20:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛i’:
i 1 0.011e2 = ...
i 2 2.20000 = ...
ds041.hs:1:14:
Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
ds041.hs:1:14: Warning:
-XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
ds041.hs:16:7:
Warning: Fields of `Foo' not initialised: x
ds041.hs:16:7: Warning:
Fields of ‛Foo’ not initialised: x
In the expression: Foo {}
In an equation for `foo': foo = Foo {}
In an equation for ‛foo’: foo = Foo {}
ds051.hs:6:1:
Warning: Pattern match(es) are overlapped
In an equation for `f1': f1 "ab" = ...
ds051.hs:6:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛f1’: f1 "ab" = ...
ds051.hs:11:1:
Warning: Pattern match(es) are overlapped
In an equation for `f2': f2 ('a' : 'b' : []) = ...
ds051.hs:11:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛f2’: f2 ('a' : 'b' : []) = ...
ds051.hs:16:1:
Warning: Pattern match(es) are overlapped
In an equation for `f3': f3 "ab" = ...
ds051.hs:16:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛f3’: f3 "ab" = ...
ds053.hs:5:1: Warning: Defined but not used: `f'
ds053.hs:5:1: Warning: Defined but not used: ‛f’
ds056.hs:8:1:
Warning: Pattern match(es) are overlapped
In an equation for `g': g _ = ...
ds056.hs:8:1: Warning:
Pattern match(es) are overlapped
In an equation for ‛g’: g _ = ...
drv021.hs:9:1: Warning:
Module `Data.OldTypeable' is deprecated: Use Data.Typeable instead
Module ‛Data.OldTypeable’ is deprecated: Use Data.Typeable instead