diff options
Diffstat (limited to 'testsuite/tests')
43 files changed, 332 insertions, 11 deletions
diff --git a/testsuite/tests/ghci/prog009/ghci.prog009.stderr b/testsuite/tests/ghci/prog009/ghci.prog009.stderr index 484a1b9f27..e63a322c2d 100644 --- a/testsuite/tests/ghci/prog009/ghci.prog009.stderr +++ b/testsuite/tests/ghci/prog009/ghci.prog009.stderr @@ -1,7 +1,7 @@ A.hs:1:16: parse error on input `where' -<interactive>:1:1: +<interactive>:26:1: Not in scope: `yan' Perhaps you meant `tan' (imported from Prelude) diff --git a/testsuite/tests/ghci/scripts/2816.stderr b/testsuite/tests/ghci/scripts/2816.stderr index b9c60eea43..3a9e972205 100644 --- a/testsuite/tests/ghci/scripts/2816.stderr +++ b/testsuite/tests/ghci/scripts/2816.stderr @@ -1,2 +1,2 @@ -<interactive>:1:1: Not in scope: `α' +<interactive>:2:1: Not in scope: `α' diff --git a/testsuite/tests/ghci/scripts/T4127a.stderr b/testsuite/tests/ghci/scripts/T4127a.stderr index bd96443381..57fbf129ed 100644 --- a/testsuite/tests/ghci/scripts/T4127a.stderr +++ b/testsuite/tests/ghci/scripts/T4127a.stderr @@ -1,7 +1,7 @@ -
-<interactive>:1:68:
- Multiple declarations of `f'
- Declared at: <interactive>:1:32
- <interactive>:1:68
-
-<interactive>:1:108: `f' is not a (visible) method of class `Foo'
+ +<interactive>:3:68: + Multiple declarations of `f' + Declared at: <interactive>:3:32 + <interactive>:3:68 + +<interactive>:3:108: `f' is not a (visible) method of class `Foo' diff --git a/testsuite/tests/ghci/scripts/T5130.stderr b/testsuite/tests/ghci/scripts/T5130.stderr index cf9e6b40ce..b68777e594 100644 --- a/testsuite/tests/ghci/scripts/T5130.stderr +++ b/testsuite/tests/ghci/scripts/T5130.stderr @@ -1,5 +1,5 @@ -<interactive>:1:27: +<interactive>:3:27: Couldn't match type `a' with `[Char]' In the expression: "hi" In the expression: [x, "hi"] diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 980cb81268..5c96d2aeb4 100644 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -55,6 +55,23 @@ test('ghci035', normal, ghci_script, ['ghci035.script']) test('ghci036', normal, ghci_script, ['ghci036.script']) test('ghci037', req_interp, run_command, ['$MAKE -s --no-print-directory ghci037']) test('ghci038', normal, ghci_script, ['ghci038.script']) +test('ghci039', normal, ghci_script, ['ghci039.script']) +test('ghci040', normal, ghci_script, ['ghci040.script']) +test('ghci041', normal, ghci_script, ['ghci041.script']) +test('ghci042', normal, ghci_script, ['ghci042.script']) +test('ghci043', normal, ghci_script, ['ghci043.script']) +test('ghci044', normal, ghci_script, ['ghci044.script']) +test('ghci045', normal, ghci_script, ['ghci045.script']) +test('ghci046', normal, ghci_script, ['ghci046.script']) +test('ghci047', normal, ghci_script, ['ghci047.script']) +test('ghci048', normal, ghci_script, ['ghci048.script']) +test('ghci049', normal, ghci_script, ['ghci049.script']) +test('ghci050', normal, ghci_script, ['ghci050.script']) +test('ghci051', normal, ghci_script, ['ghci051.script']) +test('ghci052', normal, ghci_script, ['ghci052.script']) +test('ghci053', normal, ghci_script, ['ghci053.script']) +test('ghci054', normal, ghci_script, ['ghci054.script']) +test('ghci055', normal, ghci_script, ['ghci055.script']) test('2452', normal, ghci_script, ['2452.script']) test('T2766', normal, ghci_script, ['T2766.script']) diff --git a/testsuite/tests/ghci/scripts/ghci012.stdout b/testsuite/tests/ghci/scripts/ghci012.stdout index 32ceac8b06..407ef45dc3 100644 --- a/testsuite/tests/ghci/scripts/ghci012.stdout +++ b/testsuite/tests/ghci/scripts/ghci012.stdout @@ -1 +1 @@ -($$$) :: [b -> c] -> [b] -> [c] -- Defined at <interactive>:1:8 +($$$) :: [b -> c] -> [b] -> [c] -- Defined at <interactive>:2:8 diff --git a/testsuite/tests/ghci/scripts/ghci039.script b/testsuite/tests/ghci/scripts/ghci039.script new file mode 100644 index 0000000000..4699a80f21 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci039.script @@ -0,0 +1,3 @@ +--Basic deriving test +data T = A | B deriving Show +show A diff --git a/testsuite/tests/ghci/scripts/ghci039.stdout b/testsuite/tests/ghci/scripts/ghci039.stdout new file mode 100644 index 0000000000..d478a3df05 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci039.stdout @@ -0,0 +1 @@ +"A" diff --git a/testsuite/tests/ghci/scripts/ghci040.script b/testsuite/tests/ghci/scripts/ghci040.script new file mode 100644 index 0000000000..cecb6842d6 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci040.script @@ -0,0 +1,4 @@ +--Testing type and constructor shadowing +data T = A | B +data T = B | C +:i A diff --git a/testsuite/tests/ghci/scripts/ghci040.stdout b/testsuite/tests/ghci/scripts/ghci040.stdout new file mode 100644 index 0000000000..6ea78799b1 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci040.stdout @@ -0,0 +1,2 @@ +data main::Interactive.T = A | ... + -- Defined at <interactive>:3:10 diff --git a/testsuite/tests/ghci/scripts/ghci041.script b/testsuite/tests/ghci/scripts/ghci041.script new file mode 100644 index 0000000000..9e8a05aa62 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci041.script @@ -0,0 +1,4 @@ +--Testing more shadowing +data T = A | B +data R = A | C +:i A diff --git a/testsuite/tests/ghci/scripts/ghci041.stdout b/testsuite/tests/ghci/scripts/ghci041.stdout new file mode 100644 index 0000000000..daf48fc25d --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci041.stdout @@ -0,0 +1 @@ +data R = A | ... -- Defined at <interactive>:4:10 diff --git a/testsuite/tests/ghci/scripts/ghci042.script b/testsuite/tests/ghci/scripts/ghci042.script new file mode 100644 index 0000000000..f33d7423a1 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci042.script @@ -0,0 +1,10 @@ +--Testing record fields +data T = A {a :: Int} +:i A +:i a +let a = 3 +:i a +a +data R = B {a :: Int} +:i a +:i T diff --git a/testsuite/tests/ghci/scripts/ghci042.stdout b/testsuite/tests/ghci/scripts/ghci042.stdout new file mode 100644 index 0000000000..c6717daf0f --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci042.stdout @@ -0,0 +1,7 @@ +data T = A {...} -- Defined at <interactive>:3:10 +data T = A {a :: Int} -- Defined at <interactive>:3:13 +a :: Integer -- Defined at <interactive>:6:5 +3 +data R = B {a :: Int} -- Defined at <interactive>:9:13 +data T = A {main::Interactive.a :: Int} + -- Defined at <interactive>:3:6 diff --git a/testsuite/tests/ghci/scripts/ghci043.script b/testsuite/tests/ghci/scripts/ghci043.script new file mode 100644 index 0000000000..87f9877b9a --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci043.script @@ -0,0 +1,11 @@ +--Testing custom classes and instances as well as data type shadowing +class C a +instance C Int + +data Foo = Bar | Baz +class MyEq a where ; myeq :: a -> a -> Bool ; a `myeq` b = True +instance MyEq Foo +Bar `myeq` Baz +data Foo = Bar | Baz +instance MyEq Foo where ; a `myeq` b = False +Baz `myeq` Bar diff --git a/testsuite/tests/ghci/scripts/ghci043.stdout b/testsuite/tests/ghci/scripts/ghci043.stdout new file mode 100644 index 0000000000..1cc8b5e10d --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci043.stdout @@ -0,0 +1,2 @@ +True +False diff --git a/testsuite/tests/ghci/scripts/ghci044.script b/testsuite/tests/ghci/scripts/ghci044.script new file mode 100644 index 0000000000..7af66bb935 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci044.script @@ -0,0 +1,10 @@ +--Testing flexible and Overlapping instances +class C a where { f :: a -> Int; f _ = 3 } +instance C Int where { f = id } +instance C [Int] +:set -XFlexibleInstances +instance C [Int] +instance C a => C [a] where f xs = length xs +-- ***This should be an overlapping instances error!*** +:set -XOverlappingInstances +instance C a => C [a] where f xs = length xs diff --git a/testsuite/tests/ghci/scripts/ghci044.stderr b/testsuite/tests/ghci/scripts/ghci044.stderr new file mode 100644 index 0000000000..dfcbd10860 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci044.stderr @@ -0,0 +1,13 @@ + +<interactive>:5:10: + 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 -XFlexibleInstances if you want to disable this.) + In the instance declaration for `C [Int]' + +<interactive>:8:10: + Overlapping instance declarations: + instance C a => C [a] -- Defined at <interactive>:8:10 + instance C [Int] -- Defined at <interactive>:7:10 diff --git a/testsuite/tests/ghci/scripts/ghci045.script b/testsuite/tests/ghci/scripts/ghci045.script new file mode 100644 index 0000000000..042d16c0be --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci045.script @@ -0,0 +1,6 @@ +--Testing standalone deriving +:set -XStandaloneDeriving +data Foo = A | B | C +deriving instance Show Foo +A +C diff --git a/testsuite/tests/ghci/scripts/ghci045.stdout b/testsuite/tests/ghci/scripts/ghci045.stdout new file mode 100644 index 0000000000..8ec30d8fdd --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci045.stdout @@ -0,0 +1,2 @@ +A +C diff --git a/testsuite/tests/ghci/scripts/ghci046.script b/testsuite/tests/ghci/scripts/ghci046.script new file mode 100644 index 0000000000..f07e06f330 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci046.script @@ -0,0 +1,22 @@ +--Testing type families and their shadowing +:set -XTypeFamilies +data HTrue +data HFalse +type family AND a b +type instance AND HTrue HTrue = HTrue +type instance AND HTrue HFalse = HFalse +type instance AND HFalse HTrue = HFalse +type instance AND HFalse HFalse = HFalse +type family OR a b +type instance OR HTrue HTrue = HTrue +type instance OR HTrue HFalse = HTrue +type instance OR HFalse HTrue = HTrue +type instance OR HFalse HFalse = HFalse +:t undefined :: AND HTrue HTrue +:t undefined :: AND (OR HFalse HTrue) (OR HTrue HFalse) +let t = undefined :: AND HTrue HTrue +let f = undefined :: AND HTrue HFalse +type instance AND HTrue HTrue = HFalse +:t t +let t = undefined :: AND HTrue HTrue +:t t diff --git a/testsuite/tests/ghci/scripts/ghci046.stdout b/testsuite/tests/ghci/scripts/ghci046.stdout new file mode 100644 index 0000000000..d600596b71 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci046.stdout @@ -0,0 +1,4 @@ +undefined :: AND HTrue HTrue :: HTrue +undefined :: AND (OR HFalse HTrue) (OR HTrue HFalse) :: HTrue +t :: HTrue +t :: HFalse diff --git a/testsuite/tests/ghci/scripts/ghci047.script b/testsuite/tests/ghci/scripts/ghci047.script new file mode 100644 index 0000000000..49d93047f6 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci047.script @@ -0,0 +1,40 @@ +--Testing GADTs, type families as well as a ton of crazy type stuff +:set -XGADTs +:set -XTypeFamilies +:set -XOverlappingInstances +:set -XFunctionalDependencies +:set -XFlexibleContexts +:set -XFlexibleInstances +:set -XUndecidableInstances +data A +data B +data C +:{ +data ABorC t where + Foo :: Int -> ABorC A + Bar :: Bool -> ABorC A + Baz :: Char -> ABorC B + Quz :: ABorC B + Yud :: String -> ABorC C + Myp :: Double -> ABorC C +:} +data HTrue +data HFalse + +class TypeEq x y b | x y -> b +instance (HTrue ~ b) => TypeEq x x b +instance (HFalse ~ b) => TypeEq x y b + +type family Or a b +type instance Or HTrue HTrue = HTrue +type instance Or HTrue HFalse = HTrue +type instance Or HFalse HTrue = HTrue +type instance Or HFalse HFalse = HFalse + +let f :: (Or a c ~ HTrue, TypeEq t A a, TypeEq t C c) => ABorC t -> Int ; f x = 1 +f $ Foo 1 +f $ Bar True +f $ Baz 'a' +f $ Quz +f $ Yud "a" +f $ Myp 4.3 diff --git a/testsuite/tests/ghci/scripts/ghci047.stderr b/testsuite/tests/ghci/scripts/ghci047.stderr new file mode 100644 index 0000000000..1807dcb866 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci047.stderr @@ -0,0 +1,12 @@ + +<interactive>:38:1: + Couldn't match type `HFalse' with `HTrue' + In the expression: f + In the expression: f $ Baz 'a' + In an equation for `it': it = f $ Baz 'a' + +<interactive>:39:1: + Couldn't match type `HFalse' with `HTrue' + In the expression: f + In the expression: f $ Quz + In an equation for `it': it = f $ Quz diff --git a/testsuite/tests/ghci/scripts/ghci047.stdout b/testsuite/tests/ghci/scripts/ghci047.stdout new file mode 100644 index 0000000000..98fb6a6865 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci047.stdout @@ -0,0 +1,4 @@ +1 +1 +1 +1 diff --git a/testsuite/tests/ghci/scripts/ghci048.script b/testsuite/tests/ghci/scripts/ghci048.script new file mode 100644 index 0000000000..0a1cfc5e83 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci048.script @@ -0,0 +1,5 @@ +--Testing proper error message for multiple declarations (a previous bug) +data Foo = A | B +data Foo = A | A +data Foo = A | B +data Foo = A | A diff --git a/testsuite/tests/ghci/scripts/ghci048.stderr b/testsuite/tests/ghci/scripts/ghci048.stderr new file mode 100644 index 0000000000..408c1e9ee1 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci048.stderr @@ -0,0 +1,10 @@ + +<interactive>:4:16: + Multiple declarations of `A' + Declared at: <interactive>:4:12 + <interactive>:4:16 + +<interactive>:6:16: + Multiple declarations of `A' + Declared at: <interactive>:6:12 + <interactive>:6:16 diff --git a/testsuite/tests/ghci/scripts/ghci049.script b/testsuite/tests/ghci/scripts/ghci049.script new file mode 100644 index 0000000000..5a3029ad11 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci049.script @@ -0,0 +1,9 @@ +--Testing RecordWildCards (a previous bug) +data C = C {a :: Integer, b :: Integer, c :: Integer, d :: Integer} deriving Show +let myc = C 1 2 3 4 +:set -XFlexibleInstances +instance Show (C -> Integer) where ; show a = "C -> field " ++ (show $ a myc) +(a,b,c,d) +:set -XRecordWildCards +let C{..} = myc +(a,b,c,d) diff --git a/testsuite/tests/ghci/scripts/ghci049.stdout b/testsuite/tests/ghci/scripts/ghci049.stdout new file mode 100644 index 0000000000..edd14ccb06 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci049.stdout @@ -0,0 +1,2 @@ +(C -> field 1,C -> field 2,C -> field 3,C -> field 4) +(1,2,3,4) diff --git a/testsuite/tests/ghci/scripts/ghci050.script b/testsuite/tests/ghci/scripts/ghci050.script new file mode 100644 index 0000000000..277e803294 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci050.script @@ -0,0 +1,7 @@ +--Testing for proper name printing in complex error messages (a previous bug) +:set -XTypeFamilies +:set -XFlexibleInstances +class Listable t where ; type ListableElem t :: * ; asList :: t -> [ListableElem t] +instance Listable (a,a) where ; asList (a,b) = [a,b] +instance Listable (a,a) where ; type ListableElem (a,a) = a ; asList (a,b) = [a,b] +asList ("as","df") diff --git a/testsuite/tests/ghci/scripts/ghci050.stderr b/testsuite/tests/ghci/scripts/ghci050.stderr new file mode 100644 index 0000000000..7825133285 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci050.stderr @@ -0,0 +1,8 @@ + +<interactive>:6:51: + Couldn't match type `a' with `ListableElem (a, a)' + `a' is a rigid type variable bound by + the instance declaration at <interactive>:6:20 + In the expression: b + In the expression: [a, b] + In an equation for `asList': asList (a, b) = [a, b] diff --git a/testsuite/tests/ghci/scripts/ghci050.stdout b/testsuite/tests/ghci/scripts/ghci050.stdout new file mode 100644 index 0000000000..c71a50a976 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci050.stdout @@ -0,0 +1 @@ +["as","df"] diff --git a/testsuite/tests/ghci/scripts/ghci051.script b/testsuite/tests/ghci/scripts/ghci051.script new file mode 100644 index 0000000000..6833879a4a --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci051.script @@ -0,0 +1,18 @@ +--Testing complex type and constructor shadowing +data T = A | B +type T' = T +let b = B :: T' +data T = B | C +let c = C :: T' +let c = C +data T = C | D +let d = D +:i T +:i T' +:i A +:i B +:i C +:i D +:i b +:i c +:i d diff --git a/testsuite/tests/ghci/scripts/ghci051.stderr b/testsuite/tests/ghci/scripts/ghci051.stderr new file mode 100644 index 0000000000..e52b3edc24 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci051.stderr @@ -0,0 +1,5 @@ + +<interactive>:7:9: + Couldn't match expected type `T'' with actual type `T' + In the expression: C :: T' + In an equation for `c': c = C :: T' diff --git a/testsuite/tests/ghci/scripts/ghci051.stdout b/testsuite/tests/ghci/scripts/ghci051.stdout new file mode 100644 index 0000000000..1098275ab8 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci051.stdout @@ -0,0 +1,9 @@ +data T = C | D -- Defined at <interactive>:0:10 +type T' = :Interactive.T -- Defined at <interactive>:0:6-7 +data :Interactive.T = A | ... -- Defined at <interactive>:0:10 +data :Interactive.T = B | ... -- Defined at <interactive>:0:12 +data T = C | ... -- Defined at <interactive>:0:14 +data T = ... | D -- Defined at <interactive>:0:18 +b :: T' -- Defined at <interactive>:0:5 +c :: :Interactive.T -- Defined at <interactive>:0:5 +d :: T -- Defined at <interactive>:0:5 diff --git a/testsuite/tests/ghci/scripts/ghci052.script b/testsuite/tests/ghci/scripts/ghci052.script new file mode 100644 index 0000000000..53e0093f13 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci052.script @@ -0,0 +1,10 @@ +--Testing data type and constructor shadowing with functions +data Planet = Mercury | Venus | Earth +let pn Mercury = "M" ; pn Venus = "V" ; pn Earth = "E" +pn Mercury +data Planet = Mercury | Venus | Mars +pn Mercury +pn Venus +pn Mars +pn Earth +let pn Mercury = "M" ; pn Venus = "V" ; pn Earth = "E" ; pn Mars = "M" diff --git a/testsuite/tests/ghci/scripts/ghci052.stderr b/testsuite/tests/ghci/scripts/ghci052.stderr new file mode 100644 index 0000000000..c685a2aaaf --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci052.stderr @@ -0,0 +1,27 @@ + +<interactive>:7:4: + Couldn't match expected type `main::Interactive.Planet' + with actual type `Planet' + In the first argument of `pn', namely `Mercury' + In the expression: pn Mercury + In an equation for `it': it = pn Mercury + +<interactive>:8:4: + Couldn't match expected type `main::Interactive.Planet' + with actual type `Planet' + In the first argument of `pn', namely `Venus' + In the expression: pn Venus + In an equation for `it': it = pn Venus + +<interactive>:9:4: + Couldn't match expected type `main::Interactive.Planet' + with actual type `Planet' + In the first argument of `pn', namely `Mars' + In the expression: pn Mars + In an equation for `it': it = pn Mars + +<interactive>:11:44: + Couldn't match expected type `Planet' + with actual type `main::Interactive.Planet' + In the pattern: Earth + In an equation for `pn': pn Earth = "E" diff --git a/testsuite/tests/ghci/scripts/ghci052.stdout b/testsuite/tests/ghci/scripts/ghci052.stdout new file mode 100644 index 0000000000..b16e7f2b7e --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci052.stdout @@ -0,0 +1,2 @@ +"M" +"E" diff --git a/testsuite/tests/ghci/scripts/ghci053.script b/testsuite/tests/ghci/scripts/ghci053.script new file mode 100644 index 0000000000..cf104b51e9 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci053.script @@ -0,0 +1,10 @@ +--Testing deriving in the presence of shadowing +data Planet = Mercury | Venus | Earth deriving Eq +let mercury = Mercury +Venus == Earth +data Planet = Mercury | Venus deriving Eq +Mercury == Mercury +mercury == Mercury +Mercury == Venus +Venus == Earth +Earth == Earth diff --git a/testsuite/tests/ghci/scripts/ghci053.stderr b/testsuite/tests/ghci/scripts/ghci053.stderr new file mode 100644 index 0000000000..e08ad91e21 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci053.stderr @@ -0,0 +1,14 @@ + +<interactive>:8:12: + Couldn't match expected type `main::Interactive.Planet' + with actual type `Planet' + In the second argument of `(==)', namely `Mercury' + In the expression: mercury == Mercury + In an equation for `it': it = mercury == Mercury + +<interactive>:10:10: + Couldn't match expected type `Planet' + with actual type `main::Interactive.Planet' + In the second argument of `(==)', namely `Earth' + In the expression: Venus == Earth + In an equation for `it': it = Venus == Earth diff --git a/testsuite/tests/ghci/scripts/ghci053.stdout b/testsuite/tests/ghci/scripts/ghci053.stdout new file mode 100644 index 0000000000..0244e7b587 --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci053.stdout @@ -0,0 +1,4 @@ +False +True +False +True
\ No newline at end of file diff --git a/testsuite/tests/ghci/scripts/ghci054.script b/testsuite/tests/ghci/scripts/ghci054.script new file mode 100644 index 0000000000..7c17087ece --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci054.script @@ -0,0 +1,4 @@ +--Testing type synonyms +type Foo = String +let foo = "foo" :: Foo +:t foo diff --git a/testsuite/tests/ghci/scripts/ghci054.stdout b/testsuite/tests/ghci/scripts/ghci054.stdout new file mode 100644 index 0000000000..9ffc47d55d --- /dev/null +++ b/testsuite/tests/ghci/scripts/ghci054.stdout @@ -0,0 +1 @@ +foo :: Foo |