summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T16804.stdout
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts/T16804.stdout')
-rw-r--r--testsuite/tests/ghci/scripts/T16804.stdout940
1 files changed, 794 insertions, 146 deletions
diff --git a/testsuite/tests/ghci/scripts/T16804.stdout b/testsuite/tests/ghci/scripts/T16804.stdout
index a02f32e784..897a42e48a 100644
--- a/testsuite/tests/ghci/scripts/T16804.stdout
+++ b/testsuite/tests/ghci/scripts/T16804.stdout
@@ -1,196 +1,844 @@
-Collecting type info for 2 module(s) ...
-1 module T16804a where
- 1234567890
- 1234567890
- 1234567890
- 1234567890
-input: :type-at T16804a.hs 1 8 1 14 undefined
+Collecting type info for 3 module(s) ...
+
+% executing: ":type-at T16804a.hs 1 8 1 14 undefined"
+% file snippet:
+> module T16804a where
+% ^~~~~~^
+>
+% output:
undefined :: forall a. a
-input: :uses T16804a.hs 1 8 1 14
-2
-3 import Data.Monoid
- 1234567890
- 1234567890
- 1234567890
- 1234567890
-input: :type-at T16804a.hs 3 8 3 11 undefined
+
+% executing: ":uses T16804a.hs 1 8 1 14"
+% file snippet:
+> module T16804a where
+% ^~~~~~^
+>
+% output:
+
+% executing: ":type-at T16804a.hs 3 8 3 11 undefined"
+% file snippet:
+>
+> import Data.Monoid
+% ^~~^
+>
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 3 8 3 18 undefined
+
+% executing: ":type-at T16804a.hs 3 8 3 18 undefined"
+% file snippet:
+>
+> import Data.Monoid
+% ^~~~~~~~~~^
+>
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 3 13 3 18 undefined
+
+% executing: ":type-at T16804a.hs 3 13 3 18 undefined"
+% file snippet:
+>
+> import Data.Monoid
+% ^~~~~^
+>
+% output:
undefined :: forall a. a
-input: :uses T16804a.hs 3 8 3 11
-input: :uses T16804a.hs 3 8 3 18
-input: :uses T16804a.hs 3 13 3 18
-4
-5 data Test = A | B
-6 deriving (Show)
- 1234567890
- 1234567890
- 1234567890
- 1234567890
-input: :type-at T16804a.hs 5 6 5 9 undefined
+
+% executing: ":uses T16804a.hs 3 8 3 11"
+% file snippet:
+>
+> import Data.Monoid
+% ^~~^
+>
+% output:
+
+% executing: ":uses T16804a.hs 3 8 3 18"
+% file snippet:
+>
+> import Data.Monoid
+% ^~~~~~~~~~^
+>
+% output:
+
+% executing: ":uses T16804a.hs 3 13 3 18"
+% file snippet:
+>
+> import Data.Monoid
+% ^~~~~^
+>
+% output:
+
+% executing: ":type-at T16804a.hs 5 6 5 9 undefined"
+% file snippet:
+>
+> data Test = A | B
+% ^~~^
+> deriving (Show)
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 5 13 5 13 undefined
+
+% executing: ":type-at T16804a.hs 5 13 5 13 undefined"
+% file snippet:
+>
+> data Test = A | B
+% ^
+> deriving (Show)
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 5 15 5 15 undefined
+
+% executing: ":type-at T16804a.hs 5 15 5 15 undefined"
+% file snippet:
+>
+> data Test = A | B
+% ^
+> deriving (Show)
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 5 17 5 17 undefined
+
+% executing: ":type-at T16804a.hs 5 17 5 17 undefined"
+% file snippet:
+>
+> data Test = A | B
+% ^
+> deriving (Show)
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 6 13 6 16 undefined
+
+% executing: ":type-at T16804a.hs 6 13 6 16 undefined"
+% file snippet:
+> data Test = A | B
+> deriving (Show)
+% ^~~^
+> instance Monoid Test where
+% output:
undefined :: [Test] -> ShowS
-input: :uses T16804a.hs 5 6 5 9
-input: :uses T16804a.hs 5 13 5 13
-input: :uses T16804a.hs 5 15 5 15
-input: :uses T16804a.hs 5 17 5 17
-input: :uses T16804a.hs 6 13 6 16
+
+% executing: ":uses T16804a.hs 5 6 5 9"
+% file snippet:
+>
+> data Test = A | B
+% ^~~^
+> deriving (Show)
+% output:
+
+% executing: ":uses T16804a.hs 5 13 5 13"
+% file snippet:
+>
+> data Test = A | B
+% ^
+> deriving (Show)
+% output:
+
+% executing: ":uses T16804a.hs 5 15 5 15"
+% file snippet:
+>
+> data Test = A | B
+% ^
+> deriving (Show)
+% output:
+
+% executing: ":uses T16804a.hs 5 17 5 17"
+% file snippet:
+>
+> data Test = A | B
+% ^
+> deriving (Show)
+% output:
+
+% executing: ":uses T16804a.hs 6 13 6 16"
+% file snippet:
+> data Test = A | B
+> deriving (Show)
+% ^~~^
+> instance Monoid Test where
+% output:
T16804a.hs:(6,13)-(6,16)
T16804a.hs:(6,13)-(6,16)
-7 instance Monoid Test where
-8 mempty = A
-9 -- gone
-10 -- gone
- 1234567890
- 1234567890
- 1234567890
- 1234567890
-input: :type-at T16804a.hs 7 10 7 15 undefined
+
+% executing: ":type-at T16804a.hs 7 10 7 15 undefined"
+% file snippet:
+> deriving (Show)
+> instance Monoid Test where
+% ^~~~~^
+> mempty = A
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 7 17 7 20 undefined
+
+% executing: ":type-at T16804a.hs 7 17 7 20 undefined"
+% file snippet:
+> deriving (Show)
+> instance Monoid Test where
+% ^~~^
+> mempty = A
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 7 10 7 20 undefined
+
+% executing: ":type-at T16804a.hs 7 10 7 20 undefined"
+% file snippet:
+> deriving (Show)
+> instance Monoid Test where
+% ^~~~~~~~~~^
+> mempty = A
+% output:
undefined :: [Test] -> Test
-input: :type-at T16804a.hs 8 3 8 8 undefined
+
+% executing: ":type-at T16804a.hs 8 3 8 8 undefined"
+% file snippet:
+> instance Monoid Test where
+> mempty = A
+% ^~~~~^
+> -- empty for linenumbers in T16804 to be correct
+% output:
undefined :: Test
-input: :type-at T16804a.hs 8 12 8 12 undefined
+
+% executing: ":type-at T16804a.hs 8 12 8 12 undefined"
+% file snippet:
+> instance Monoid Test where
+> mempty = A
+% ^
+> -- empty for linenumbers in T16804 to be correct
+% output:
undefined :: Test
-input: :uses T16804a.hs 7 10 7 15
-input: :uses T16804a.hs 7 17 7 20
-input: :uses T16804a.hs 7 10 7 20
+
+% executing: ":uses T16804a.hs 7 10 7 15"
+% file snippet:
+> deriving (Show)
+> instance Monoid Test where
+% ^~~~~^
+> mempty = A
+% output:
+
+% executing: ":uses T16804a.hs 7 17 7 20"
+% file snippet:
+> deriving (Show)
+> instance Monoid Test where
+% ^~~^
+> mempty = A
+% output:
+
+% executing: ":uses T16804a.hs 7 10 7 20"
+% file snippet:
+> deriving (Show)
+> instance Monoid Test where
+% ^~~~~~~~~~^
+> mempty = A
+% output:
T16804a.hs:(7,10)-(7,20)
T16804a.hs:(7,10)-(7,20)
-input: :uses T16804a.hs 8 3 8 8
+
+% executing: ":uses T16804a.hs 8 3 8 8"
+% file snippet:
+> instance Monoid Test where
+> mempty = A
+% ^~~~~^
+> -- empty for linenumbers in T16804 to be correct
+% output:
T16804a.hs:(8,3)-(8,8)
T16804a.hs:(8,3)-(8,8)
-input: :uses T16804a.hs 8 12 8 12
-11
-12 testFunction :: Test -> Test -> Bool
-13 testFunction A B = True
-14 testFunction B A = True
-15 testFunction _ _ = False
- 1234567890
- 1234567890
- 1234567890
- 1234567890
-input: :type-at T16804a.hs 12 1 12 12 undefined
+
+% executing: ":uses T16804a.hs 8 12 8 12"
+% file snippet:
+> instance Monoid Test where
+> mempty = A
+% ^
+> -- empty for linenumbers in T16804 to be correct
+% output:
+
+% executing: ":type-at T16804a.hs 12 1 12 12 undefined"
+% file snippet:
+>
+> testFunction :: Test -> Test -> Bool
+% ^~~~~~~~~~~^
+> testFunction A B = True
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 13 1 13 12 undefined
+
+% executing: ":type-at T16804a.hs 13 1 13 12 undefined"
+% file snippet:
+> testFunction :: Test -> Test -> Bool
+> testFunction A B = True
+% ^~~~~~~~~~~^
+> testFunction B A = True
+% output:
undefined :: Test -> Test -> Bool
-input: :type-at T16804a.hs 13 14 13 14 undefined
+
+% executing: ":type-at T16804a.hs 13 14 13 14 undefined"
+% file snippet:
+> testFunction :: Test -> Test -> Bool
+> testFunction A B = True
+% ^
+> testFunction B A = True
+% output:
undefined :: Test
-input: :type-at T16804a.hs 13 16 13 16 undefined
+
+% executing: ":type-at T16804a.hs 13 16 13 16 undefined"
+% file snippet:
+> testFunction :: Test -> Test -> Bool
+> testFunction A B = True
+% ^
+> testFunction B A = True
+% output:
undefined :: Test
-input: :type-at T16804a.hs 15 16 15 16 undefined
+
+% executing: ":type-at T16804a.hs 15 16 15 16 undefined"
+% file snippet:
+> testFunction B A = True
+> testFunction _ _ = False
+% ^
+>
+% output:
undefined :: Test
-input: :type-at T16804a.hs 15 20 15 24 undefined
+
+% executing: ":type-at T16804a.hs 15 20 15 24 undefined"
+% file snippet:
+> testFunction B A = True
+> testFunction _ _ = False
+% ^~~~^
+>
+% output:
undefined :: Bool
-input: :uses T16804a.hs 12 1 12 12
-input: :uses T16804a.hs 13 1 13 12
+
+% executing: ":uses T16804a.hs 12 1 12 12"
+% file snippet:
+>
+> testFunction :: Test -> Test -> Bool
+% ^~~~~~~~~~~^
+> testFunction A B = True
+% output:
+
+% executing: ":uses T16804a.hs 13 1 13 12"
+% file snippet:
+> testFunction :: Test -> Test -> Bool
+> testFunction A B = True
+% ^~~~~~~~~~~^
+> testFunction B A = True
+% output:
T16804a.hs:(13,1)-(13,12)
T16804a.hs:(13,1)-(13,12)
-input: :uses T16804a.hs 13 14 13 14
-input: :uses T16804a.hs 13 16 13 16
-input: :uses T16804a.hs 15 16 15 16
-input: :uses T16804a.hs 15 20 15 24
-16
-17 testFunction2 :: Bool -> Test
-18 testFunction2 True = A
-19 testFunction2 False = B
- 1234567890
- 1234567890
- 1234567890
- 1234567890
-input: :type-at T16804a.hs 18 15 18 18 undefined
+
+% executing: ":uses T16804a.hs 13 14 13 14"
+% file snippet:
+> testFunction :: Test -> Test -> Bool
+> testFunction A B = True
+% ^
+> testFunction B A = True
+% output:
+
+% executing: ":uses T16804a.hs 13 16 13 16"
+% file snippet:
+> testFunction :: Test -> Test -> Bool
+> testFunction A B = True
+% ^
+> testFunction B A = True
+% output:
+
+% executing: ":uses T16804a.hs 15 16 15 16"
+% file snippet:
+> testFunction B A = True
+> testFunction _ _ = False
+% ^
+>
+% output:
+
+% executing: ":uses T16804a.hs 15 20 15 24"
+% file snippet:
+> testFunction B A = True
+> testFunction _ _ = False
+% ^~~~^
+>
+% output:
+
+% executing: ":type-at T16804a.hs 18 15 18 18 undefined"
+% file snippet:
+> testFunction2 :: Bool -> Test
+> testFunction2 True = A
+% ^~~^
+> testFunction2 False = B
+% output:
undefined :: Bool
-input: :type-at T16804a.hs 18 22 18 22 undefined
-undefined :: Test
-input: :uses T16804a.hs 18 15 18 18
-input: :uses T16804a.hs 18 22 18 22
-20
-21 niceValue :: Int
-22 niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
- 1234567890
- 1234567890
- 1234567890
- 1234567890
-input: :type-at T16804a.hs 22 13 22 18 undefined
+
+% executing: ":type-at T16804a.hs 18 22 18 22 undefined"
+% file snippet:
+> testFunction2 :: Bool -> Test
+> testFunction2 True = A
+% ^
+> testFunction2 False = B
+% output:
+undefined :: Test
+
+% executing: ":uses T16804a.hs 18 15 18 18"
+% file snippet:
+> testFunction2 :: Bool -> Test
+> testFunction2 True = A
+% ^~~^
+> testFunction2 False = B
+% output:
+
+% executing: ":uses T16804a.hs 18 22 18 22"
+% file snippet:
+> testFunction2 :: Bool -> Test
+> testFunction2 True = A
+% ^
+> testFunction2 False = B
+% output:
+
+% executing: ":type-at T16804a.hs 22 13 22 18 undefined"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^~~~~^
+>
+% output:
undefined :: Sum Int -> Int
-input: :type-at T16804a.hs 22 21 22 23 undefined
+
+% executing: ":type-at T16804a.hs 22 21 22 23 undefined"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^~^
+>
+% output:
undefined :: Int -> Sum Int
-input: :type-at T16804a.hs 22 25 22 25 undefined
+
+% executing: ":type-at T16804a.hs 22 25 22 25 undefined"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^
+>
+% output:
undefined :: Int
-input: :type-at T16804a.hs 22 21 22 25 undefined
+
+% executing: ":type-at T16804a.hs 22 21 22 25 undefined"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^~~~^
+>
+% output:
undefined :: Sum Int
-input: :type-at T16804a.hs 22 27 22 28 undefined
+
+% executing: ":type-at T16804a.hs 22 27 22 28 undefined"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^^
+>
+% output:
undefined :: Sum Int -> Sum Int -> Sum Int
-input: :uses T16804a.hs 22 13 22 18
-input: :uses T16804a.hs 22 21 22 23
-input: :uses T16804a.hs 22 25 22 25
-input: :uses T16804a.hs 22 21 22 25
-input: :uses T16804a.hs 22 27 22 28
-23
-24 niceValue2 :: Test
-25 niceValue2 = A <> A <> A <> B <> A <> mempty
- 1234567890
- 1234567890
- 1234567890
- 1234567890
-input: :type-at T16804a.hs 25 14 25 14 undefined
-undefined :: Test
-input: :type-at T16804a.hs 25 16 25 17 undefined
+
+% executing: ":uses T16804a.hs 22 13 22 18"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^~~~~^
+>
+% output:
+
+% executing: ":uses T16804a.hs 22 21 22 23"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^~^
+>
+% output:
+
+% executing: ":uses T16804a.hs 22 25 22 25"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^
+>
+% output:
+
+% executing: ":uses T16804a.hs 22 21 22 25"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^~~~^
+>
+% output:
+
+% executing: ":uses T16804a.hs 22 27 22 28"
+% file snippet:
+> niceValue :: Int
+> niceValue = getSum (Sum 1 <> Sum 2 <> mempty)
+% ^^
+>
+% output:
+
+% executing: ":type-at T16804a.hs 25 14 25 14 undefined"
+% file snippet:
+> niceValue2 :: Test
+> niceValue2 = A <> A <> A <> B <> A <> mempty
+% ^
+>
+% output:
+undefined :: Test
+
+% executing: ":type-at T16804a.hs 25 16 25 17 undefined"
+% file snippet:
+> niceValue2 :: Test
+> niceValue2 = A <> A <> A <> B <> A <> mempty
+% ^^
+>
+% output:
undefined :: Test -> Test -> Test
-input: :type-at T16804a.hs 25 39 25 44 undefined
-undefined :: Test
-input: :uses T16804a.hs 25 14 25 14
-input: :uses T16804a.hs 25 16 25 17
-input: :uses T16804a.hs 25 39 25 44
-26
-27 instance Semigroup Test where
-28 A <> val = val
-29 B <> _ = B
- 1234567890
- 1234567890
- 1234567890
- 1234567890
-input: :type-at T16804a.hs 28 3 28 3 undefined
-undefined :: Test
-input: :type-at T16804a.hs 28 5 28 6 undefined
+
+% executing: ":type-at T16804a.hs 25 39 25 44 undefined"
+% file snippet:
+> niceValue2 :: Test
+> niceValue2 = A <> A <> A <> B <> A <> mempty
+% ^~~~~^
+>
+% output:
+undefined :: Test
+
+% executing: ":uses T16804a.hs 25 14 25 14"
+% file snippet:
+> niceValue2 :: Test
+> niceValue2 = A <> A <> A <> B <> A <> mempty
+% ^
+>
+% output:
+
+% executing: ":uses T16804a.hs 25 16 25 17"
+% file snippet:
+> niceValue2 :: Test
+> niceValue2 = A <> A <> A <> B <> A <> mempty
+% ^^
+>
+% output:
+
+% executing: ":uses T16804a.hs 25 39 25 44"
+% file snippet:
+> niceValue2 :: Test
+> niceValue2 = A <> A <> A <> B <> A <> mempty
+% ^~~~~^
+>
+% output:
+
+% executing: ":type-at T16804a.hs 28 3 28 3 undefined"
+% file snippet:
+> instance Semigroup Test where
+> A <> val = val
+% ^
+> B <> _ = B
+% output:
+undefined :: Test
+
+% executing: ":type-at T16804a.hs 28 5 28 6 undefined"
+% file snippet:
+> instance Semigroup Test where
+> A <> val = val
+% ^^
+> B <> _ = B
+% output:
undefined :: Test -> Test -> Test
-input: :type-at T16804a.hs 28 8 28 10 undefined
+
+% executing: ":type-at T16804a.hs 28 8 28 10 undefined"
+% file snippet:
+> instance Semigroup Test where
+> A <> val = val
+% ^~^
+> B <> _ = B
+% output:
undefined :: Test
-input: :type-at T16804a.hs 28 14 28 16 undefined
+
+% executing: ":type-at T16804a.hs 28 14 28 16 undefined"
+% file snippet:
+> instance Semigroup Test where
+> A <> val = val
+% ^~^
+> B <> _ = B
+% output:
undefined :: Test
-input: :type-at T16804a.hs 29 3 29 3 undefined
+
+% executing: ":type-at T16804a.hs 29 3 29 3 undefined"
+% file snippet:
+> A <> val = val
+> B <> _ = B
+% ^
+% output:
undefined :: Test
-input: :type-at T16804a.hs 29 5 29 6 undefined
+
+% executing: ":type-at T16804a.hs 29 5 29 6 undefined"
+% file snippet:
+> A <> val = val
+> B <> _ = B
+% ^^
+% output:
undefined :: forall a. a
-input: :type-at T16804a.hs 29 8 29 8 undefined
+
+% executing: ":type-at T16804a.hs 29 8 29 8 undefined"
+% file snippet:
+> A <> val = val
+> B <> _ = B
+% ^
+% output:
undefined :: Test
-input: :type-at T16804a.hs 29 14 29 14 undefined
+
+% executing: ":type-at T16804a.hs 29 14 29 14 undefined"
+% file snippet:
+> A <> val = val
+> B <> _ = B
+% ^
+% output:
undefined :: Test
-input: :uses T16804a.hs 28 3 28 3
-input: :uses T16804a.hs 28 5 28 6
+
+% executing: ":uses T16804a.hs 28 3 28 3"
+% file snippet:
+> instance Semigroup Test where
+> A <> val = val
+% ^
+> B <> _ = B
+% output:
+
+% executing: ":uses T16804a.hs 28 5 28 6"
+% file snippet:
+> instance Semigroup Test where
+> A <> val = val
+% ^^
+> B <> _ = B
+% output:
T16804a.hs:(28,5)-(28,6)
T16804a.hs:(28,5)-(28,6)
-input: :uses T16804a.hs 28 8 28 10
+
+% executing: ":uses T16804a.hs 28 8 28 10"
+% file snippet:
+> instance Semigroup Test where
+> A <> val = val
+% ^~^
+> B <> _ = B
+% output:
T16804a.hs:(28,8)-(28,10)
T16804a.hs:(28,14)-(28,16)
T16804a.hs:(28,8)-(28,10)
-input: :uses T16804a.hs 28 14 28 16
+
+% executing: ":uses T16804a.hs 28 14 28 16"
+% file snippet:
+> instance Semigroup Test where
+> A <> val = val
+% ^~^
+> B <> _ = B
+% output:
T16804a.hs:(28,8)-(28,10)
T16804a.hs:(28,14)-(28,16)
T16804a.hs:(28,8)-(28,10)
-input: :uses T16804a.hs 29 3 29 3
-input: :uses T16804a.hs 29 5 29 6
-input: :uses T16804a.hs 29 8 29 8
-input: :uses T16804a.hs 29 14 29 14
+
+% executing: ":uses T16804a.hs 29 3 29 3"
+% file snippet:
+> A <> val = val
+> B <> _ = B
+% ^
+% output:
+
+% executing: ":uses T16804a.hs 29 5 29 6"
+% file snippet:
+> A <> val = val
+> B <> _ = B
+% ^^
+% output:
+
+% executing: ":uses T16804a.hs 29 8 29 8"
+% file snippet:
+> A <> val = val
+> B <> _ = B
+% ^
+% output:
+
+% executing: ":uses T16804a.hs 29 14 29 14"
+% file snippet:
+> A <> val = val
+> B <> _ = B
+% ^
+% output:
+
+% executing: ":type-at T16804b.hs 7 10 7 21 undefined"
+% file snippet:
+> printStuff = do
+> print (testFunction A A)
+% ^~~~~~~~~~~^
+> print (testFunction2 True)
+% output:
+undefined :: Test -> Test -> Bool
+
+% executing: ":type-at T16804b.hs 7 10 7 23 undefined"
+% file snippet:
+> printStuff = do
+> print (testFunction A A)
+% ^~~~~~~~~~~~~^
+> print (testFunction2 True)
+% output:
+undefined :: Test -> Bool
+
+% executing: ":type-at T16804b.hs 7 10 7 25 undefined"
+% file snippet:
+> printStuff = do
+> print (testFunction A A)
+% ^~~~~~~~~~~~~~~^
+> print (testFunction2 True)
+% output:
+undefined :: Bool
+
+% executing: ":type-at T16804b.hs 7 23 7 23 undefined"
+% file snippet:
+> printStuff = do
+> print (testFunction A A)
+% ^
+> print (testFunction2 True)
+% output:
+undefined :: Test
+
+% executing: ":uses T16804b.hs 7 10 7 21"
+% file snippet:
+> printStuff = do
+> print (testFunction A A)
+% ^~~~~~~~~~~^
+> print (testFunction2 True)
+% output:
+T16804a.hs:(13,1)-(13,12)
+T16804b.hs:(7,10)-(7,21)
+
+% executing: ":uses T16804b.hs 7 10 7 25"
+% file snippet:
+> printStuff = do
+> print (testFunction A A)
+% ^~~~~~~~~~~~~~~^
+> print (testFunction2 True)
+% output:
+T16804a.hs:(13,1)-(13,12)
+T16804b.hs:(7,10)-(7,21)
+
+% executing: ":uses T16804b.hs 7 23 7 23"
+% file snippet:
+> printStuff = do
+> print (testFunction A A)
+% ^
+> print (testFunction2 True)
+% output:
+
+% executing: ":type-at T16804b.hs 8 10 8 22 undefined"
+% file snippet:
+> print (testFunction A A)
+> print (testFunction2 True)
+% ^~~~~~~~~~~~^
+> print (testFunction2 False)
+% output:
+undefined :: Bool -> Test
+
+% executing: ":type-at T16804b.hs 8 10 8 27 undefined"
+% file snippet:
+> print (testFunction A A)
+> print (testFunction2 True)
+% ^~~~~~~~~~~~~~~~~^
+> print (testFunction2 False)
+% output:
+undefined :: Test
+
+% executing: ":type-at T16804b.hs 10 9 10 17 undefined"
+% file snippet:
+> print (testFunction2 False)
+> print niceValue
+% ^~~~~~~~^
+% output:
+undefined :: Int
+
+% executing: ":uses T16804b.hs 10 9 10 17"
+% file snippet:
+> print (testFunction2 False)
+> print niceValue
+% ^~~~~~~~^
+% output:
+T16804a.hs:(22,1)-(22,9)
+T16804b.hs:(10,9)-(10,17)
+
+% executing: ":uses T16804c.hs 5 1 5 1"
+% file snippet:
+>
+> a :: Test
+% ^
+> a = A
+% output:
+
+% executing: ":uses T16804c.hs 6 1 6 1"
+% file snippet:
+> a :: Test
+> a = A
+% ^
+>
+% output:
+T16804c.hs:(6,1)-(6,1)
+T16804c.hs:(6,1)-(6,1)
+
+% executing: ":uses T16804c.hs 9 12 9 14"
+% file snippet:
+> localScope :: Test -> Bool
+> localScope arg = testFunction a arg
+% ^~^
+>
+% output:
+T16804c.hs:(9,12)-(9,14)
+T16804c.hs:(9,33)-(9,35)
+T16804c.hs:(9,12)-(9,14)
+
+% executing: ":uses T16804c.hs 9 31 9 31"
+% file snippet:
+> localScope :: Test -> Bool
+> localScope arg = testFunction a arg
+% ^
+>
+% output:
+T16804c.hs:(6,1)-(6,1)
+T16804c.hs:(9,31)-(9,31)
+
+% executing: ":uses T16804c.hs 9 33 9 35"
+% file snippet:
+> localScope :: Test -> Bool
+> localScope arg = testFunction a arg
+% ^~^
+>
+% output:
+T16804c.hs:(9,12)-(9,14)
+T16804c.hs:(9,33)-(9,35)
+T16804c.hs:(9,12)-(9,14)
+
+% executing: ":uses T16804c.hs 12 13 12 13"
+% file snippet:
+> localScope2 :: Test -> Bool
+> localScope2 a = testFunction B a
+% ^
+>
+% output:
+T16804c.hs:(12,13)-(12,13)
+T16804c.hs:(12,32)-(12,32)
+T16804c.hs:(12,13)-(12,13)
+
+% executing: ":uses T16804c.hs 12 32 12 32"
+% file snippet:
+> localScope2 :: Test -> Bool
+> localScope2 a = testFunction B a
+% ^
+>
+% output:
+T16804c.hs:(12,13)-(12,13)
+T16804c.hs:(12,32)-(12,32)
+T16804c.hs:(12,13)-(12,13)
+
+% executing: ":uses T16804c.hs 15 13 15 13"
+% file snippet:
+> localScope3 :: Test -> Bool
+> localScope3 a = testFunction a A
+% ^
+% output:
+T16804c.hs:(15,13)-(15,13)
+T16804c.hs:(15,30)-(15,30)
+T16804c.hs:(15,13)-(15,13)
+
+% executing: ":uses T16804c.hs 15 30 15 30"
+% file snippet:
+> localScope3 :: Test -> Bool
+> localScope3 a = testFunction a A
+% ^
+% output:
+T16804c.hs:(15,13)-(15,13)
+T16804c.hs:(15,30)-(15,30)
+T16804c.hs:(15,13)-(15,13)
View Lorry Controller Status