module T7881 where

import Data.Int

x1 :: [Int8]
x1 = [5 .. 3]

x2 :: [Int8]
x2 = [3 .. 5]

x3 :: [Int8]
x3 = [5, 3 .. 1]

x4 :: [Int8]
x4 = [5, (3+0) .. 1]

x5 :: [Int8]
x5 = [1, 3 .. 5]

x6 :: [Int8]
x6 = [1, (3+0) .. 5]

x7 :: [Int8]
x7 = [5, 7 .. 1]

x8 :: [Int8]
x8 = [5, (7+0) .. 1]

x9 :: [Int8]
x9 = [3, 1 .. 5]

x10 :: [Int8]
x10 = [3, (1+0) .. 5]