Testsuite: delete Windows line endings [skip ci] (#11631)

1 files changed, 28 insertions, 28 deletions

diff --git a/testsuite/tests/polykinds/T6035.hs b/testsuite/tests/polykinds/T6035.hs
index c9e4342d08..a6f5ffe54a 100644
--- a/testsuite/tests/polykinds/T6035.hs
+++ b/testsuite/tests/polykinds/T6035.hs
@@ -1,28 +1,28 @@
-{-# LANGUAGE PolyKinds, DataKinds, TypeFamilies, KindSignatures, GADTs,  TypeOperators

-  #-}

-

-module T6035 where

-

-data Nat = Zero | Succ Nat

-

-type family Sing (a :: k) :: k -> *

-

-data SNat n where

-  SZero :: SNat Zero

-  SSucc :: SNat n -> SNat (Succ n)

-

-data SList (a :: [k]) where

-  SNil :: SList '[]

-  SCons :: Sing h h -> SList t -> SList (h ': t)

-

-type instance Sing (a :: Nat) = SNat

-type instance Sing (a :: [k]) = SList

-

-nil :: SList '[]

-nil = SNil

-

-zero :: SList '[ '[] ]

-zero = SCons SNil SNil

-

-term :: SList '[ '[Zero], '[]]

-term = SCons (SCons SZero SNil) (SCons SNil SNil)

+{-# LANGUAGE PolyKinds, DataKinds, TypeFamilies, KindSignatures, GADTs,  TypeOperators
+  #-}
+
+module T6035 where
+
+data Nat = Zero | Succ Nat
+
+type family Sing (a :: k) :: k -> *
+
+data SNat n where
+  SZero :: SNat Zero
+  SSucc :: SNat n -> SNat (Succ n)
+
+data SList (a :: [k]) where
+  SNil :: SList '[]
+  SCons :: Sing h h -> SList t -> SList (h ': t)
+
+type instance Sing (a :: Nat) = SNat
+type instance Sing (a :: [k]) = SList
+
+nil :: SList '[]
+nil = SNil
+
+zero :: SList '[ '[] ]
+zero = SCons SNil SNil
+
+term :: SList '[ '[Zero], '[]]
+term = SCons (SCons SZero SNil) (SCons SNil SNil)