diff options
Diffstat (limited to 'testsuite/tests/ghci')
38 files changed, 254 insertions, 254 deletions
diff --git a/testsuite/tests/ghci/prog006/prog006.stderr b/testsuite/tests/ghci/prog006/prog006.stderr index 0001208e2d..7bc3b1b2ef 100644 --- a/testsuite/tests/ghci/prog006/prog006.stderr +++ b/testsuite/tests/ghci/prog006/prog006.stderr @@ -1,4 +1,4 @@ Boot.hs:5:13: - Not a data constructor: ‛forall’ + Not a data constructor: ‘forall’ Perhaps you intended to use ExistentialQuantification diff --git a/testsuite/tests/ghci/prog009/ghci.prog009.stderr b/testsuite/tests/ghci/prog009/ghci.prog009.stderr index ca9a7bc591..97297522b9 100644 --- a/testsuite/tests/ghci/prog009/ghci.prog009.stderr +++ b/testsuite/tests/ghci/prog009/ghci.prog009.stderr @@ -1,8 +1,8 @@ -A.hs:1:16: parse error on input ‛where’ +A.hs:1:16: parse error on input ‘where’ <interactive>:26:1: - Not in scope: ‛yan’ - Perhaps you meant ‛tan’ (imported from Prelude) + Not in scope: ‘yan’ + Perhaps you meant ‘tan’ (imported from Prelude) -A.hs:1:16: parse error on input ‛where’ +A.hs:1:16: parse error on input ‘where’ diff --git a/testsuite/tests/ghci/prog012/prog012.stderr b/testsuite/tests/ghci/prog012/prog012.stderr index db122d9c64..f22f674230 100644 --- a/testsuite/tests/ghci/prog012/prog012.stderr +++ b/testsuite/tests/ghci/prog012/prog012.stderr @@ -1,2 +1,2 @@ -Bar.hs:3:7: Not in scope: ‛nonexistent’ +Bar.hs:3:7: Not in scope: ‘nonexistent’ diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index 2d4b848529..ed36a3eb3c 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -1,48 +1,48 @@ ../../typecheck/should_run/Defer01.hs:11:40: Warning: - Couldn't match type ‛Char’ with ‛[Char]’ + Couldn't match type ‘Char’ with ‘[Char]’ Expected type: String Actual type: Char - In the first argument of ‛putStr’, namely ‛','’ - In the second argument of ‛(>>)’, namely ‛putStr ','’ + In the first argument of ‘putStr’, namely ‘','’ + In the second argument of ‘(>>)’, namely ‘putStr ','’ In the expression: putStr "Hello World" >> putStr ',' ../../typecheck/should_run/Defer01.hs:14:5: Warning: - Couldn't match expected type ‛Int’ with actual type ‛Char’ + Couldn't match expected type ‘Int’ with actual type ‘Char’ In the expression: 'p' - In an equation for ‛a’: a = 'p' + In an equation for ‘a’: a = 'p' ../../typecheck/should_run/Defer01.hs:18:9: Warning: - No instance for (Eq B) arising from a use of ‛==’ + No instance for (Eq B) arising from a use of ‘==’ In the expression: x == x - In an equation for ‛b’: b x = x == x + In an equation for ‘b’: b x = x == x ../../typecheck/should_run/Defer01.hs:25:4: Warning: - Couldn't match type ‛Int’ with ‛Bool’ + Couldn't match type ‘Int’ with ‘Bool’ Inaccessible code in a pattern with constructor C2 :: Bool -> C Bool, - in an equation for ‛c’ + in an equation for ‘c’ In the pattern: C2 x - In an equation for ‛c’: c (C2 x) = True + In an equation for ‘c’: c (C2 x) = True ../../typecheck/should_run/Defer01.hs:28:5: Warning: - No instance for (Num (a -> a)) arising from the literal ‛1’ + No instance for (Num (a -> a)) arising from the literal ‘1’ In the expression: 1 - In an equation for ‛d’: d = 1 + In an equation for ‘d’: d = 1 ../../typecheck/should_run/Defer01.hs:31:5: Warning: - Couldn't match expected type ‛Char -> t’ with actual type ‛Char’ + Couldn't match expected type ‘Char -> t’ with actual type ‘Char’ Relevant bindings include f :: t (bound at ../../typecheck/should_run/Defer01.hs:31:1) - The function ‛e’ is applied to one argument, - but its type ‛Char’ has none + The function ‘e’ is applied to one argument, + but its type ‘Char’ has none In the expression: e 'q' - In an equation for ‛f’: f = e 'q' + In an equation for ‘f’: f = e 'q' ../../typecheck/should_run/Defer01.hs:34:8: Warning: - Couldn't match expected type ‛Char’ with actual type ‛a’ - ‛a’ is a rigid type variable bound by + Couldn't match expected type ‘Char’ with actual type ‘a’ + ‘a’ is a rigid type variable bound by the type signature for h :: a -> (Char, Char) at ../../typecheck/should_run/Defer01.hs:33:6 Relevant bindings include @@ -53,103 +53,103 @@ In the expression: (x, 'c') ../../typecheck/should_run/Defer01.hs:39:17: Warning: - Couldn't match expected type ‛Bool’ with actual type ‛T a’ + Couldn't match expected type ‘Bool’ with actual type ‘T a’ Relevant bindings include a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3) i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1) - In the first argument of ‛not’, namely ‛(K a)’ + In the first argument of ‘not’, namely ‘(K a)’ In the expression: (not (K a)) ../../typecheck/should_run/Defer01.hs:43:5: Warning: - No instance for (MyClass a1) arising from a use of ‛myOp’ + No instance for (MyClass a1) arising from a use of ‘myOp’ In the expression: myOp 23 - In an equation for ‛j’: j = myOp 23 + In an equation for ‘j’: j = myOp 23 ../../typecheck/should_run/Defer01.hs:43:10: Warning: - No instance for (Num a1) arising from the literal ‛23’ - The type variable ‛a1’ is ambiguous + No instance for (Num a1) arising from the literal ‘23’ + The type variable ‘a1’ 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 three others - In the first argument of ‛myOp’, namely ‛23’ + In the first argument of ‘myOp’, namely ‘23’ In the expression: myOp 23 - In an equation for ‛j’: j = myOp 23 + In an equation for ‘j’: j = myOp 23 ../../typecheck/should_run/Defer01.hs:45:6: Warning: - Couldn't match type ‛Int’ with ‛Bool’ + Couldn't match type ‘Int’ with ‘Bool’ Inaccessible code in the type signature for k :: Int ~ Bool => Int -> Bool In the ambiguity check for: Int ~ Bool => Int -> Bool To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‛k’: k :: Int ~ Bool => Int -> Bool + In the type signature for ‘k’: k :: Int ~ Bool => Int -> Bool ../../typecheck/should_run/Defer01.hs:45:6: Warning: - Couldn't match expected type ‛Bool’ with actual type ‛Int’ + Couldn't match expected type ‘Bool’ with actual type ‘Int’ In the ambiguity check for: Int ~ Bool => Int -> Bool To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‛k’: k :: Int ~ Bool => Int -> Bool + In the type signature for ‘k’: k :: Int ~ Bool => Int -> Bool ../../typecheck/should_run/Defer01.hs:45:6: Warning: - Couldn't match type ‛Int’ with ‛Bool’ + Couldn't match type ‘Int’ with ‘Bool’ Inaccessible code in the type signature for k :: Int ~ Bool => Int -> Bool ../../typecheck/should_run/Defer01.hs:46:7: Warning: - Couldn't match expected type ‛Bool’ with actual type ‛Int’ + Couldn't match expected type ‘Bool’ with actual type ‘Int’ In the expression: x - In an equation for ‛k’: k x = x + In an equation for ‘k’: k x = x ../../typecheck/should_run/Defer01.hs:49:5: Warning: - Couldn't match expected type ‛IO a0’ - with actual type ‛Char -> IO ()’ - Probable cause: ‛putChar’ is applied to too few arguments - In the first argument of ‛(>>)’, namely ‛putChar’ + Couldn't match expected type ‘IO a0’ + with actual type ‘Char -> IO ()’ + Probable cause: ‘putChar’ is applied to too few arguments + In the first argument of ‘(>>)’, namely ‘putChar’ In the expression: putChar >> putChar 'p' *** Exception: ../../typecheck/should_run/Defer01.hs:11:40: - Couldn't match type ‛Char’ with ‛[Char]’ + Couldn't match type ‘Char’ with ‘[Char]’ Expected type: String Actual type: Char - In the first argument of ‛putStr’, namely ‛','’ - In the second argument of ‛(>>)’, namely ‛putStr ','’ + In the first argument of ‘putStr’, namely ‘','’ + In the second argument of ‘(>>)’, namely ‘putStr ','’ In the expression: putStr "Hello World" >> putStr ',' (deferred type error) *** Exception: ../../typecheck/should_run/Defer01.hs:14:5: - Couldn't match expected type ‛Int’ with actual type ‛Char’ + Couldn't match expected type ‘Int’ with actual type ‘Char’ In the expression: 'p' - In an equation for ‛a’: a = 'p' + In an equation for ‘a’: a = 'p' (deferred type error) *** Exception: ../../typecheck/should_run/Defer01.hs:18:9: - No instance for (Eq B) arising from a use of ‛==’ + No instance for (Eq B) arising from a use of ‘==’ In the expression: x == x - In an equation for ‛b’: b x = x == x + In an equation for ‘b’: b x = x == x (deferred type error) <interactive>:8:11: - Couldn't match type ‛Bool’ with ‛Int’ + Couldn't match type ‘Bool’ with ‘Int’ Expected type: C Int Actual type: C Bool - In the first argument of ‛c’, namely ‛(C2 True)’ - In the first argument of ‛print’, namely ‛(c (C2 True))’ + In the first argument of ‘c’, namely ‘(C2 True)’ + In the first argument of ‘print’, namely ‘(c (C2 True))’ *** Exception: ../../typecheck/should_run/Defer01.hs:28:5: - No instance for (Num (a -> a)) arising from the literal ‛1’ + No instance for (Num (a -> a)) arising from the literal ‘1’ In the expression: 1 - In an equation for ‛d’: d = 1 + In an equation for ‘d’: d = 1 (deferred type error) *** Exception: ../../typecheck/should_run/Defer01.hs:31:5: - Couldn't match expected type ‛Char -> t’ with actual type ‛Char’ + Couldn't match expected type ‘Char -> t’ with actual type ‘Char’ Relevant bindings include f :: t (bound at ../../typecheck/should_run/Defer01.hs:31:1) - The function ‛e’ is applied to one argument, - but its type ‛Char’ has none + The function ‘e’ is applied to one argument, + but its type ‘Char’ has none In the expression: e 'q' - In an equation for ‛f’: f = e 'q' + In an equation for ‘f’: f = e 'q' (deferred type error) *** Exception: ../../typecheck/should_run/Defer01.hs:34:8: - Couldn't match expected type ‛Char’ with actual type ‛a’ - ‛a’ is a rigid type variable bound by + Couldn't match expected type ‘Char’ with actual type ‘a’ + ‘a’ is a rigid type variable bound by the type signature for h :: a -> (Char, Char) at ../../typecheck/should_run/Defer01.hs:33:6 Relevant bindings include @@ -160,28 +160,28 @@ In the expression: (x, 'c') (deferred type error) *** Exception: ../../typecheck/should_run/Defer01.hs:39:17: - Couldn't match expected type ‛Bool’ with actual type ‛T a’ + Couldn't match expected type ‘Bool’ with actual type ‘T a’ Relevant bindings include a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3) i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1) - In the first argument of ‛not’, namely ‛(K a)’ + In the first argument of ‘not’, namely ‘(K a)’ In the expression: (not (K a)) (deferred type error) *** Exception: ../../typecheck/should_run/Defer01.hs:43:5: - No instance for (MyClass a1) arising from a use of ‛myOp’ + No instance for (MyClass a1) arising from a use of ‘myOp’ In the expression: myOp 23 - In an equation for ‛j’: j = myOp 23 + In an equation for ‘j’: j = myOp 23 (deferred type error) <interactive>:14:8: - Couldn't match expected type ‛Bool’ with actual type ‛Int’ - In the first argument of ‛print’, namely ‛(k 2)’ + Couldn't match expected type ‘Bool’ with actual type ‘Int’ + In the first argument of ‘print’, namely ‘(k 2)’ In the expression: print (k 2) - In an equation for ‛it’: it = print (k 2) + In an equation for ‘it’: it = print (k 2) *** Exception: ../../typecheck/should_run/Defer01.hs:49:5: - Couldn't match expected type ‛IO a0’ - with actual type ‛Char -> IO ()’ - Probable cause: ‛putChar’ is applied to too few arguments - In the first argument of ‛(>>)’, namely ‛putChar’ + Couldn't match expected type ‘IO a0’ + with actual type ‘Char -> IO ()’ + Probable cause: ‘putChar’ is applied to too few arguments + In the first argument of ‘(>>)’, namely ‘putChar’ In the expression: putChar >> putChar 'p' (deferred type error) diff --git a/testsuite/tests/ghci/scripts/T2452.stderr b/testsuite/tests/ghci/scripts/T2452.stderr index a2fa4fc8a5..68e07ae367 100644 --- a/testsuite/tests/ghci/scripts/T2452.stderr +++ b/testsuite/tests/ghci/scripts/T2452.stderr @@ -1,2 +1,2 @@ -<interactive>:1:1: Not in scope: ‛System.IO.hPutStrLn’ +<interactive>:1:1: Not in scope: ‘System.IO.hPutStrLn’ diff --git a/testsuite/tests/ghci/scripts/T2816.stderr b/testsuite/tests/ghci/scripts/T2816.stderr index ba4c1bd955..a70f7a5179 100644 --- a/testsuite/tests/ghci/scripts/T2816.stderr +++ b/testsuite/tests/ghci/scripts/T2816.stderr @@ -1,2 +1,2 @@ -<interactive>:2:1: Not in scope: ‛α’ +<interactive>:2:1: Not in scope: ‘α’ diff --git a/testsuite/tests/ghci/scripts/T3263.stderr b/testsuite/tests/ghci/scripts/T3263.stderr index 9a09c81870..737f0bbcaa 100644 --- a/testsuite/tests/ghci/scripts/T3263.stderr +++ b/testsuite/tests/ghci/scripts/T3263.stderr @@ -1,5 +1,5 @@ T3263.hs:8:12: Warning: - A do-notation statement discarded a result of type ‛Char’ - Suppress this warning by saying ‛_ <- getChar’ + A do-notation statement discarded a result of type ‘Char’ + Suppress this warning by saying ‘_ <- getChar’ or by using the flag -fno-warn-unused-do-bind diff --git a/testsuite/tests/ghci/scripts/T4127a.stderr b/testsuite/tests/ghci/scripts/T4127a.stderr index 598bdbc5a3..58d1bb683e 100644 --- a/testsuite/tests/ghci/scripts/T4127a.stderr +++ b/testsuite/tests/ghci/scripts/T4127a.stderr @@ -1,6 +1,6 @@ <interactive>:3:68: - Multiple declarations of ‛f’ + Multiple declarations of ‘f’ Declared at: <interactive>:3:32 <interactive>:3:68 In the Template Haskell quotation diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout index d8b8de0be0..1f44bd1051 100644 --- a/testsuite/tests/ghci/scripts/T4175.stdout +++ b/testsuite/tests/ghci/scripts/T4175.stdout @@ -17,36 +17,36 @@ type family E a :: * where E () = Bool E Int = String -- Defined at T4175.hs:24:1 -data () = () -- Defined in ‛GHC.Tuple’ +data () = () -- Defined in ‘GHC.Tuple’ instance C () -- Defined at T4175.hs:21:10 -instance Bounded () -- Defined in ‛GHC.Enum’ -instance Enum () -- Defined in ‛GHC.Enum’ -instance Eq () -- Defined in ‛GHC.Classes’ -instance Ord () -- Defined in ‛GHC.Classes’ -instance Read () -- Defined in ‛GHC.Read’ -instance Show () -- Defined in ‛GHC.Show’ +instance Bounded () -- Defined in ‘GHC.Enum’ +instance Enum () -- Defined in ‘GHC.Enum’ +instance Eq () -- Defined in ‘GHC.Classes’ +instance Ord () -- Defined in ‘GHC.Classes’ +instance Read () -- Defined in ‘GHC.Read’ +instance Show () -- Defined in ‘GHC.Show’ type D () () -- Defined at T4175.hs:22:5 type D Int () -- Defined at T4175.hs:19:5 data instance B () -- Defined at T4175.hs:13:15 -data Maybe a = Nothing | Just a -- Defined in ‛Data.Maybe’ -instance Eq a => Eq (Maybe a) -- Defined in ‛Data.Maybe’ -instance Monad Maybe -- Defined in ‛Data.Maybe’ -instance Functor Maybe -- Defined in ‛Data.Maybe’ -instance Ord a => Ord (Maybe a) -- Defined in ‛Data.Maybe’ -instance Read a => Read (Maybe a) -- Defined in ‛GHC.Read’ -instance Show a => Show (Maybe a) -- Defined in ‛GHC.Show’ +data Maybe a = Nothing | Just a -- Defined in ‘Data.Maybe’ +instance Eq a => Eq (Maybe a) -- Defined in ‘Data.Maybe’ +instance Monad Maybe -- Defined in ‘Data.Maybe’ +instance Functor Maybe -- Defined in ‘Data.Maybe’ +instance Ord a => Ord (Maybe a) -- Defined in ‘Data.Maybe’ +instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’ +instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’ type instance A (Maybe a) a -- Defined at T4175.hs:9:1 -data Int = I# Int# -- Defined in ‛GHC.Types’ +data Int = I# Int# -- Defined in ‘GHC.Types’ instance C Int -- Defined at T4175.hs:18:10 -instance Bounded Int -- Defined in ‛GHC.Enum’ -instance Enum Int -- Defined in ‛GHC.Enum’ -instance Eq Int -- Defined in ‛GHC.Classes’ -instance Integral Int -- Defined in ‛GHC.Real’ -instance Num Int -- Defined in ‛GHC.Num’ -instance Ord Int -- Defined in ‛GHC.Classes’ -instance Read Int -- Defined in ‛GHC.Read’ -instance Real Int -- Defined in ‛GHC.Real’ -instance Show Int -- Defined in ‛GHC.Show’ +instance Bounded Int -- Defined in ‘GHC.Enum’ +instance Enum Int -- Defined in ‘GHC.Enum’ +instance Eq Int -- Defined in ‘GHC.Classes’ +instance Integral Int -- Defined in ‘GHC.Real’ +instance Num Int -- Defined in ‘GHC.Num’ +instance Ord Int -- Defined in ‘GHC.Classes’ +instance Read Int -- Defined in ‘GHC.Read’ +instance Real Int -- Defined in ‘GHC.Real’ +instance Show Int -- Defined in ‘GHC.Show’ type D Int () -- Defined at T4175.hs:19:5 type instance A Int Int -- Defined at T4175.hs:8:1 class Z a -- Defined at T4175.hs:28:1 diff --git a/testsuite/tests/ghci/scripts/T5545.stdout b/testsuite/tests/ghci/scripts/T5545.stdout index 8ba680a5cb..6a72f59b84 100644 --- a/testsuite/tests/ghci/scripts/T5545.stdout +++ b/testsuite/tests/ghci/scripts/T5545.stdout @@ -1,2 +1,2 @@ -($!) :: (a -> b) -> a -> b -- Defined in ‛Prelude’ +($!) :: (a -> b) -> a -> b -- Defined in ‘Prelude’ infixr 0 $! diff --git a/testsuite/tests/ghci/scripts/T5564.stderr b/testsuite/tests/ghci/scripts/T5564.stderr index e24eacf5c7..c358dab319 100644 --- a/testsuite/tests/ghci/scripts/T5564.stderr +++ b/testsuite/tests/ghci/scripts/T5564.stderr @@ -1,9 +1,9 @@ <interactive>:3:1: - Not in scope: ‛git’ - Perhaps you meant ‛it’ (line 2) + Not in scope: ‘git’ + Perhaps you meant ‘it’ (line 2) <interactive>:5:1: - Not in scope: ‛fit’ + Not in scope: ‘fit’ Perhaps you meant one of these: - ‛fst’ (imported from Prelude), ‛it’ (line 4) + ‘fst’ (imported from Prelude), ‘it’ (line 4) diff --git a/testsuite/tests/ghci/scripts/T5820.stderr b/testsuite/tests/ghci/scripts/T5820.stderr index bf623bff14..dc89a5fa9b 100644 --- a/testsuite/tests/ghci/scripts/T5820.stderr +++ b/testsuite/tests/ghci/scripts/T5820.stderr @@ -1,5 +1,5 @@ T5820.hs:3:10: Warning: No explicit implementation for - either ‛==’ or ‛/=’ - In the instance declaration for ‛Eq Foo’ + either ‘==’ or ‘/=’ + In the instance declaration for ‘Eq Foo’ diff --git a/testsuite/tests/ghci/scripts/T5836.stderr b/testsuite/tests/ghci/scripts/T5836.stderr index 5bd37b5c00..80de015c5c 100644 --- a/testsuite/tests/ghci/scripts/T5836.stderr +++ b/testsuite/tests/ghci/scripts/T5836.stderr @@ -1,4 +1,4 @@ <no location info>: - Could not find module ‛Does.Not.Exist’ + Could not find module ‘Does.Not.Exist’ It is not a module in the current program, or in any known package. diff --git a/testsuite/tests/ghci/scripts/T5979.stderr b/testsuite/tests/ghci/scripts/T5979.stderr index b4cd884928..fe6e012603 100644 --- a/testsuite/tests/ghci/scripts/T5979.stderr +++ b/testsuite/tests/ghci/scripts/T5979.stderr @@ -1,4 +1,4 @@ <no location info>: - Could not find module ‛Control.Monad.Trans.State’ + Could not find module ‘Control.Monad.Trans.State’ It is not a module in the current program, or in any known package. diff --git a/testsuite/tests/ghci/scripts/T6007.stderr b/testsuite/tests/ghci/scripts/T6007.stderr index 695d25b3ad..aa2be4ee6d 100644 --- a/testsuite/tests/ghci/scripts/T6007.stderr +++ b/testsuite/tests/ghci/scripts/T6007.stderr @@ -1,6 +1,6 @@ <interactive>:1:19: - Module ‛System.IO’ does not export ‛does_not_exist’ + Module ‘System.IO’ does not export ‘does_not_exist’ <interactive>:1:20: - Module ‛Data.Maybe’ does not export ‛does_not_exist’ + Module ‘Data.Maybe’ does not export ‘does_not_exist’ diff --git a/testsuite/tests/ghci/scripts/T7627.stdout b/testsuite/tests/ghci/scripts/T7627.stdout index 351b9abd66..46935eb0ea 100644 --- a/testsuite/tests/ghci/scripts/T7627.stdout +++ b/testsuite/tests/ghci/scripts/T7627.stdout @@ -1,25 +1,25 @@ -data () = () -- Defined in ‛GHC.Tuple’ -instance Bounded () -- Defined in ‛GHC.Enum’ -instance Enum () -- Defined in ‛GHC.Enum’ -instance Eq () -- Defined in ‛GHC.Classes’ -instance Ord () -- Defined in ‛GHC.Classes’ -instance Read () -- Defined in ‛GHC.Read’ -instance Show () -- Defined in ‛GHC.Show’ -data (##) = (##) -- Defined in ‛GHC.Prim’ +data () = () -- Defined in ‘GHC.Tuple’ +instance Bounded () -- Defined in ‘GHC.Enum’ +instance Enum () -- Defined in ‘GHC.Enum’ +instance Eq () -- Defined in ‘GHC.Classes’ +instance Ord () -- Defined in ‘GHC.Classes’ +instance Read () -- Defined in ‘GHC.Read’ +instance Show () -- Defined in ‘GHC.Show’ +data (##) = (##) -- Defined in ‘GHC.Prim’ () :: () (##) :: (# #) ( ) :: () (# #) :: (# #) -data (,) a b = (,) a b -- Defined in ‛GHC.Tuple’ +data (,) a b = (,) a b -- Defined in ‘GHC.Tuple’ instance (Bounded a, Bounded b) => Bounded (a, b) - -- Defined in ‛GHC.Enum’ -instance (Eq a, Eq b) => Eq (a, b) -- Defined in ‛GHC.Classes’ -instance Functor ((,) a) -- Defined in ‛GHC.Base’ -instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‛GHC.Classes’ -instance (Read a, Read b) => Read (a, b) -- Defined in ‛GHC.Read’ -instance (Show a, Show b) => Show (a, b) -- Defined in ‛GHC.Show’ + -- Defined in ‘GHC.Enum’ +instance (Eq a, Eq b) => Eq (a, b) -- Defined in ‘GHC.Classes’ +instance Functor ((,) a) -- Defined in ‘GHC.Base’ +instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‘GHC.Classes’ +instance (Read a, Read b) => Read (a, b) -- Defined in ‘GHC.Read’ +instance (Show a, Show b) => Show (a, b) -- Defined in ‘GHC.Show’ data (#,#) (a :: OpenKind) (b :: OpenKind) = (#,#) a b - -- Defined in ‛GHC.Prim’ + -- Defined in ‘GHC.Prim’ (,) :: a -> b -> (a, b) (#,#) :: a -> b -> (# a, b #) ( , ) :: a -> b -> (a, b) diff --git a/testsuite/tests/ghci/scripts/T7894.stderr b/testsuite/tests/ghci/scripts/T7894.stderr index b0a04e4dfd..4cd2a75ff1 100644 --- a/testsuite/tests/ghci/scripts/T7894.stderr +++ b/testsuite/tests/ghci/scripts/T7894.stderr @@ -1,2 +1,2 @@ -Top level: Not in scope: ‛Data.Maybe.->’ +Top level: Not in scope: ‘Data.Maybe.->’ diff --git a/testsuite/tests/ghci/scripts/T8469.stdout b/testsuite/tests/ghci/scripts/T8469.stdout index 6c66b35fab..cd7966ee66 100644 --- a/testsuite/tests/ghci/scripts/T8469.stdout +++ b/testsuite/tests/ghci/scripts/T8469.stdout @@ -1,10 +1,10 @@ -data Int = GHC.Types.I# GHC.Prim.Int# -- Defined in ‛GHC.Types’ -instance Bounded Int -- Defined in ‛GHC.Enum’ -instance Enum Int -- Defined in ‛GHC.Enum’ -instance Eq Int -- Defined in ‛GHC.Classes’ -instance Integral Int -- Defined in ‛GHC.Real’ -instance Num Int -- Defined in ‛GHC.Num’ -instance Ord Int -- Defined in ‛GHC.Classes’ -instance Read Int -- Defined in ‛GHC.Read’ -instance Real Int -- Defined in ‛GHC.Real’ -instance Show Int -- Defined in ‛GHC.Show’ +data Int = GHC.Types.I# GHC.Prim.Int# -- Defined in ‘GHC.Types’ +instance Bounded Int -- Defined in ‘GHC.Enum’ +instance Enum Int -- Defined in ‘GHC.Enum’ +instance Eq Int -- Defined in ‘GHC.Classes’ +instance Integral Int -- Defined in ‘GHC.Real’ +instance Num Int -- Defined in ‘GHC.Num’ +instance Ord Int -- Defined in ‘GHC.Classes’ +instance Read Int -- Defined in ‘GHC.Read’ +instance Real Int -- Defined in ‘GHC.Real’ +instance Show Int -- Defined in ‘GHC.Show’ diff --git a/testsuite/tests/ghci/scripts/T8485.stderr b/testsuite/tests/ghci/scripts/T8485.stderr index 1731cbd2d6..66358826c0 100644 --- a/testsuite/tests/ghci/scripts/T8485.stderr +++ b/testsuite/tests/ghci/scripts/T8485.stderr @@ -1,4 +1,4 @@ <interactive>:3:1: Role annotation for a type previously declared: type role X nominal - (The role annotation must be given where ‛X’ is declared.) + (The role annotation must be given where ‘X’ is declared.) diff --git a/testsuite/tests/ghci/scripts/T8535.stdout b/testsuite/tests/ghci/scripts/T8535.stdout index dbc88e18da..69efa29fc0 100644 --- a/testsuite/tests/ghci/scripts/T8535.stdout +++ b/testsuite/tests/ghci/scripts/T8535.stdout @@ -1,4 +1,4 @@ -data (->) a b -- Defined in ‛GHC.Prim’ -instance Monad ((->) r) -- Defined in ‛GHC.Base’ -instance Functor ((->) r) -- Defined in ‛GHC.Base’ -instance Monoid b => Monoid (a -> b) -- Defined in ‛Data.Monoid’ +data (->) a b -- Defined in ‘GHC.Prim’ +instance Monad ((->) r) -- Defined in ‘GHC.Base’ +instance Functor ((->) r) -- Defined in ‘GHC.Base’ +instance Monoid b => Monoid (a -> b) -- Defined in ‘Data.Monoid’ diff --git a/testsuite/tests/ghci/scripts/T8639.stderr b/testsuite/tests/ghci/scripts/T8639.stderr index ca52a89a57..2c63d731b1 100644 --- a/testsuite/tests/ghci/scripts/T8639.stderr +++ b/testsuite/tests/ghci/scripts/T8639.stderr @@ -1,4 +1,4 @@ <interactive>:1:1: - Not in scope: ‛H.bit’ - Perhaps you meant ‛Q.bit’ (imported from T8639) + Not in scope: ‘H.bit’ + Perhaps you meant ‘Q.bit’ (imported from T8639) diff --git a/testsuite/tests/ghci/scripts/T8649.stderr b/testsuite/tests/ghci/scripts/T8649.stderr index 2bd4584549..1fe41defdc 100644 --- a/testsuite/tests/ghci/scripts/T8649.stderr +++ b/testsuite/tests/ghci/scripts/T8649.stderr @@ -1,8 +1,8 @@ <interactive>:5:4: - Couldn't match expected type ‛Ghci1.X’ - with actual type ‛X’ - NB: ‛Ghci1.X’ is defined at <interactive>:2:1-14 - ‛X’ is defined at <interactive>:4:1-25 - In the first argument of ‛f’, namely ‛(Y 3)’ + Couldn't match expected type ‘Ghci1.X’ + with actual type ‘X’ + NB: ‘Ghci1.X’ is defined at <interactive>:2:1-14 + ‘X’ is defined at <interactive>:4:1-25 + In the first argument of ‘f’, namely ‘(Y 3)’ In the expression: f (Y 3) diff --git a/testsuite/tests/ghci/scripts/ghci008.stdout b/testsuite/tests/ghci/scripts/ghci008.stdout index 9eaf1dc961..f0a3f19a9c 100644 --- a/testsuite/tests/ghci/scripts/ghci008.stdout +++ b/testsuite/tests/ghci/scripts/ghci008.stdout @@ -1,18 +1,18 @@ class Num a where (+) :: a -> a -> a ... - -- Defined in ‛GHC.Num’ + -- Defined in ‘GHC.Num’ infixl 6 + class Num a where (+) :: a -> a -> a ... - -- Defined in ‛GHC.Num’ + -- Defined in ‘GHC.Num’ infixl 6 + data Data.Complex.Complex a = !a Data.Complex.:+ !a - -- Defined in ‛Data.Complex’ + -- Defined in ‘Data.Complex’ infix 6 Data.Complex.:+ data Data.Complex.Complex a = !a Data.Complex.:+ !a - -- Defined in ‛Data.Complex’ + -- Defined in ‘Data.Complex’ infix 6 Data.Complex.:+ class (RealFrac a, Floating a) => RealFloat a where floatRadix :: a -> Integer @@ -29,8 +29,8 @@ class (RealFrac a, Floating a) => RealFloat a where isNegativeZero :: a -> Bool isIEEE :: a -> Bool atan2 :: a -> a -> a - -- Defined in ‛GHC.Float’ -instance RealFloat Float -- Defined in ‛GHC.Float’ -instance RealFloat Double -- Defined in ‛GHC.Float’ + -- Defined in ‘GHC.Float’ +instance RealFloat Float -- Defined in ‘GHC.Float’ +instance RealFloat Double -- Defined in ‘GHC.Float’ Data.List.isPrefixOf :: Eq a => [a] -> [a] -> Bool - -- Defined in ‛Data.List’ + -- Defined in ‘Data.List’ diff --git a/testsuite/tests/ghci/scripts/ghci011.stdout b/testsuite/tests/ghci/scripts/ghci011.stdout index 540572ea81..239ec07800 100644 --- a/testsuite/tests/ghci/scripts/ghci011.stdout +++ b/testsuite/tests/ghci/scripts/ghci011.stdout @@ -1,22 +1,22 @@ -data [] a = [] | a : [a] -- Defined in ‛GHC.Types’ -instance Eq a => Eq [a] -- Defined in ‛GHC.Classes’ -instance Monad [] -- Defined in ‛GHC.Base’ -instance Functor [] -- Defined in ‛GHC.Base’ -instance Ord a => Ord [a] -- Defined in ‛GHC.Classes’ -instance Read a => Read [a] -- Defined in ‛GHC.Read’ -instance Show a => Show [a] -- Defined in ‛GHC.Show’ -data () = () -- Defined in ‛GHC.Tuple’ -instance Bounded () -- Defined in ‛GHC.Enum’ -instance Enum () -- Defined in ‛GHC.Enum’ -instance Eq () -- Defined in ‛GHC.Classes’ -instance Ord () -- Defined in ‛GHC.Classes’ -instance Read () -- Defined in ‛GHC.Read’ -instance Show () -- Defined in ‛GHC.Show’ -data (,) a b = (,) a b -- Defined in ‛GHC.Tuple’ +data [] a = [] | a : [a] -- Defined in ‘GHC.Types’ +instance Eq a => Eq [a] -- Defined in ‘GHC.Classes’ +instance Monad [] -- Defined in ‘GHC.Base’ +instance Functor [] -- Defined in ‘GHC.Base’ +instance Ord a => Ord [a] -- Defined in ‘GHC.Classes’ +instance Read a => Read [a] -- Defined in ‘GHC.Read’ +instance Show a => Show [a] -- Defined in ‘GHC.Show’ +data () = () -- Defined in ‘GHC.Tuple’ +instance Bounded () -- Defined in ‘GHC.Enum’ +instance Enum () -- Defined in ‘GHC.Enum’ +instance Eq () -- Defined in ‘GHC.Classes’ +instance Ord () -- Defined in ‘GHC.Classes’ +instance Read () -- Defined in ‘GHC.Read’ +instance Show () -- Defined in ‘GHC.Show’ +data (,) a b = (,) a b -- Defined in ‘GHC.Tuple’ instance (Bounded a, Bounded b) => Bounded (a, b) - -- Defined in ‛GHC.Enum’ -instance (Eq a, Eq b) => Eq (a, b) -- Defined in ‛GHC.Classes’ -instance Functor ((,) a) -- Defined in ‛GHC.Base’ -instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‛GHC.Classes’ -instance (Read a, Read b) => Read (a, b) -- Defined in ‛GHC.Read’ -instance (Show a, Show b) => Show (a, b) -- Defined in ‛GHC.Show’ + -- Defined in ‘GHC.Enum’ +instance (Eq a, Eq b) => Eq (a, b) -- Defined in ‘GHC.Classes’ +instance Functor ((,) a) -- Defined in ‘GHC.Base’ +instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‘GHC.Classes’ +instance (Read a, Read b) => Read (a, b) -- Defined in ‘GHC.Read’ +instance (Show a, Show b) => Show (a, b) -- Defined in ‘GHC.Show’ diff --git a/testsuite/tests/ghci/scripts/ghci019.stderr b/testsuite/tests/ghci/scripts/ghci019.stderr index 4c4ae6afc4..de8c7f0901 100644 --- a/testsuite/tests/ghci/scripts/ghci019.stderr +++ b/testsuite/tests/ghci/scripts/ghci019.stderr @@ -1,5 +1,5 @@ ghci019.hs:9:10: Warning: No explicit implementation for - either ‛Prelude.==’ or ‛Prelude./=’ - In the instance declaration for ‛Prelude.Eq Foo’ + either ‘Prelude.==’ or ‘Prelude./=’ + In the instance declaration for ‘Prelude.Eq Foo’ diff --git a/testsuite/tests/ghci/scripts/ghci020.stdout b/testsuite/tests/ghci/scripts/ghci020.stdout index 6d621d3c1d..700a212651 100644 --- a/testsuite/tests/ghci/scripts/ghci020.stdout +++ b/testsuite/tests/ghci/scripts/ghci020.stdout @@ -1,3 +1,3 @@ -data (->) a b -- Defined in ‛GHC.Prim’ -instance Monad ((->) r) -- Defined in ‛GHC.Base’ -instance Functor ((->) r) -- Defined in ‛GHC.Base’ +data (->) a b -- Defined in ‘GHC.Prim’ +instance Monad ((->) r) -- Defined in ‘GHC.Base’ +instance Functor ((->) r) -- Defined in ‘GHC.Base’ diff --git a/testsuite/tests/ghci/scripts/ghci021.stderr b/testsuite/tests/ghci/scripts/ghci021.stderr index 18216b8f18..ea7488174e 100644 --- a/testsuite/tests/ghci/scripts/ghci021.stderr +++ b/testsuite/tests/ghci/scripts/ghci021.stderr @@ -1,2 +1,2 @@ -<no location info>: no such module: ‛ThisDoesNotExist’ +<no location info>: no such module: ‘ThisDoesNotExist’ diff --git a/testsuite/tests/ghci/scripts/ghci034.stderr b/testsuite/tests/ghci/scripts/ghci034.stderr index 00bf3dfb67..1983b7dd7e 100644 --- a/testsuite/tests/ghci/scripts/ghci034.stderr +++ b/testsuite/tests/ghci/scripts/ghci034.stderr @@ -1,2 +1,2 @@ -Top level: Not in scope: ‛thisIsNotDefined’ +Top level: Not in scope: ‘thisIsNotDefined’ diff --git a/testsuite/tests/ghci/scripts/ghci036.stderr b/testsuite/tests/ghci/scripts/ghci036.stderr index e15b1959ac..7e1ac73e10 100644 --- a/testsuite/tests/ghci/scripts/ghci036.stderr +++ b/testsuite/tests/ghci/scripts/ghci036.stderr @@ -1,16 +1,16 @@ -<interactive>:1:1: Not in scope: ‛nubBy’ +<interactive>:1:1: Not in scope: ‘nubBy’ -<interactive>:1:1: Not in scope: ‛nub’ +<interactive>:1:1: Not in scope: ‘nub’ -<interactive>:1:1: Not in scope: ‛nubBy’ +<interactive>:1:1: Not in scope: ‘nubBy’ -<interactive>:1:1: Not in scope: ‛nub’ +<interactive>:1:1: Not in scope: ‘nub’ <interactive>:1:1: - Not in scope: ‛nub’ - Perhaps you meant ‛L.nub’ (imported from Data.List) + Not in scope: ‘nub’ + Perhaps you meant ‘L.nub’ (imported from Data.List) -<interactive>:1:1: Not in scope: ‛L.nub’ +<interactive>:1:1: Not in scope: ‘L.nub’ -<interactive>:1:1: Not in scope: ‛nub’ +<interactive>:1:1: Not in scope: ‘nub’ diff --git a/testsuite/tests/ghci/scripts/ghci038.stderr b/testsuite/tests/ghci/scripts/ghci038.stderr index bb2fb850c8..d0b562726c 100644 --- a/testsuite/tests/ghci/scripts/ghci038.stderr +++ b/testsuite/tests/ghci/scripts/ghci038.stderr @@ -1,4 +1,4 @@ -<interactive>:1:1: Not in scope: ‛map’ +<interactive>:1:1: Not in scope: ‘map’ -<interactive>:1:1: Not in scope: ‛x’ +<interactive>:1:1: Not in scope: ‘x’ diff --git a/testsuite/tests/ghci/scripts/ghci044.stderr b/testsuite/tests/ghci/scripts/ghci044.stderr index 173e39aca4..c319dd1f1c 100644 --- a/testsuite/tests/ghci/scripts/ghci044.stderr +++ b/testsuite/tests/ghci/scripts/ghci044.stderr @@ -1,11 +1,11 @@ <interactive>:5:10: - Illegal instance declaration for ‛C [Int]’ + Illegal instance declaration for ‘C [Int]’ (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use FlexibleInstances if you want to disable this.) - In the instance declaration for ‛C [Int]’ + In the instance declaration for ‘C [Int]’ <interactive>:7:10: Overlapping instance declarations: diff --git a/testsuite/tests/ghci/scripts/ghci047.stderr b/testsuite/tests/ghci/scripts/ghci047.stderr index c888b0492c..dc8dfc9ecb 100644 --- a/testsuite/tests/ghci/scripts/ghci047.stderr +++ b/testsuite/tests/ghci/scripts/ghci047.stderr @@ -1,16 +1,16 @@ <interactive>:38:1: - Couldn't match type ‛HFalse’ with ‛HTrue’ + Couldn't match type ‘HFalse’ with ‘HTrue’ Expected type: HTrue Actual type: Or HFalse HFalse In the expression: f In the expression: f $ Baz 'a' - In an equation for ‛it’: it = f $ Baz 'a' + In an equation for ‘it’: it = f $ Baz 'a' <interactive>:39:1: - Couldn't match type ‛HFalse’ with ‛HTrue’ + Couldn't match type ‘HFalse’ with ‘HTrue’ Expected type: HTrue Actual type: Or HFalse HFalse In the expression: f In the expression: f $ Quz - In an equation for ‛it’: it = f $ Quz + In an equation for ‘it’: it = f $ Quz diff --git a/testsuite/tests/ghci/scripts/ghci048.stderr b/testsuite/tests/ghci/scripts/ghci048.stderr index 3809db88e2..1b96e5da07 100644 --- a/testsuite/tests/ghci/scripts/ghci048.stderr +++ b/testsuite/tests/ghci/scripts/ghci048.stderr @@ -1,10 +1,10 @@ <interactive>:4:16: - Multiple declarations of ‛A’ + Multiple declarations of ‘A’ Declared at: <interactive>:4:12 <interactive>:4:16 <interactive>:6:16: - Multiple declarations of ‛A’ + Multiple declarations of ‘A’ Declared at: <interactive>:6:12 <interactive>:6:16 diff --git a/testsuite/tests/ghci/scripts/ghci050.stderr b/testsuite/tests/ghci/scripts/ghci050.stderr index 191bf3cf6e..4c8de9da4e 100644 --- a/testsuite/tests/ghci/scripts/ghci050.stderr +++ b/testsuite/tests/ghci/scripts/ghci050.stderr @@ -1,8 +1,8 @@ <interactive>:6:49: - Couldn't match expected type ‛ListableElem (a, a)’ - with actual type ‛a’ - ‛a’ is a rigid type variable bound by + Couldn't match expected type ‘ListableElem (a, a)’ + with actual type ‘a’ + ‘a’ is a rigid type variable bound by the instance declaration at <interactive>:6:10 Relevant bindings include b :: a (bound at <interactive>:6:43) diff --git a/testsuite/tests/ghci/scripts/ghci051.stderr b/testsuite/tests/ghci/scripts/ghci051.stderr index 363eeb11f6..327188f42a 100644 --- a/testsuite/tests/ghci/scripts/ghci051.stderr +++ b/testsuite/tests/ghci/scripts/ghci051.stderr @@ -1,10 +1,10 @@ <interactive>:7:9: - Couldn't match type ‛T’ - with ‛Ghci1.T’ - NB: ‛T’ is defined at <interactive>:6:1-16 - ‛Ghci1.T’ is defined at <interactive>:3:1-14 + Couldn't match type ‘T’ + with ‘Ghci1.T’ + NB: ‘T’ is defined at <interactive>:6:1-16 + ‘Ghci1.T’ is defined at <interactive>:3:1-14 Expected type: T' Actual type: T In the expression: C :: T' - In an equation for ‛c’: c = C :: T' + In an equation for ‘c’: c = C :: T' diff --git a/testsuite/tests/ghci/scripts/ghci052.stderr b/testsuite/tests/ghci/scripts/ghci052.stderr index a653ea0cdd..b2b0c7613b 100644 --- a/testsuite/tests/ghci/scripts/ghci052.stderr +++ b/testsuite/tests/ghci/scripts/ghci052.stderr @@ -1,32 +1,32 @@ <interactive>:9:4: - Couldn't match expected type ‛Ghci1.Planet’ - with actual type ‛Planet’ - NB: ‛Ghci1.Planet’ is defined at <interactive>:5:1-37 - ‛Planet’ is defined at <interactive>:8:1-36 - In the first argument of ‛pn’, namely ‛Mercury’ + Couldn't match expected type ‘Ghci1.Planet’ + with actual type ‘Planet’ + NB: ‘Ghci1.Planet’ is defined at <interactive>:5:1-37 + ‘Planet’ is defined at <interactive>:8:1-36 + In the first argument of ‘pn’, namely ‘Mercury’ In the expression: pn Mercury <interactive>:10:4: - Couldn't match expected type ‛Ghci1.Planet’ - with actual type ‛Planet’ - NB: ‛Ghci1.Planet’ is defined at <interactive>:5:1-37 - ‛Planet’ is defined at <interactive>:8:1-36 - In the first argument of ‛pn’, namely ‛Venus’ + Couldn't match expected type ‘Ghci1.Planet’ + with actual type ‘Planet’ + NB: ‘Ghci1.Planet’ is defined at <interactive>:5:1-37 + ‘Planet’ is defined at <interactive>:8:1-36 + In the first argument of ‘pn’, namely ‘Venus’ In the expression: pn Venus <interactive>:11:4: - Couldn't match expected type ‛Ghci1.Planet’ - with actual type ‛Planet’ - NB: ‛Ghci1.Planet’ is defined at <interactive>:5:1-37 - ‛Planet’ is defined at <interactive>:8:1-36 - In the first argument of ‛pn’, namely ‛Mars’ + Couldn't match expected type ‘Ghci1.Planet’ + with actual type ‘Planet’ + NB: ‘Ghci1.Planet’ is defined at <interactive>:5:1-37 + ‘Planet’ is defined at <interactive>:8:1-36 + In the first argument of ‘pn’, namely ‘Mars’ In the expression: pn Mars <interactive>:13:44: - Couldn't match expected type ‛Planet’ - with actual type ‛Ghci1.Planet’ - NB: ‛Planet’ is defined at <interactive>:8:1-36 - ‛Ghci1.Planet’ is defined at <interactive>:5:1-37 + Couldn't match expected type ‘Planet’ + with actual type ‘Ghci1.Planet’ + NB: ‘Planet’ is defined at <interactive>:8:1-36 + ‘Ghci1.Planet’ is defined at <interactive>:5:1-37 In the pattern: Earth - In an equation for ‛pn’: pn Earth = "E" + In an equation for ‘pn’: pn Earth = "E" diff --git a/testsuite/tests/ghci/scripts/ghci053.stderr b/testsuite/tests/ghci/scripts/ghci053.stderr index 6ea05924d9..2d91a51d21 100644 --- a/testsuite/tests/ghci/scripts/ghci053.stderr +++ b/testsuite/tests/ghci/scripts/ghci053.stderr @@ -1,16 +1,16 @@ <interactive>:10:12: - Couldn't match expected type ‛Ghci1.Planet’ - with actual type ‛Planet’ - NB: ‛Ghci1.Planet’ is defined at <interactive>:5:1-49 - ‛Planet’ is defined at <interactive>:8:1-41 - In the second argument of ‛(==)’, namely ‛Mercury’ + Couldn't match expected type ‘Ghci1.Planet’ + with actual type ‘Planet’ + NB: ‘Ghci1.Planet’ is defined at <interactive>:5:1-49 + ‘Planet’ is defined at <interactive>:8:1-41 + In the second argument of ‘(==)’, namely ‘Mercury’ In the expression: mercury == Mercury <interactive>:12:10: - Couldn't match expected type ‛Planet’ - with actual type ‛Ghci1.Planet’ - NB: ‛Planet’ is defined at <interactive>:8:1-41 - ‛Ghci1.Planet’ is defined at <interactive>:5:1-49 - In the second argument of ‛(==)’, namely ‛Earth’ + Couldn't match expected type ‘Planet’ + with actual type ‘Ghci1.Planet’ + NB: ‘Planet’ is defined at <interactive>:8:1-41 + ‘Ghci1.Planet’ is defined at <interactive>:5:1-49 + In the second argument of ‘(==)’, namely ‘Earth’ In the expression: Venus == Earth diff --git a/testsuite/tests/ghci/scripts/ghci057.stderr b/testsuite/tests/ghci/scripts/ghci057.stderr index e26f15e1a9..089704d9b4 100644 --- a/testsuite/tests/ghci/scripts/ghci057.stderr +++ b/testsuite/tests/ghci/scripts/ghci057.stderr @@ -1,19 +1,19 @@ <interactive>:5:1: - Illegal generalised algebraic data declaration for ‛T’ + Illegal generalised algebraic data declaration for ‘T’ (Use GADTs to allow GADTs) - In the data declaration for ‛T’ + In the data declaration for ‘T’ ghci057.hs:3:3: - Data constructor ‛C’ has existential type variables, a context, or a specialised result type + Data constructor ‘C’ has existential type variables, a context, or a specialised result type C :: T Int (Use ExistentialQuantification or GADTs to allow this) - In the definition of data constructor ‛C’ - In the data declaration for ‛T’ + In the definition of data constructor ‘C’ + In the data declaration for ‘T’ ghci057.hs:3:3: - Data constructor ‛C’ has existential type variables, a context, or a specialised result type + Data constructor ‘C’ has existential type variables, a context, or a specialised result type C :: T Int (Use ExistentialQuantification or GADTs to allow this) - In the definition of data constructor ‛C’ - In the data declaration for ‛T’ + In the definition of data constructor ‘C’ + In the data declaration for ‘T’ |