diff options
| author | GHC GitLab CI <ghc-ci@gitlab-haskell.org> | 2021-03-21 22:58:14 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-23 20:44:11 -0400 |
| commit | 25306ddc00c2236564bcfebd55a3f61ffa6d182e (patch) | |
| tree | 432ee092c243c4963c5c804a2926da924aece70b /utils/check-exact/cases | |
| parent | df895b3f972e0062a81c8c136fa9fdd79badea5c (diff) | |
| download | haskell-25306ddc00c2236564bcfebd55a3f61ffa6d182e.tar.gz | |
EPA: Run exactprint transformation tests as part of CI
EPA == exact print annotations.
When !2418 landed, it did not run the tests brought over from
ghc-exactprint for making sure the AST prints correctly efter being
edited.
This enables those tests.
Diffstat (limited to 'utils/check-exact/cases')
78 files changed, 0 insertions, 849 deletions
diff --git a/utils/check-exact/cases/AddDecl1.expected.hs b/utils/check-exact/cases/AddDecl1.expected.hs deleted file mode 100644 index 88ef0fdd7d..0000000000 --- a/utils/check-exact/cases/AddDecl1.expected.hs +++ /dev/null @@ -1,13 +0,0 @@ -module AddDecl where - -nn = n2 - --- Adding a declaration to an existing file - --- | Do foo -foo a b = a + b - --- | Do bar -bar x y = {- baz -} foo (x+y) x - --- end of file diff --git a/utils/check-exact/cases/AddDecl1.hs b/utils/check-exact/cases/AddDecl1.hs deleted file mode 100644 index 45c0cb3864..0000000000 --- a/utils/check-exact/cases/AddDecl1.hs +++ /dev/null @@ -1,11 +0,0 @@ -module AddDecl where - --- Adding a declaration to an existing file - --- | Do foo -foo a b = a + b - --- | Do bar -bar x y = {- baz -} foo (x+y) x - --- end of file diff --git a/utils/check-exact/cases/AddDecl2.expected.hs b/utils/check-exact/cases/AddDecl2.expected.hs deleted file mode 100644 index 2bbbcf5b37..0000000000 --- a/utils/check-exact/cases/AddDecl2.expected.hs +++ /dev/null @@ -1,13 +0,0 @@ -module AddDecl where - --- Adding a declaration to an existing file - --- | Do foo -foo a b = a + b - --- | Do bar -bar x y = {- baz -} foo (x+y) x - -nn = n2 - --- end of file diff --git a/utils/check-exact/cases/AddDecl2.hs b/utils/check-exact/cases/AddDecl2.hs deleted file mode 100644 index 45c0cb3864..0000000000 --- a/utils/check-exact/cases/AddDecl2.hs +++ /dev/null @@ -1,11 +0,0 @@ -module AddDecl where - --- Adding a declaration to an existing file - --- | Do foo -foo a b = a + b - --- | Do bar -bar x y = {- baz -} foo (x+y) x - --- end of file diff --git a/utils/check-exact/cases/AddDecl3.expected.hs b/utils/check-exact/cases/AddDecl3.expected.hs deleted file mode 100644 index dd3044fcc5..0000000000 --- a/utils/check-exact/cases/AddDecl3.expected.hs +++ /dev/null @@ -1,13 +0,0 @@ -module AddDecl where - --- Adding a declaration to an existing file - --- | Do foo -foo a b = a + b - -nn = n2 - --- | Do bar -bar x y = {- baz -} foo (x+y) x - --- end of file diff --git a/utils/check-exact/cases/AddDecl3.hs b/utils/check-exact/cases/AddDecl3.hs deleted file mode 100644 index 45c0cb3864..0000000000 --- a/utils/check-exact/cases/AddDecl3.hs +++ /dev/null @@ -1,11 +0,0 @@ -module AddDecl where - --- Adding a declaration to an existing file - --- | Do foo -foo a b = a + b - --- | Do bar -bar x y = {- baz -} foo (x+y) x - --- end of file diff --git a/utils/check-exact/cases/AddHiding1.expected.hs b/utils/check-exact/cases/AddHiding1.expected.hs deleted file mode 100644 index f3c8f17c8b..0000000000 --- a/utils/check-exact/cases/AddHiding1.expected.hs +++ /dev/null @@ -1,8 +0,0 @@ -module AddHiding1 where - -import Data.Maybe hiding (n1,n2) - -import Data.Maybe hiding (n1,n2) - -f = 1 - diff --git a/utils/check-exact/cases/AddHiding1.hs b/utils/check-exact/cases/AddHiding1.hs deleted file mode 100644 index abcd47879a..0000000000 --- a/utils/check-exact/cases/AddHiding1.hs +++ /dev/null @@ -1,8 +0,0 @@ -module AddHiding1 where - -import Data.Maybe - -import Data.Maybe hiding (n1,n2) - -f = 1 - diff --git a/utils/check-exact/cases/AddHiding2.expected.hs b/utils/check-exact/cases/AddHiding2.expected.hs deleted file mode 100644 index d62005227b..0000000000 --- a/utils/check-exact/cases/AddHiding2.expected.hs +++ /dev/null @@ -1,5 +0,0 @@ -module AddHiding2 where - -import Data.Maybe hiding (f1,f2,n1,n2) - -f = 1 diff --git a/utils/check-exact/cases/AddHiding2.hs b/utils/check-exact/cases/AddHiding2.hs deleted file mode 100644 index f5f551a9cb..0000000000 --- a/utils/check-exact/cases/AddHiding2.hs +++ /dev/null @@ -1,5 +0,0 @@ -module AddHiding2 where - -import Data.Maybe hiding (f1,f2) - -f = 1 diff --git a/utils/check-exact/cases/AddLocalDecl1.expected.hs b/utils/check-exact/cases/AddLocalDecl1.expected.hs deleted file mode 100644 index 023e2ea05d..0000000000 --- a/utils/check-exact/cases/AddLocalDecl1.expected.hs +++ /dev/null @@ -1,15 +0,0 @@ -module AddLocalDecl1 where - --- |This is a function -foo = x -- comment1 - where - nn = 2 --- trailing 1 - --- |Another fun -x = a -- comment2 - where - a = 3 --- trailing 2 - -y = 3 diff --git a/utils/check-exact/cases/AddLocalDecl1.hs b/utils/check-exact/cases/AddLocalDecl1.hs deleted file mode 100644 index 3bb4953c51..0000000000 --- a/utils/check-exact/cases/AddLocalDecl1.hs +++ /dev/null @@ -1,13 +0,0 @@ -module AddLocalDecl1 where - --- |This is a function -foo = x -- comment1 --- trailing 1 - --- |Another fun -x = a -- comment2 - where - a = 3 --- trailing 2 - -y = 3 diff --git a/utils/check-exact/cases/AddLocalDecl2.expected.hs b/utils/check-exact/cases/AddLocalDecl2.expected.hs deleted file mode 100644 index ff25b79157..0000000000 --- a/utils/check-exact/cases/AddLocalDecl2.expected.hs +++ /dev/null @@ -1,11 +0,0 @@ -module AddLocalDecl2 where - --- |This is a function -foo = x -- comment 0 - where nn = 2 - p = 2 -- comment 1 - --- |Another fun -bar = a -- comment 2 - where nn = 2 - p = 2 -- comment 3 diff --git a/utils/check-exact/cases/AddLocalDecl2.hs b/utils/check-exact/cases/AddLocalDecl2.hs deleted file mode 100644 index 7609f657ed..0000000000 --- a/utils/check-exact/cases/AddLocalDecl2.hs +++ /dev/null @@ -1,10 +0,0 @@ -module AddLocalDecl2 where - --- |This is a function -foo = x -- comment 0 - where p = 2 -- comment 1 - --- |Another fun -bar = a -- comment 2 - where nn = 2 - p = 2 -- comment 3 diff --git a/utils/check-exact/cases/AddLocalDecl3.expected.hs b/utils/check-exact/cases/AddLocalDecl3.expected.hs deleted file mode 100644 index deaf1e7cb8..0000000000 --- a/utils/check-exact/cases/AddLocalDecl3.expected.hs +++ /dev/null @@ -1,13 +0,0 @@ -module AddLocalDecl3 where - --- |This is a function -foo = x -- comment 0 - where p = 2 -- comment 1 - nn = 2 - -- comment f - --- |Another fun -bar = a -- comment 2 - where p = 2 -- comment 3 - nn = 2 - -- comment b diff --git a/utils/check-exact/cases/AddLocalDecl3.hs b/utils/check-exact/cases/AddLocalDecl3.hs deleted file mode 100644 index eb14013031..0000000000 --- a/utils/check-exact/cases/AddLocalDecl3.hs +++ /dev/null @@ -1,12 +0,0 @@ -module AddLocalDecl3 where - --- |This is a function -foo = x -- comment 0 - where p = 2 -- comment 1 - -- comment f - --- |Another fun -bar = a -- comment 2 - where p = 2 -- comment 3 - nn = 2 - -- comment b diff --git a/utils/check-exact/cases/AddLocalDecl4.expected.hs b/utils/check-exact/cases/AddLocalDecl4.expected.hs deleted file mode 100644 index b3c1445d0d..0000000000 --- a/utils/check-exact/cases/AddLocalDecl4.expected.hs +++ /dev/null @@ -1,6 +0,0 @@ -module AddLocalDecl4 where - -toplevel x = c * x - where - nn :: Int - nn = 2 diff --git a/utils/check-exact/cases/AddLocalDecl4.hs b/utils/check-exact/cases/AddLocalDecl4.hs deleted file mode 100644 index 2ec2c0bf73..0000000000 --- a/utils/check-exact/cases/AddLocalDecl4.hs +++ /dev/null @@ -1,3 +0,0 @@ -module AddLocalDecl4 where - -toplevel x = c * x diff --git a/utils/check-exact/cases/AddLocalDecl5.expected.hs b/utils/check-exact/cases/AddLocalDecl5.expected.hs deleted file mode 100644 index 5e66dc5a6b..0000000000 --- a/utils/check-exact/cases/AddLocalDecl5.expected.hs +++ /dev/null @@ -1,9 +0,0 @@ -module AddLocalDecl5 where - -toplevel :: Integer -> Integer -toplevel x = c * x - where - -- c,d :: Integer - c = 7 - -d = 9 diff --git a/utils/check-exact/cases/AddLocalDecl5.hs b/utils/check-exact/cases/AddLocalDecl5.hs deleted file mode 100644 index 9f07e1071b..0000000000 --- a/utils/check-exact/cases/AddLocalDecl5.hs +++ /dev/null @@ -1,8 +0,0 @@ -module AddLocalDecl5 where - -toplevel :: Integer -> Integer -toplevel x = c * x - --- c,d :: Integer -c = 7 -d = 9 diff --git a/utils/check-exact/cases/AddLocalDecl6.expected.hs b/utils/check-exact/cases/AddLocalDecl6.expected.hs deleted file mode 100644 index 9cedb7d63f..0000000000 --- a/utils/check-exact/cases/AddLocalDecl6.expected.hs +++ /dev/null @@ -1,12 +0,0 @@ -module AddLocalDecl6 where - -foo [] = 1 -- comment 0 - where - x = 3 -foo xs = 2 -- comment 1 - -bar [] = 1 -- comment 2 - where - x = 3 -bar xs = 2 -- comment 3 - diff --git a/utils/check-exact/cases/AddLocalDecl6.hs b/utils/check-exact/cases/AddLocalDecl6.hs deleted file mode 100644 index d0bdffca41..0000000000 --- a/utils/check-exact/cases/AddLocalDecl6.hs +++ /dev/null @@ -1,10 +0,0 @@ -module AddLocalDecl6 where - -foo [] = 1 -- comment 0 -foo xs = 2 -- comment 1 - -bar [] = 1 -- comment 2 - where - x = 3 -bar xs = 2 -- comment 3 - diff --git a/utils/check-exact/cases/EmptyWheres.hs b/utils/check-exact/cases/EmptyWheres.hs deleted file mode 100644 index edc0570012..0000000000 --- a/utils/check-exact/cases/EmptyWheres.hs +++ /dev/null @@ -1,9 +0,0 @@ -module EmptyWheres where - -x = 2 where -y = 3 - -instance Foo1 Int where - -ff = ff where g = g where -type T = Int diff --git a/utils/check-exact/cases/LayoutIn1.expected.hs b/utils/check-exact/cases/LayoutIn1.expected.hs deleted file mode 100644 index 2b23b21853..0000000000 --- a/utils/check-exact/cases/LayoutIn1.expected.hs +++ /dev/null @@ -1,9 +0,0 @@ -module LayoutIn1 where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'sq' to 'square'. - -sumSquares x y= square x + square y where sq x= x^pow - --There is a comment. - pow=2 diff --git a/utils/check-exact/cases/LayoutIn1.hs b/utils/check-exact/cases/LayoutIn1.hs deleted file mode 100644 index 3ea1f8402c..0000000000 --- a/utils/check-exact/cases/LayoutIn1.hs +++ /dev/null @@ -1,9 +0,0 @@ -module LayoutIn1 where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'sq' to 'square'. - -sumSquares x y= sq x + sq y where sq x= x^pow - --There is a comment. - pow=2 diff --git a/utils/check-exact/cases/LayoutIn3.expected.hs b/utils/check-exact/cases/LayoutIn3.expected.hs deleted file mode 100644 index 900d6daf63..0000000000 --- a/utils/check-exact/cases/LayoutIn3.expected.hs +++ /dev/null @@ -1,13 +0,0 @@ -module LayoutIn3 where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'x' after 'let' to 'anotherX'. - -foo x = let anotherX = 12 in (let y = 3 - z = 2 in anotherX * y * z * w) where y = 2 - --there is a comment. - w = x - where - x = let y = 5 in y + 3 - diff --git a/utils/check-exact/cases/LayoutIn3.hs b/utils/check-exact/cases/LayoutIn3.hs deleted file mode 100644 index c8c110d65c..0000000000 --- a/utils/check-exact/cases/LayoutIn3.hs +++ /dev/null @@ -1,13 +0,0 @@ -module LayoutIn3 where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'x' after 'let' to 'anotherX'. - -foo x = let x = 12 in (let y = 3 - z = 2 in x * y * z * w) where y = 2 - --there is a comment. - w = x - where - x = let y = 5 in y + 3 - diff --git a/utils/check-exact/cases/LayoutIn3a.expected.hs b/utils/check-exact/cases/LayoutIn3a.expected.hs deleted file mode 100644 index c0a552c0d0..0000000000 --- a/utils/check-exact/cases/LayoutIn3a.expected.hs +++ /dev/null @@ -1,13 +0,0 @@ -module LayoutIn3a where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'x' after 'let' to 'anotherX'. - -foo x = let anotherX = 12 in ( - anotherX ) where y = 2 - --there is a comment. - w = x - where - x = let y = 5 in y + 3 - diff --git a/utils/check-exact/cases/LayoutIn3a.hs b/utils/check-exact/cases/LayoutIn3a.hs deleted file mode 100644 index 58b36b07f8..0000000000 --- a/utils/check-exact/cases/LayoutIn3a.hs +++ /dev/null @@ -1,13 +0,0 @@ -module LayoutIn3a where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'x' after 'let' to 'anotherX'. - -foo x = let x = 12 in ( - x ) where y = 2 - --there is a comment. - w = x - where - x = let y = 5 in y + 3 - diff --git a/utils/check-exact/cases/LayoutIn3b.expected.hs b/utils/check-exact/cases/LayoutIn3b.expected.hs deleted file mode 100644 index 057d9d346a..0000000000 --- a/utils/check-exact/cases/LayoutIn3b.expected.hs +++ /dev/null @@ -1,12 +0,0 @@ -module LayoutIn3b where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'x' after 'let' to 'anotherX'. - -foo x = let anotherX = 12 in ( anotherX ) where y = 2 - --there is a comment. - w = x - where - x = let y = 5 in y + 3 - diff --git a/utils/check-exact/cases/LayoutIn3b.hs b/utils/check-exact/cases/LayoutIn3b.hs deleted file mode 100644 index 32bc294ae4..0000000000 --- a/utils/check-exact/cases/LayoutIn3b.hs +++ /dev/null @@ -1,12 +0,0 @@ -module LayoutIn3b where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'x' after 'let' to 'anotherX'. - -foo x = let x = 12 in ( x ) where y = 2 - --there is a comment. - w = x - where - x = let y = 5 in y + 3 - diff --git a/utils/check-exact/cases/LayoutIn4.expected.hs b/utils/check-exact/cases/LayoutIn4.expected.hs deleted file mode 100644 index 531478da48..0000000000 --- a/utils/check-exact/cases/LayoutIn4.expected.hs +++ /dev/null @@ -1,13 +0,0 @@ -module LayoutIn4 where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'ioFun' to 'io' - -main = io "hello" where io s= do let k = reverse s ---There is a comment - s <- getLine - let q = (k ++ s) - putStr q - putStr "foo" - diff --git a/utils/check-exact/cases/LayoutIn4.hs b/utils/check-exact/cases/LayoutIn4.hs deleted file mode 100644 index d99d05649d..0000000000 --- a/utils/check-exact/cases/LayoutIn4.hs +++ /dev/null @@ -1,13 +0,0 @@ -module LayoutIn4 where - ---Layout rule applies after 'where','let','do' and 'of' - ---In this Example: rename 'ioFun' to 'io' - -main = ioFun "hello" where ioFun s= do let k = reverse s - --There is a comment - s <- getLine - let q = (k ++ s) - putStr q - putStr "foo" - diff --git a/utils/check-exact/cases/LayoutLet2.expected.hs b/utils/check-exact/cases/LayoutLet2.expected.hs deleted file mode 100644 index 8da499ce3a..0000000000 --- a/utils/check-exact/cases/LayoutLet2.expected.hs +++ /dev/null @@ -1,8 +0,0 @@ -module LayoutLet2 where - --- Simple let expression, rename xxx to something longer or shorter --- and the let/in layout should adjust accordingly --- In this case the tokens for xxx + a + b should also shift out - -foo xxxlonger = let a = 1 - b = 2 in xxxlonger + a + b diff --git a/utils/check-exact/cases/LayoutLet2.hs b/utils/check-exact/cases/LayoutLet2.hs deleted file mode 100644 index 378aa587a8..0000000000 --- a/utils/check-exact/cases/LayoutLet2.hs +++ /dev/null @@ -1,8 +0,0 @@ -module LayoutLet2 where - --- Simple let expression, rename xxx to something longer or shorter --- and the let/in layout should adjust accordingly --- In this case the tokens for xxx + a + b should also shift out - -foo xxx = let a = 1 - b = 2 in xxx + a + b diff --git a/utils/check-exact/cases/LayoutLet3.expected.hs b/utils/check-exact/cases/LayoutLet3.expected.hs deleted file mode 100644 index 797cf5f483..0000000000 --- a/utils/check-exact/cases/LayoutLet3.expected.hs +++ /dev/null @@ -1,10 +0,0 @@ -module LayoutLet3 where - --- Simple let expression, rename xxx to something longer or shorter --- and the let/in layout should adjust accordingly --- In this case the tokens for xxx + a + b should also shift out - -foo xxxlonger = let a = 1 - b = 2 - in xxxlonger + a + b - diff --git a/utils/check-exact/cases/LayoutLet3.hs b/utils/check-exact/cases/LayoutLet3.hs deleted file mode 100644 index 5ba80aff6a..0000000000 --- a/utils/check-exact/cases/LayoutLet3.hs +++ /dev/null @@ -1,10 +0,0 @@ -module LayoutLet3 where - --- Simple let expression, rename xxx to something longer or shorter --- and the let/in layout should adjust accordingly --- In this case the tokens for xxx + a + b should also shift out - -foo xxx = let a = 1 - b = 2 - in xxx + a + b - diff --git a/utils/check-exact/cases/LayoutLet4.expected.hs b/utils/check-exact/cases/LayoutLet4.expected.hs deleted file mode 100644 index b3c52f424e..0000000000 --- a/utils/check-exact/cases/LayoutLet4.expected.hs +++ /dev/null @@ -1,12 +0,0 @@ -module LayoutLet4 where - --- Simple let expression, rename xxx to something longer or shorter --- and the let/in layout should adjust accordingly --- In this case the tokens for xxx + a + b should also shift out - -foo xxxlonger = let a = 1 - b = 2 - in xxxlonger + a + b - -bar = 3 - diff --git a/utils/check-exact/cases/LayoutLet4.hs b/utils/check-exact/cases/LayoutLet4.hs deleted file mode 100644 index 28fe599432..0000000000 --- a/utils/check-exact/cases/LayoutLet4.hs +++ /dev/null @@ -1,12 +0,0 @@ -module LayoutLet4 where - --- Simple let expression, rename xxx to something longer or shorter --- and the let/in layout should adjust accordingly --- In this case the tokens for xxx + a + b should also shift out - -foo xxx = let a = 1 - b = 2 - in xxx + a + b - -bar = 3 - diff --git a/utils/check-exact/cases/LetIn1.expected.hs b/utils/check-exact/cases/LetIn1.expected.hs deleted file mode 100644 index d233115ee6..0000000000 --- a/utils/check-exact/cases/LetIn1.expected.hs +++ /dev/null @@ -1,18 +0,0 @@ -module LetIn1 where - ---A definition can be demoted to the local 'where' binding of a friend declaration, ---if it is only used by this friend declaration. - ---Demoting a definition narrows down the scope of the definition. ---In this example, demote the local 'pow' to 'sq' ---This example also aims to test the demoting a local declaration in 'let'. - -sumSquares x y = let sq 0=0 - sq z=z^pow - in sq x + sq y - - -anotherFun 0 y = sq y - where sq x = x^2 - - diff --git a/utils/check-exact/cases/LetIn1.hs b/utils/check-exact/cases/LetIn1.hs deleted file mode 100644 index f1109b8f03..0000000000 --- a/utils/check-exact/cases/LetIn1.hs +++ /dev/null @@ -1,19 +0,0 @@ -module LetIn1 where - ---A definition can be demoted to the local 'where' binding of a friend declaration, ---if it is only used by this friend declaration. - ---Demoting a definition narrows down the scope of the definition. ---In this example, demote the local 'pow' to 'sq' ---This example also aims to test the demoting a local declaration in 'let'. - -sumSquares x y = let sq 0=0 - sq z=z^pow - pow=2 - in sq x + sq y - - -anotherFun 0 y = sq y - where sq x = x^2 - - diff --git a/utils/check-exact/cases/LocToName.expected.hs b/utils/check-exact/cases/LocToName.expected.hs deleted file mode 100644 index 0b1484873a..0000000000 --- a/utils/check-exact/cases/LocToName.expected.hs +++ /dev/null @@ -1,25 +0,0 @@ -module LocToName where - -{- - - - - - - - - --} - - - - - - - -LocToName.newPoint (x:xs) = x ^2 + LocToName.newPoint xs - -- where sq x = x ^pow - -- pow = 2 - -LocToName.newPoint [] = 0 - diff --git a/utils/check-exact/cases/LocToName.hs b/utils/check-exact/cases/LocToName.hs deleted file mode 100644 index 89a0acea12..0000000000 --- a/utils/check-exact/cases/LocToName.hs +++ /dev/null @@ -1,25 +0,0 @@ -module LocToName where - -{- - - - - - - - - --} - - - - - - - -sumSquares (x:xs) = x ^2 + sumSquares xs - -- where sq x = x ^pow - -- pow = 2 - -sumSquares [] = 0 - diff --git a/utils/check-exact/cases/LocalDecls.expected.hs b/utils/check-exact/cases/LocalDecls.expected.hs deleted file mode 100644 index 7c41178ba0..0000000000 --- a/utils/check-exact/cases/LocalDecls.expected.hs +++ /dev/null @@ -1,11 +0,0 @@ -module LocalDecls where - -foo a = bar a - where - nn :: Int - nn = 2 - - bar :: Int -> Int - bar x = x + 2 - - baz = 4 diff --git a/utils/check-exact/cases/LocalDecls.hs b/utils/check-exact/cases/LocalDecls.hs deleted file mode 100644 index ebb774ac63..0000000000 --- a/utils/check-exact/cases/LocalDecls.hs +++ /dev/null @@ -1,8 +0,0 @@ -module LocalDecls where - -foo a = bar a - where - bar :: Int -> Int - bar x = x + 2 - - baz = 4 diff --git a/utils/check-exact/cases/LocalDecls2.expected.hs b/utils/check-exact/cases/LocalDecls2.expected.hs deleted file mode 100644 index d2353e94c5..0000000000 --- a/utils/check-exact/cases/LocalDecls2.expected.hs +++ /dev/null @@ -1,8 +0,0 @@ -module LocalDecls2 where - -foo a = bar a - where - nn :: Int - nn = 2 - - diff --git a/utils/check-exact/cases/LocalDecls2.hs b/utils/check-exact/cases/LocalDecls2.hs deleted file mode 100644 index 92a8649649..0000000000 --- a/utils/check-exact/cases/LocalDecls2.hs +++ /dev/null @@ -1,3 +0,0 @@ -module LocalDecls2 where - -foo a = bar a diff --git a/utils/check-exact/cases/Rename1.expected.hs b/utils/check-exact/cases/Rename1.expected.hs deleted file mode 100644 index 353a7420e2..0000000000 --- a/utils/check-exact/cases/Rename1.expected.hs +++ /dev/null @@ -1,6 +0,0 @@ -module Rename1 where - -bar2 x y = - do c <- getChar - return c - diff --git a/utils/check-exact/cases/Rename1.hs b/utils/check-exact/cases/Rename1.hs deleted file mode 100644 index 1ad343afd3..0000000000 --- a/utils/check-exact/cases/Rename1.hs +++ /dev/null @@ -1,6 +0,0 @@ -module Rename1 where - -foo x y = - do c <- getChar - return c - diff --git a/utils/check-exact/cases/Rename2.expected.hs b/utils/check-exact/cases/Rename2.expected.hs deleted file mode 100644 index 6be3ff6e0a..0000000000 --- a/utils/check-exact/cases/Rename2.expected.hs +++ /dev/null @@ -1,4 +0,0 @@ - -joe x = case (odd x) of - True -> "Odd" - False -> "Even" diff --git a/utils/check-exact/cases/Rename2.hs b/utils/check-exact/cases/Rename2.hs deleted file mode 100644 index 29fea060c2..0000000000 --- a/utils/check-exact/cases/Rename2.hs +++ /dev/null @@ -1,4 +0,0 @@ - -foo' x = case (odd x) of - True -> "Odd" - False -> "Even" diff --git a/utils/check-exact/cases/RenameCase1.expected.hs b/utils/check-exact/cases/RenameCase1.expected.hs deleted file mode 100644 index dad6765012..0000000000 --- a/utils/check-exact/cases/RenameCase1.expected.hs +++ /dev/null @@ -1,5 +0,0 @@ -module RenameCase1 where - -foo x = case (bazLonger x) of - 1 -> "a" - _ -> "b" diff --git a/utils/check-exact/cases/RenameCase1.hs b/utils/check-exact/cases/RenameCase1.hs deleted file mode 100644 index 22d549367a..0000000000 --- a/utils/check-exact/cases/RenameCase1.hs +++ /dev/null @@ -1,5 +0,0 @@ -module RenameCase1 where - -foo x = case (baz x) of - 1 -> "a" - _ -> "b" diff --git a/utils/check-exact/cases/RmDecl1.expected.hs b/utils/check-exact/cases/RmDecl1.expected.hs deleted file mode 100644 index 6bb503aede..0000000000 --- a/utils/check-exact/cases/RmDecl1.expected.hs +++ /dev/null @@ -1,9 +0,0 @@ -module RmDecl1 where - -sumSquares x = x * p - where p=2 {-There is a comment-} - -{- foo bar -} -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/RmDecl1.hs b/utils/check-exact/cases/RmDecl1.hs deleted file mode 100644 index 15cd9f1e04..0000000000 --- a/utils/check-exact/cases/RmDecl1.hs +++ /dev/null @@ -1,13 +0,0 @@ -module RmDecl1 where - -sumSquares x = x * p - where p=2 {-There is a comment-} - -sq :: Int -> Int -> Int -sq pow 0 = 0 -sq pow z = z^pow --there is a comment - -{- foo bar -} -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/RmDecl2.expected.hs b/utils/check-exact/cases/RmDecl2.expected.hs deleted file mode 100644 index d77b760dca..0000000000 --- a/utils/check-exact/cases/RmDecl2.expected.hs +++ /dev/null @@ -1,9 +0,0 @@ -module RmDecl2 where - -sumSquares x y = let sq 0=0 - sq z=z^pow - in sq x + sq y - -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/RmDecl2.hs b/utils/check-exact/cases/RmDecl2.hs deleted file mode 100644 index 2f0dbd3ace..0000000000 --- a/utils/check-exact/cases/RmDecl2.hs +++ /dev/null @@ -1,10 +0,0 @@ -module RmDecl2 where - -sumSquares x y = let sq 0=0 - sq z=z^pow - pow=2 - in sq x + sq y - -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/RmDecl3.expected.hs b/utils/check-exact/cases/RmDecl3.expected.hs deleted file mode 100644 index ca14f33ad5..0000000000 --- a/utils/check-exact/cases/RmDecl3.expected.hs +++ /dev/null @@ -1,9 +0,0 @@ -module RmDecl3 where - --- Remove last declaration from a where clause, where should disappear too -ff y = y + zz - -zz = 1 - -foo = 3 --- EOF diff --git a/utils/check-exact/cases/RmDecl3.hs b/utils/check-exact/cases/RmDecl3.hs deleted file mode 100644 index 280bccf259..0000000000 --- a/utils/check-exact/cases/RmDecl3.hs +++ /dev/null @@ -1,9 +0,0 @@ -module RmDecl3 where - --- Remove last declaration from a where clause, where should disappear too -ff y = y + zz - where - zz = 1 - -foo = 3 --- EOF diff --git a/utils/check-exact/cases/RmDecl4.expected.hs b/utils/check-exact/cases/RmDecl4.expected.hs deleted file mode 100644 index e7c71dbd08..0000000000 --- a/utils/check-exact/cases/RmDecl4.expected.hs +++ /dev/null @@ -1,10 +0,0 @@ -module RmDecl4 where - --- Remove first declaration from a where clause, last should still be indented -ff y = y + zz + xx - where - xx = 2 - -zz = 1 - --- EOF diff --git a/utils/check-exact/cases/RmDecl4.hs b/utils/check-exact/cases/RmDecl4.hs deleted file mode 100644 index 532b738763..0000000000 --- a/utils/check-exact/cases/RmDecl4.hs +++ /dev/null @@ -1,9 +0,0 @@ -module RmDecl4 where - --- Remove first declaration from a where clause, last should still be indented -ff y = y + zz + xx - where - zz = 1 - xx = 2 - --- EOF diff --git a/utils/check-exact/cases/RmDecl5.expected.hs b/utils/check-exact/cases/RmDecl5.expected.hs deleted file mode 100644 index 67ac8ddfab..0000000000 --- a/utils/check-exact/cases/RmDecl5.expected.hs +++ /dev/null @@ -1,5 +0,0 @@ -module RmDecl5 where - -sumSquares x y = let pow=2 - in sq x + sq y - diff --git a/utils/check-exact/cases/RmDecl5.hs b/utils/check-exact/cases/RmDecl5.hs deleted file mode 100644 index 40f86199ce..0000000000 --- a/utils/check-exact/cases/RmDecl5.hs +++ /dev/null @@ -1,7 +0,0 @@ -module RmDecl5 where - -sumSquares x y = let sq 0=0 - sq z=z^pow - pow=2 - in sq x + sq y - diff --git a/utils/check-exact/cases/RmDecl6.expected.hs b/utils/check-exact/cases/RmDecl6.expected.hs deleted file mode 100644 index a2bd7d0443..0000000000 --- a/utils/check-exact/cases/RmDecl6.expected.hs +++ /dev/null @@ -1,9 +0,0 @@ -module RmDecl6 where - -foo a = baz - where - x = 1 - - y :: Int -> Int -> Int - y a b = undefined - diff --git a/utils/check-exact/cases/RmDecl6.hs b/utils/check-exact/cases/RmDecl6.hs deleted file mode 100644 index cab5093ce8..0000000000 --- a/utils/check-exact/cases/RmDecl6.hs +++ /dev/null @@ -1,12 +0,0 @@ -module RmDecl6 where - -foo a = baz - where - baz :: Int - baz = x + a - - x = 1 - - y :: Int -> Int -> Int - y a b = undefined - diff --git a/utils/check-exact/cases/RmDecl7.expected.hs b/utils/check-exact/cases/RmDecl7.expected.hs deleted file mode 100644 index 9d7b8b9a69..0000000000 --- a/utils/check-exact/cases/RmDecl7.expected.hs +++ /dev/null @@ -1,7 +0,0 @@ -module RmDecl7 where - -toplevel :: Integer -> Integer -toplevel x = c * x - -d = 9 - diff --git a/utils/check-exact/cases/RmDecl7.hs b/utils/check-exact/cases/RmDecl7.hs deleted file mode 100644 index 62cefe2154..0000000000 --- a/utils/check-exact/cases/RmDecl7.hs +++ /dev/null @@ -1,9 +0,0 @@ -module RmDecl7 where - -toplevel :: Integer -> Integer -toplevel x = c * x - --- c,d :: Integer -c = 7 -d = 9 - diff --git a/utils/check-exact/cases/RmTypeSig1.expected.hs b/utils/check-exact/cases/RmTypeSig1.expected.hs deleted file mode 100644 index 46f7b13399..0000000000 --- a/utils/check-exact/cases/RmTypeSig1.expected.hs +++ /dev/null @@ -1,8 +0,0 @@ -module RmTypeSig1 where - -anotherFun :: Int -> Int -sq 0 = 0 -sq z = z^2 - -anotherFun x = x^2 - diff --git a/utils/check-exact/cases/RmTypeSig1.hs b/utils/check-exact/cases/RmTypeSig1.hs deleted file mode 100644 index 498892d791..0000000000 --- a/utils/check-exact/cases/RmTypeSig1.hs +++ /dev/null @@ -1,8 +0,0 @@ -module RmTypeSig1 where - -sq,anotherFun :: Int -> Int -sq 0 = 0 -sq z = z^2 - -anotherFun x = x^2 - diff --git a/utils/check-exact/cases/RmTypeSig2.expected.hs b/utils/check-exact/cases/RmTypeSig2.expected.hs deleted file mode 100644 index c30e201bd0..0000000000 --- a/utils/check-exact/cases/RmTypeSig2.expected.hs +++ /dev/null @@ -1,7 +0,0 @@ -module RmTypeSig2 where - --- Pattern bind -tup@(h,t) = (1,ff) - where - ff = 15 - diff --git a/utils/check-exact/cases/RmTypeSig2.hs b/utils/check-exact/cases/RmTypeSig2.hs deleted file mode 100644 index e8771f99dd..0000000000 --- a/utils/check-exact/cases/RmTypeSig2.hs +++ /dev/null @@ -1,8 +0,0 @@ -module RmTypeSig2 where - --- Pattern bind -tup@(h,t) = (1,ff) - where - ff :: Int - ff = 15 - diff --git a/utils/check-exact/cases/WhereIn3a.expected.hs b/utils/check-exact/cases/WhereIn3a.expected.hs deleted file mode 100644 index acc94d3621..0000000000 --- a/utils/check-exact/cases/WhereIn3a.expected.hs +++ /dev/null @@ -1,20 +0,0 @@ -module WhereIn3a where - ---A definition can be demoted to the local 'where' binding of a friend declaration, ---if it is only used by this friend declaration. - ---Demoting a definition narrows down the scope of the definition. ---In this example, demote the top level 'sq' to 'sumSquares' ---In this case (there are multi matches), the parameters are not folded after demoting. - -sumSquares x y = sq p x + sq p y - where p=2 {-There is a comment-} - -sq :: Int -> Int -> Int -sq pow 0 = 0 -- prior comment -sq pow z = z^pow --there is a comment - --- A leading comment -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/WhereIn3a.hs b/utils/check-exact/cases/WhereIn3a.hs deleted file mode 100644 index acc94d3621..0000000000 --- a/utils/check-exact/cases/WhereIn3a.hs +++ /dev/null @@ -1,20 +0,0 @@ -module WhereIn3a where - ---A definition can be demoted to the local 'where' binding of a friend declaration, ---if it is only used by this friend declaration. - ---Demoting a definition narrows down the scope of the definition. ---In this example, demote the top level 'sq' to 'sumSquares' ---In this case (there are multi matches), the parameters are not folded after demoting. - -sumSquares x y = sq p x + sq p y - where p=2 {-There is a comment-} - -sq :: Int -> Int -> Int -sq pow 0 = 0 -- prior comment -sq pow z = z^pow --there is a comment - --- A leading comment -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/WhereIn3b.expected.hs b/utils/check-exact/cases/WhereIn3b.expected.hs deleted file mode 100644 index 80ddc04825..0000000000 --- a/utils/check-exact/cases/WhereIn3b.expected.hs +++ /dev/null @@ -1,27 +0,0 @@ -module WhereIn3a where - ---A definition can be demoted to the local 'where' binding of a friend declaration, ---if it is only used by this friend declaration. - ---Demoting a definition narrows down the scope of the definition. ---In this example, demote the top level 'sq' to 'sumSquares' ---In this case (there are multi matches), the parameters are not folded after demoting. - --- A leading comment -anotherFun 0 y = sq y - where sq x = x^2 - -sq pow 0 = 0 -- prior comment -sq pow z = z^pow --there is a comment - -sumSquares x y = sq p x + sq p y - where p=2 {-There is a comment-} - -sq :: Int -> Int -> Int -sq pow 0 = 0 -- prior comment -sq pow z = z^pow --there is a comment - --- A leading comment -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/WhereIn3b.hs b/utils/check-exact/cases/WhereIn3b.hs deleted file mode 100644 index acc94d3621..0000000000 --- a/utils/check-exact/cases/WhereIn3b.hs +++ /dev/null @@ -1,20 +0,0 @@ -module WhereIn3a where - ---A definition can be demoted to the local 'where' binding of a friend declaration, ---if it is only used by this friend declaration. - ---Demoting a definition narrows down the scope of the definition. ---In this example, demote the top level 'sq' to 'sumSquares' ---In this case (there are multi matches), the parameters are not folded after demoting. - -sumSquares x y = sq p x + sq p y - where p=2 {-There is a comment-} - -sq :: Int -> Int -> Int -sq pow 0 = 0 -- prior comment -sq pow z = z^pow --there is a comment - --- A leading comment -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/WhereIn4.expected.hs b/utils/check-exact/cases/WhereIn4.expected.hs deleted file mode 100644 index 4357bfdac7..0000000000 --- a/utils/check-exact/cases/WhereIn4.expected.hs +++ /dev/null @@ -1,19 +0,0 @@ -module WhereIn4 where - ---A definition can be demoted to the local 'where' binding of a friend declaration, ---if it is only used by this friend declaration. - ---Demoting a definition narrows down the scope of the definition. ---In this example, demote the top level 'sq' to 'sumSquares' ---In this case (there is single matches), if possible, ---the parameters will be folded after demoting and type sigature will be removed. - -sumSquares x y = sq p x + sq p y - where p_2=2 {-There is a comment-} - -sq::Int->Int->Int -sq pow z = z^pow --there is a comment - -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/WhereIn4.hs b/utils/check-exact/cases/WhereIn4.hs deleted file mode 100644 index 8b941fff4a..0000000000 --- a/utils/check-exact/cases/WhereIn4.hs +++ /dev/null @@ -1,19 +0,0 @@ -module WhereIn4 where - ---A definition can be demoted to the local 'where' binding of a friend declaration, ---if it is only used by this friend declaration. - ---Demoting a definition narrows down the scope of the definition. ---In this example, demote the top level 'sq' to 'sumSquares' ---In this case (there is single matches), if possible, ---the parameters will be folded after demoting and type sigature will be removed. - -sumSquares x y = sq p x + sq p y - where p=2 {-There is a comment-} - -sq::Int->Int->Int -sq pow z = z^pow --there is a comment - -anotherFun 0 y = sq y - where sq x = x^2 - diff --git a/utils/check-exact/cases/Windows.hs b/utils/check-exact/cases/Windows.hs deleted file mode 100644 index ad8ae692b6..0000000000 --- a/utils/check-exact/cases/Windows.hs +++ /dev/null @@ -1,10 +0,0 @@ -module Windows where - -{- - This file has windows-style line endings, to check that trailing - \r's get stripped in comments. --} -baz = 2 - --- Another comment -foo = 1 |