Testsuite: delete Windows line endings [skip ci] (#11631)
authorThomas Miedema <thomasmiedema@gmail.com>
Mon, 22 Feb 2016 20:32:51 +0000 (21:32 +0100)
committerThomas Miedema <thomasmiedema@gmail.com>
Tue, 23 Feb 2016 11:27:47 +0000 (12:27 +0100)
61 files changed:
testsuite/tests/ghci.debugger/Test.hs
testsuite/tests/ghci/scripts/ghci019.hs
testsuite/tests/indexed-types/should_compile/ATLoop.hs
testsuite/tests/indexed-types/should_compile/ATLoop_help.hs
testsuite/tests/indexed-types/should_compile/CoTest3.hs
testsuite/tests/indexed-types/should_compile/PushedInAsGivens.hs
testsuite/tests/indexed-types/should_compile/T1769.hs
testsuite/tests/indexed-types/should_compile/T2850.hs
testsuite/tests/indexed-types/should_compile/T3423.hs
testsuite/tests/indexed-types/should_compile/T3826.hs
testsuite/tests/indexed-types/should_compile/T3851.hs
testsuite/tests/indexed-types/should_compile/T4185.hs
testsuite/tests/indexed-types/should_compile/TF_GADT.hs
testsuite/tests/indexed-types/should_fail/DerivUnsatFam.hs
testsuite/tests/indexed-types/should_fail/T2544.hs
testsuite/tests/indexed-types/should_fail/T4093b.hs
testsuite/tests/indexed-types/should_fail/T4246.hs
testsuite/tests/mdo/should_fail/mdofail006.hs
testsuite/tests/mdo/should_run/mdorun003.hs
testsuite/tests/mdo/should_run/mdorun004.hs
testsuite/tests/mdo/should_run/mdorun005.hs
testsuite/tests/module/T1074.hs
testsuite/tests/module/T1074a.hs
testsuite/tests/module/T1148.hs
testsuite/tests/module/T2267.hs
testsuite/tests/parser/should_compile/read062.hs
testsuite/tests/parser/should_fail/readFail031.hs
testsuite/tests/parser/should_fail/readFail042.hs
testsuite/tests/parser/should_fail/readFail043.hs
testsuite/tests/parser/unicode/T1744.hs
testsuite/tests/polykinds/T5862.hs
testsuite/tests/polykinds/T5912.hs
testsuite/tests/polykinds/T6020.hs
testsuite/tests/polykinds/T6035.hs
testsuite/tests/polykinds/T6036.hs
testsuite/tests/polykinds/T7073.hs
testsuite/tests/polykinds/T7272.hs
testsuite/tests/polykinds/T7272a.hs
testsuite/tests/polykinds/T7433.hs
testsuite/tests/quasiquotation/T4491/A.hs
testsuite/tests/quasiquotation/qq007/QQ.hs
testsuite/tests/quasiquotation/qq007/Test.hs
testsuite/tests/rebindable/T303.hs
testsuite/tests/rebindable/rebindable7.hs
testsuite/tests/rename/should_compile/T2436.hs
testsuite/tests/rename/should_compile/T2436a.hs
testsuite/tests/rename/should_compile/T3943.hs
testsuite/tests/rename/should_compile/T4489.hs
testsuite/tests/rename/should_compile/T5306.hs
testsuite/tests/rename/should_compile/T5306a.hs
testsuite/tests/rename/should_compile/T5306b.hs
testsuite/tests/rename/should_compile/T7007.hs
testsuite/tests/rename/should_compile/T7336.hs
testsuite/tests/rename/should_fail/T2723.hs
testsuite/tests/rename/should_fail/T3792.hs
testsuite/tests/rename/should_fail/T5211.hs
testsuite/tests/rename/should_fail/T9436.hs
testsuite/tests/rename/should_fail/T9437.hs
testsuite/tests/rename/should_fail/rnfail043.hs
testsuite/tests/rename/should_fail/rnfail046.hs
testsuite/tests/rename/should_fail/rnfail049.hs

index f0477af..0e177a5 100644 (file)
@@ -1,40 +1,40 @@
-module Test.Test2 where\r
-import Data.Typeable\r
-       \r
-data Show1 = S1 Char Char Char\r
- deriving Typeable\r
-\r
-data Strict = S2 Char !Char\r
-       \r
-data Opaque = forall a. O a\r
-data List1 a = Nil | a :^ (List1 a)\r
-  deriving Show\r
-\r
-newtype MyInt = My Int\r
-  deriving (Eq,Show,Num, Enum)\r
-\r
-newtype MkT a = MkT a\r
-  deriving (Show)\r
-\r
-newtype MkT2 a = MkT2 (MkT a)\r
-  deriving Show\r
-\r
-data Param2 s r = P2 (FakeSTRef r (s(Param2 s r)))\r
-               | P2Nil\r
-data FakeSTRef r s = Ref s\r
-\r
-testParam2 = O (P2 (Ref P2Nil))\r
-\r
-infixr 5 :^ \r
---test T{t=t1} = undefined\r
-\r
-instance Show Show1 where\r
- show (S1 a b c) = show (a)\r
-\r
-type Just1 = Maybe\r
-\r
-\r
-data Unary = Unary deriving Show\r
-\r
-poly :: a -> ()\r
-poly x = seq x ()
\ No newline at end of file
+module Test.Test2 where
+import Data.Typeable
+
+data Show1 = S1 Char Char Char
+ deriving Typeable
+
+data Strict = S2 Char !Char
+
+data Opaque = forall a. O a
+data List1 a = Nil | a :^ (List1 a)
+  deriving Show
+
+newtype MyInt = My Int
+  deriving (Eq,Show,Num, Enum)
+
+newtype MkT a = MkT a
+  deriving (Show)
+
+newtype MkT2 a = MkT2 (MkT a)
+  deriving Show
+
+data Param2 s r = P2 (FakeSTRef r (s(Param2 s r)))
+                | P2Nil
+data FakeSTRef r s = Ref s
+
+testParam2 = O (P2 (Ref P2Nil))
+
+infixr 5 :^
+--test T{t=t1} = undefined
+
+instance Show Show1 where
+ show (S1 a b c) = show (a)
+
+type Just1 = Maybe
+
+
+data Unary = Unary deriving Show
+
+poly :: a -> ()
+poly x = seq x ()
index f1ea575..1cb9fef 100644 (file)
@@ -1,9 +1,9 @@
--- Trac #1581\r
--- Even though Eq is not in scope unqualified, we want to \r
--- see the Eq instance of Foo when we say :i Foo\r
-\r
-module Foo where\r
-import qualified Prelude\r
-\r
-data Foo = Foo\r
-instance Prelude.Eq Foo\r
+-- Trac #1581
+-- Even though Eq is not in scope unqualified, we want to
+-- see the Eq instance of Foo when we say :i Foo
+
+module Foo where
+import qualified Prelude
+
+data Foo = Foo
+instance Prelude.Eq Foo
index 19f9e5b..25cd603 100644 (file)
@@ -1,22 +1,22 @@
-{-# OPTIONS_GHC -O2 #-}\r
-\r
--- Reading the interface file caused a black hole\r
--- in earlier versions of GHC\r
-\r
--- Also, foo should compile to very tight code with -O2\r
--- (The O2 was nothing to do with the black hole though.)\r
-\r
-module ShouldCompile where\r
-\r
-import ATLoop_help\r
-\r
-foo :: FooT Int -> Int -> Int\r
-foo t n = t `seq` bar n\r
-   where\r
-     bar 0 = 0\r
-     bar n | even n = bar (n `div` 2)\r
-     bar n          = bar (n - int t)\r
-\r
-\r
-\r
-\r
+{-# OPTIONS_GHC -O2 #-}
+
+-- Reading the interface file caused a black hole
+-- in earlier versions of GHC
+
+-- Also, foo should compile to very tight code with -O2
+-- (The O2 was nothing to do with the black hole though.)
+
+module ShouldCompile where
+
+import ATLoop_help
+
+foo :: FooT Int -> Int -> Int
+foo t n = t `seq` bar n
+   where
+     bar 0 = 0
+     bar n | even n = bar (n `div` 2)
+     bar n          = bar (n - int t)
+
+
+
+
index 8814f48..6c36691 100644 (file)
@@ -1,10 +1,10 @@
-{-# LANGUAGE TypeFamilies #-}\r
-module ATLoop_help where\r
-\r
-class Foo a where\r
-   data FooT a :: *\r
-   int :: FooT a -> Int\r
-\r
-instance Foo Int where\r
-    data FooT Int = FooInt !Int\r
-    int (FooInt n) = n\r
+{-# LANGUAGE TypeFamilies #-}
+module ATLoop_help where
+
+class Foo a where
+   data FooT a :: *
+   int :: FooT a -> Int
+
+instance Foo Int where
+    data FooT Int = FooInt !Int
+    int (FooInt n) = n
index 971a464..d57e58c 100644 (file)
@@ -1,26 +1,26 @@
-{-# LANGUAGE TypeFamilies #-}\r
-{-# LANGUAGE RankNTypes #-}\r
-{-# LANGUAGE FlexibleContexts #-}\r
-{-# LANGUAGE GADTs #-}\r
-\r
--- This test uses the PushC rule of the System FC operational semantics\r
--- Writen by Tom Schrijvers\r
-\r
-module CoTest3 where \r
-\r
-data T a = K (a ~ Int => a -> Int) \r
-\r
-\r
-{-# INLINE[2] f #-}\r
-f :: T s1 ~ T s2 => T s1 -> T s2\r
-f x = x\r
-\r
-{-# INLINE[3] test #-}\r
-test :: T s1 ~ T s2 => (s1 ~ Int => s1 -> Int) -> (s2 ~ Int => s2 -> Int) \r
-test g = case f (K g) of\r
-           K r -> r\r
-e :: s ~ Int => s -> s -> Int\r
-e _ s = s\r
-\r
-final :: s1 ~ s2 => s1 -> (s2 ~ Int => s2 -> Int)\r
-final x = test (e x)\r
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE GADTs #-}
+
+-- This test uses the PushC rule of the System FC operational semantics
+-- Writen by Tom Schrijvers
+
+module CoTest3 where
+
+data T a = K (a ~ Int => a -> Int)
+
+
+{-# INLINE[2] f #-}
+f :: T s1 ~ T s2 => T s1 -> T s2
+f x = x
+
+{-# INLINE[3] test #-}
+test :: T s1 ~ T s2 => (s1 ~ Int => s1 -> Int) -> (s2 ~ Int => s2 -> Int)
+test g = case f (K g) of
+           K r -> r
+e :: s ~ Int => s -> s -> Int
+e _ s = s
+
+final :: s1 ~ s2 => s1 -> (s2 ~ Int => s2 -> Int)
+final x = test (e x)
index 063f702..78f45f5 100644 (file)
@@ -1,31 +1,31 @@
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts, TypeFamilies #-}\r
-module PushedInAsGivens where \r
-\r
-\r
-type family F a\r
-\r
-\r
-\r
-bar y = let foo :: (F Int ~ [a]) => a -> Int \r
-            foo x = length [x,y]  \r
-        in (y,foo y)\r
-\r
-\r
--- This example demonstrates why we need to push in \r
--- an unsolved wanted as a given and not a given/solved.\r
--- [Wanted] F Int ~ [beta]\r
---- forall a. F Int ~ [a] => a ~ beta \r
--- We we push in the [Wanted] as given, it will interact and solve the implication\r
--- constraint, and finally we quantify over F Int ~ [beta]. If we push it in as\r
--- Given/Solved, it will be discarded when we meet the given (F Int ~ [a]) and \r
--- we will not be able to solve the implication constraint.\r
-\r
--- Oct 14: actually this example is _really_ strange, and doesn't illustrate\r
--- the real issue in Trac #4935, for which there is a separate test\r
---\r
--- The example here requires us to infer a type\r
---   bar :: F Int ~ [a] => ...\r
--- which is a strange type to quantify over; better to complain about\r
--- having no instance for F Int.\r
-\r
-\r
+{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts, TypeFamilies #-}
+module PushedInAsGivens where
+
+
+type family F a
+
+
+
+bar y = let foo :: (F Int ~ [a]) => a -> Int
+            foo x = length [x,y]
+        in (y,foo y)
+
+
+-- This example demonstrates why we need to push in
+-- an unsolved wanted as a given and not a given/solved.
+-- [Wanted] F Int ~ [beta]
+--- forall a. F Int ~ [a] => a ~ beta
+-- We we push in the [Wanted] as given, it will interact and solve the implication
+-- constraint, and finally we quantify over F Int ~ [beta]. If we push it in as
+-- Given/Solved, it will be discarded when we meet the given (F Int ~ [a]) and
+-- we will not be able to solve the implication constraint.
+
+-- Oct 14: actually this example is _really_ strange, and doesn't illustrate
+-- the real issue in Trac #4935, for which there is a separate test
+--
+-- The example here requires us to infer a type
+--   bar :: F Int ~ [a] => ...
+-- which is a strange type to quantify over; better to complain about
+-- having no instance for F Int.
+
+
index 7a256e1..54b7708 100644 (file)
@@ -1,12 +1,12 @@
-{-# LANGUAGE TypeFamilies, StandaloneDeriving, DeriveDataTypeable, FlexibleInstances #-}\r
-\r
-module T1769 where\r
-\r
-import Data.Typeable\r
-\r
-data family T a\r
-deriving instance Typeable T\r
--- deriving instance Functor T\r
-\r
-data instance T [b] = T1 | T2 b \r
-deriving instance Eq b => Eq (T [b])\r
+{-# LANGUAGE TypeFamilies, StandaloneDeriving, DeriveDataTypeable, FlexibleInstances #-}
+
+module T1769 where
+
+import Data.Typeable
+
+data family T a
+deriving instance Typeable T
+-- deriving instance Functor T
+
+data instance T [b] = T1 | T2 b
+deriving instance Eq b => Eq (T [b])
index d284db0..2c6af5b 100644 (file)
@@ -1,23 +1,23 @@
-{-# LANGUAGE GeneralizedNewtypeDeriving, TypeFamilies, FlexibleContexts, FlexibleInstances #-}\r
-\r
-module T2850 where\r
-\r
-class K a where\r
-  bar :: a -> a\r
-\r
-class K (B a) => M a where\r
-  data B a :: *\r
-  foo :: B a -> B a\r
-\r
-instance M Bool where\r
-  data B Bool = B1Bool Bool | B2Bool Bool\r
-  foo = id\r
-\r
-instance K (B Bool) where\r
-  bar = id\r
-\r
--- The 'deriving K' gives the (K (B Int)) instance\r
--- needed for the superclasses of M\r
-instance M Int where\r
-  newtype B Int = BInt (B Bool) deriving K\r
-  foo = id\r
+{-# LANGUAGE GeneralizedNewtypeDeriving, TypeFamilies, FlexibleContexts, FlexibleInstances #-}
+
+module T2850 where
+
+class K a where
+  bar :: a -> a
+
+class K (B a) => M a where
+  data B a :: *
+  foo :: B a -> B a
+
+instance M Bool where
+  data B Bool = B1Bool Bool | B2Bool Bool
+  foo = id
+
+instance K (B Bool) where
+  bar = id
+
+-- The 'deriving K' gives the (K (B Int)) instance
+-- needed for the superclasses of M
+instance M Int where
+  newtype B Int = BInt (B Bool) deriving K
+  foo = id
index bbca944..6cea203 100644 (file)
@@ -1,12 +1,12 @@
-{-# LANGUAGE TypeFamilies, UndecidableInstances, StandaloneDeriving #-}\r
-{-# LANGUAGE FlexibleInstances #-}\r
-\r
-module T3423 where\r
-\r
-newtype Trie m k a = Trie (Maybe a, m (SubKey k) (Trie m k a))\r
-\r
-type family SubKey k\r
-type instance SubKey [k] = k\r
-\r
-deriving instance (Eq (m k (Trie m [k] a)), Eq a) \r
-               => Eq (Trie m [k] a)\r
+{-# LANGUAGE TypeFamilies, UndecidableInstances, StandaloneDeriving #-}
+{-# LANGUAGE FlexibleInstances #-}
+
+module T3423 where
+
+newtype Trie m k a = Trie (Maybe a, m (SubKey k) (Trie m k a))
+
+type family SubKey k
+type instance SubKey [k] = k
+
+deriving instance (Eq (m k (Trie m [k] a)), Eq a)
+               => Eq (Trie m [k] a)
index 752ba59..97a4748 100644 (file)
@@ -1,61 +1,61 @@
-{-# LANGUAGE TypeFamilies #-}\r
-\r
-module T3826 where\r
-\r
-class C a where\r
-  type E a\r
-  c :: E a -> a -> a\r
-\r
-data T a = MkT a\r
--- MkT :: a -> T a\r
-\r
-instance C (T b) where\r
-  type E (T b) = b\r
-  c x (MkT _) = MkT x\r
-\r
-\r
-f t@(MkT x) = c x t\r
-\r
-{- c :: E alpha -> alpha -> alpha\r
-   t :: T beta\r
-   x :: beta\r
-   f :: T beta -> gamma\r
-\r
-\r
-   [W] C alpha\r
-   [W] E alpha ~ beta\r
-   [W] alpha ~ T beta\r
-   [W] gamma ~ alpha   \r
-\r
---->                       beta = t_aqf  alpha = t_aqg\r
-   alpha := T beta\r
-   gamma := alpha\r
-\r
-   [W] E (T beta) ~ beta\r
-\r
--->\r
-   [W] ufsk ~ beta      \r
-   [W] E (T beta) ~ ufsk\r
-\r
---> (swap and subst)\r
-   beta := ufsk\r
-   [W] x : E (T ufsk) ~ ufsk   (do not rewrite RHS)\r
-\r
-take a step   ax: E (T beta) ~ beta\r
-\r
--->\r
-   [W] ufsk \r
---------------------------\r
- But what about this?\r
---------------------------\r
-\r
-axiom F [a] = F [a]\r
-\r
-   x : F [a] ~ fsk\r
-step\r
-   ax : F [a] ~ F [a] \r
-flatten\r
-   ax ; x : F [a] ~ fsk\r
-   x = ax ; x       Oh dear!\r
--}\r
-\r
+{-# LANGUAGE TypeFamilies #-}
+
+module T3826 where
+
+class C a where
+  type E a
+  c :: E a -> a -> a
+
+data T a = MkT a
+-- MkT :: a -> T a
+
+instance C (T b) where
+  type E (T b) = b
+  c x (MkT _) = MkT x
+
+
+f t@(MkT x) = c x t
+
+{- c :: E alpha -> alpha -> alpha
+   t :: T beta
+   x :: beta
+   f :: T beta -> gamma
+
+
+   [W] C alpha
+   [W] E alpha ~ beta
+   [W] alpha ~ T beta
+   [W] gamma ~ alpha
+
+--->                       beta = t_aqf  alpha = t_aqg
+   alpha := T beta
+   gamma := alpha
+
+   [W] E (T beta) ~ beta
+
+-->
+   [W] ufsk ~ beta
+   [W] E (T beta) ~ ufsk
+
+--> (swap and subst)
+   beta := ufsk
+   [W] x : E (T ufsk) ~ ufsk   (do not rewrite RHS)
+
+take a step   ax: E (T beta) ~ beta
+
+-->
+   [W] ufsk
+--------------------------
+ But what about this?
+--------------------------
+
+axiom F [a] = F [a]
+
+   x : F [a] ~ fsk
+step
+   ax : F [a] ~ F [a]
+flatten
+   ax ; x : F [a] ~ fsk
+   x = ax ; x       Oh dear!
+-}
+
index 3b40db1..7c2f252 100644 (file)
@@ -1,24 +1,24 @@
-{-# LANGUAGE GADTs, TypeFamilies #-}\r
-\r
-module T3851 where\r
-\r
-type family TF a :: * -> *\r
-type instance TF () = App (Equ ())\r
-\r
-data Equ ix ix' where Refl :: Equ ix ix\r
-data App f x = App (f x)\r
-\r
--- does not typecheck in 6.12.1 (but works in 6.10.4)\r
-bar :: TF () () -> ()\r
-bar (App Refl) = ()\r
-\r
--- does typecheck in 6.12.1 and 6.10.4\r
-ar :: App (Equ ()) () -> ()\r
-ar (App Refl) = ()\r
-\r
-------------------\r
-data family DF a :: * -> *\r
-data instance DF () a = D (App (Equ ()) a)\r
-\r
-bar_df :: DF () () -> ()\r
-bar_df (D (App Refl)) = ()\r
+{-# LANGUAGE GADTs, TypeFamilies #-}
+
+module T3851 where
+
+type family TF a :: * -> *
+type instance TF () = App (Equ ())
+
+data Equ ix ix' where Refl :: Equ ix ix
+data App f x = App (f x)
+
+-- does not typecheck in 6.12.1 (but works in 6.10.4)
+bar :: TF () () -> ()
+bar (App Refl) = ()
+
+-- does typecheck in 6.12.1 and 6.10.4
+ar :: App (Equ ()) () -> ()
+ar (App Refl) = ()
+
+------------------
+data family DF a :: * -> *
+data instance DF () a = D (App (Equ ()) a)
+
+bar_df :: DF () () -> ()
+bar_df (D (App Refl)) = ()
index 6a1be25..d7fdbd5 100644 (file)
@@ -1,46 +1,46 @@
-{-# LANGUAGE DeriveFunctor, StandaloneDeriving, FlexibleInstances, TypeFamilies, GeneralizedNewtypeDeriving #-}\r
-module T4185 where\r
-\r
-data family Foo k :: * -> *\r
-\r
-------------- Generalised newtype deriving of user class -----------\r
-class Bar f where\r
-       bar :: f a -> Int\r
-        woo :: f a -> f a\r
-\r
-instance Bar Maybe where\r
-       bar Nothing = 0\r
-       bar Just{} = 1\r
-        woo x = x\r
-\r
--- Deriving clause\r
-newtype instance Foo Int a = FooInt (Maybe a) deriving (Bar)\r
-\r
--- Standalone deriving\r
-newtype instance Foo Char a = FooChar (Maybe a) \r
-deriving instance Bar (Foo Char)\r
-\r
-{-\r
-dBarMaybe :: Bar Maybe\r
-\r
-newtype FooInt a = FooInt (Maybe a)\r
-axiom ax7 a : Foo Int a ~ FooInt a   -- Family axiom\r
-axiom ax7   : FooInt ~ Maybe         -- Newtype axiom\r
-\r
-dBarFooInt :: Bar (Foo Int)\r
-dBarFooInt = dBarMaybe |> Bar ax7\r
--}\r
-\r
-------------- Deriving on data types for Functor -----------\r
-\r
--- Deriving clause\r
-data instance Foo Bool a = FB1 a | FB2 a deriving( Functor )\r
-\r
--- Standalone deriving\r
-data instance Foo Float a = FB3 a\r
-deriving instance Functor (Foo Float)\r
-\r
-\r
---instance Functor (Foo Bool) where\r
---  fmap f (FB1 x) = FB1 (f x)\r
---  fmap f (FB2 y) = FB2 (f y)
\ No newline at end of file
+{-# LANGUAGE DeriveFunctor, StandaloneDeriving, FlexibleInstances, TypeFamilies, GeneralizedNewtypeDeriving #-}
+module T4185 where
+
+data family Foo k :: * -> *
+
+------------- Generalised newtype deriving of user class -----------
+class Bar f where
+        bar :: f a -> Int
+        woo :: f a -> f a
+
+instance Bar Maybe where
+        bar Nothing = 0
+        bar Just{} = 1
+        woo x = x
+
+-- Deriving clause
+newtype instance Foo Int a = FooInt (Maybe a) deriving (Bar)
+
+-- Standalone deriving
+newtype instance Foo Char a = FooChar (Maybe a)
+deriving instance Bar (Foo Char)
+
+{-
+dBarMaybe :: Bar Maybe
+
+newtype FooInt a = FooInt (Maybe a)
+axiom ax7 a : Foo Int a ~ FooInt a   -- Family axiom
+axiom ax7   : FooInt ~ Maybe         -- Newtype axiom
+
+dBarFooInt :: Bar (Foo Int)
+dBarFooInt = dBarMaybe |> Bar ax7
+-}
+
+------------- Deriving on data types for Functor -----------
+
+-- Deriving clause
+data instance Foo Bool a = FB1 a | FB2 a deriving( Functor )
+
+-- Standalone deriving
+data instance Foo Float a = FB3 a
+deriving instance Functor (Foo Float)
+
+
+--instance Functor (Foo Bool) where
+--  fmap f (FB1 x) = FB1 (f x)
+--  fmap f (FB2 y) = FB2 (f y)
index 345b574..cdb397c 100644 (file)
@@ -1,21 +1,21 @@
-{-# LANGUAGE GADTs, TypeFamilies #-}\r
-\r
-module TF_GADT where\r
-\r
--- Check that type families can be declared in GADT syntax\r
--- and indeed *be* GADTs\r
-\r
-data family T a\r
-\r
-data instance T [a] where\r
-  T1 :: a -> T [a]\r
-\r
-\r
-data instance T (Maybe a) where\r
-  T3 :: Int -> T (Maybe Int)\r
-  T4 :: a -> b -> T (Maybe (a,b))\r
-\r
-\r
-f :: a -> T (Maybe a) -> T (Maybe a)\r
-f x (T3 i) = T3 x\r
-f x (T4 p q) = T4 p (snd x)\r
+{-# LANGUAGE GADTs, TypeFamilies #-}
+
+module TF_GADT where
+
+-- Check that type families can be declared in GADT syntax
+-- and indeed *be* GADTs
+
+data family T a
+
+data instance T [a] where
+  T1 :: a -> T [a]
+
+
+data instance T (Maybe a) where
+  T3 :: Int -> T (Maybe Int)
+  T4 :: a -> b -> T (Maybe (a,b))
+
+
+f :: a -> T (Maybe a) -> T (Maybe a)
+f x (T3 i) = T3 x
+f x (T4 p q) = T4 p (snd x)
index d401356..fabd785 100644 (file)
@@ -1,8 +1,8 @@
-{-# LANGUAGE TypeFamilies, StandaloneDeriving #-}\r
-\r
--- Crashed 6.12\r
-\r
-module T1769 where\r
-\r
-data family T a\r
-deriving instance Functor T\r
+{-# LANGUAGE TypeFamilies, StandaloneDeriving #-}
+
+-- Crashed 6.12
+
+module T1769 where
+
+data family T a
+deriving instance Functor T
index 0e98910..2150cd5 100644 (file)
@@ -1,30 +1,30 @@
-{-# LANGUAGE TypeOperators, TypeFamilies #-}\r
-{-# LANGUAGE AllowAmbiguousTypes #-}\r
-    -- The type of 'empty' is indeed ambiguous\r
-\r
-module T2544 where\r
-\r
-data (:|:) a b = Inl a | Inr b\r
-\r
-class Ix i where\r
-   type IxMap i :: * -> *\r
-   empty  :: IxMap i [Int]\r
-\r
-data BiApp a b c = BiApp (a c) (b c)\r
-\r
-instance (Ix l, Ix r) => Ix (l :|: r) where\r
-   type IxMap (l :|: r) = BiApp (IxMap l) (IxMap r)\r
-   empty = BiApp empty empty\r
-\r
--- [W] w1: a c ~ IxMap ii1 [Int]                  (from first 'empty')\r
--- [W] w2: b c ~ IxMap ii2 [Int]                  (from second 'empty')\r
--- [W] w3: BiApp a b c ~ IxMap (l :|: r) [Int]    (from call of BiApp\r
---           ~ BiApp (IxMap l) (IxMap r) [Int]\r
-\r
--- If we process w3 first, we'll rewrite it with w1, w2\r
--- yielding two constraints (Ix io ~ IxMap l, Ix i1 ~ IxMap r)\r
--- both with location of w3.  Then we report just one of them,\r
--- because we suppress multiple errors from the same location\r
---\r
--- But if we process w1,w2 first, we'll get the same constraints\r
--- but this time with different locations.\r
+{-# LANGUAGE TypeOperators, TypeFamilies #-}
+{-# LANGUAGE AllowAmbiguousTypes #-}
+    -- The type of 'empty' is indeed ambiguous
+
+module T2544 where
+
+data (:|:) a b = Inl a | Inr b
+
+class Ix i where
+   type IxMap i :: * -> *
+   empty  :: IxMap i [Int]
+
+data BiApp a b c = BiApp (a c) (b c)
+
+instance (Ix l, Ix r) => Ix (l :|: r) where
+   type IxMap (l :|: r) = BiApp (IxMap l) (IxMap r)
+   empty = BiApp empty empty
+
+-- [W] w1: a c ~ IxMap ii1 [Int]                  (from first 'empty')
+-- [W] w2: b c ~ IxMap ii2 [Int]                  (from second 'empty')
+-- [W] w3: BiApp a b c ~ IxMap (l :|: r) [Int]    (from call of BiApp
+--           ~ BiApp (IxMap l) (IxMap r) [Int]
+
+-- If we process w3 first, we'll rewrite it with w1, w2
+-- yielding two constraints (Ix io ~ IxMap l, Ix i1 ~ IxMap r)
+-- both with location of w3.  Then we report just one of them,
+-- because we suppress multiple errors from the same location
+--
+-- But if we process w1,w2 first, we'll get the same constraints
+-- but this time with different locations.
index 2d98785..2d12756 100644 (file)
@@ -1,40 +1,40 @@
-{-# LANGUAGE GADTs, EmptyDataDecls, ScopedTypeVariables, TypeFamilies #-}\r
-\r
-module T4093b where\r
-\r
-data C\r
-data O\r
-\r
-type family   EitherCO e a b :: *\r
-type instance EitherCO C a b = a\r
-type instance EitherCO O a b = b\r
-\r
-data MaybeC ex t where\r
-  JustC    :: t -> MaybeC C t\r
-  NothingC ::      MaybeC O t\r
-\r
-data Block (n :: * -> * -> *) e x\r
-\r
-\r
-blockToNodeList ::\r
-  forall n e x. (EitherCO e (A C O n) (A O O n) ~ A e O n,\r
-                 EitherCO x (A C C n) (A C O n) ~ A C x n) =>\r
-    Block n e x -> A e x n\r
-\r
-type A e x n = (MaybeC e (n C O), MaybeC x (n O C))\r
-blockToNodeList b = foldBlockNodesF (f, l) b z \r
-  where\r
-    z :: EitherCO e (EitherCO e (A C O n) (A O O n)) (EitherCO e (A C O n) (A O O n))\r
-    z = undefined\r
-\r
-    f :: n C O -> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C O n) (A O O n)\r
-    f n _ = (JustC n, NothingC)\r
-\r
-    l :: n O C -> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C C n) (A O C n)\r
-    l _ = undefined\r
-\r
-foldBlockNodesF  :: forall n a b c e x .\r
-                   ( n C O       -> a -> b\r
-                   , n O C       -> b -> c)\r
-                 -> (Block n e x -> EitherCO e a b -> EitherCO x c b)\r
-foldBlockNodesF _ = undefined\r
+{-# LANGUAGE GADTs, EmptyDataDecls, ScopedTypeVariables, TypeFamilies #-}
+
+module T4093b where
+
+data C
+data O
+
+type family   EitherCO e a b :: *
+type instance EitherCO C a b = a
+type instance EitherCO O a b = b
+
+data MaybeC ex t where
+  JustC    :: t -> MaybeC C t
+  NothingC ::      MaybeC O t
+
+data Block (n :: * -> * -> *) e x
+
+
+blockToNodeList ::
+  forall n e x. (EitherCO e (A C O n) (A O O n) ~ A e O n,
+                 EitherCO x (A C C n) (A C O n) ~ A C x n) =>
+    Block n e x -> A e x n
+
+type A e x n = (MaybeC e (n C O), MaybeC x (n O C))
+blockToNodeList b = foldBlockNodesF (f, l) b z
+  where
+    z :: EitherCO e (EitherCO e (A C O n) (A O O n)) (EitherCO e (A C O n) (A O O n))
+    z = undefined
+
+    f :: n C O -> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C O n) (A O O n)
+    f n _ = (JustC n, NothingC)
+
+    l :: n O C -> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C C n) (A O C n)
+    l _ = undefined
+
+foldBlockNodesF  :: forall n a b c e x .
+                   ( n C O       -> a -> b
+                   , n O C       -> b -> c)
+                 -> (Block n e x -> EitherCO e a b -> EitherCO x c b)
+foldBlockNodesF _ = undefined
index 60b5640..ad28058 100644 (file)
@@ -1,15 +1,15 @@
-{-# LANGUAGE TypeFamilies, FlexibleInstances #-}\r
-module T4246 where\r
-\r
-class Stupid a where\r
-   type F a\r
-\r
-instance {-# OVERLAPPABLE #-} Stupid a where\r
-   type F a = a\r
-\r
-instance {-# OVERLAPPING #-} Stupid Int where\r
-   type F Int = Bool\r
-\r
-type family G a :: *\r
-type instance G Int = Int\r
-type instance G Int = Bool\r
+{-# LANGUAGE TypeFamilies, FlexibleInstances #-}
+module T4246 where
+
+class Stupid a where
+   type F a
+
+instance {-# OVERLAPPABLE #-} Stupid a where
+   type F a = a
+
+instance {-# OVERLAPPING #-} Stupid Int where
+   type F Int = Bool
+
+type family G a :: *
+type instance G Int = Int
+type instance G Int = Bool
index c904c2c..6896ecf 100644 (file)
@@ -1,12 +1,12 @@
-{-# LANGUAGE DoRec #-}\r
-\r
--- check that do-rec does not perform segmentation\r
-t :: IO [Int]\r
-t = do rec xs <- return (1:xs)\r
-           print (length (take 10 xs))     -- would diverge without segmentation\r
-       return (take 10 xs)\r
-\r
--- should diverge when run\r
--- currently it exhibits itself via a blocked MVar operation\r
-main :: IO ()\r
-main = t >>= print\r
+{-# LANGUAGE DoRec #-}
+
+-- check that do-rec does not perform segmentation
+t :: IO [Int]
+t = do rec xs <- return (1:xs)
+           print (length (take 10 xs))     -- would diverge without segmentation
+       return (take 10 xs)
+
+-- should diverge when run
+-- currently it exhibits itself via a blocked MVar operation
+main :: IO ()
+main = t >>= print
index f818afa..45b78f6 100644 (file)
@@ -1,8 +1,8 @@
-{-# LANGUAGE DoRec #-}\r
-\r
-main :: IO ()\r
-main = do x <- return (length [1 .. 42 :: Int])\r
-          rec b <- return x\r
-              let a = const c\r
-              c <- print "x"\r
-          print (b, a b)\r
+{-# LANGUAGE DoRec #-}
+
+main :: IO ()
+main = do x <- return (length [1 .. 42 :: Int])
+          rec b <- return x
+              let a = const c
+              c <- print "x"
+          print (b, a b)
index eee0be9..88ed4e7 100644 (file)
@@ -1,10 +1,10 @@
-{-# LANGUAGE RecursiveDo #-}\r
-\r
--- check that mdo does perform segmentation\r
-t :: IO [Int]\r
-t = mdo xs <- return (1:xs)\r
-        print (length (take 10 xs))     -- would diverge without segmentation\r
-        return (take 10 xs)\r
-\r
-main :: IO ()\r
-main = t >>= print\r
+{-# LANGUAGE RecursiveDo #-}
+
+-- check that mdo does perform segmentation
+t :: IO [Int]
+t = mdo xs <- return (1:xs)
+        print (length (take 10 xs))     -- would diverge without segmentation
+        return (take 10 xs)
+
+main :: IO ()
+main = t >>= print
index f9e2de2..1c4ff27 100644 (file)
@@ -1,11 +1,11 @@
-{-# LANGUAGE DoRec #-}\r
-\r
--- check that do-rec does not perform segmentation\r
--- compare with ../should_fail/mdofail006.hs\r
-t :: IO [Int]\r
-t = do rec xs <- return (1:xs)\r
-       print (length (take 10 xs))     -- would work since out of the segment\r
-       return (take 10 xs)\r
-\r
-main :: IO ()\r
-main = t >>= print\r
+{-# LANGUAGE DoRec #-}
+
+-- check that do-rec does not perform segmentation
+-- compare with ../should_fail/mdofail006.hs
+t :: IO [Int]
+t = do rec xs <- return (1:xs)
+       print (length (take 10 xs))     -- would work since out of the segment
+       return (take 10 xs)
+
+main :: IO ()
+main = t >>= print
index 6cd647b..75a07c1 100644 (file)
@@ -1,8 +1,8 @@
-{-# OPTIONS_GHC -fwarn-unused-imports #-}\r
-module Test where\r
-\r
-import qualified Control.Monad (ap)\r
-import qualified Control.Monad.Reader\r
-\r
-foo :: IO ()\r
-foo = return id `Control.Monad.ap` return ()\r
+{-# OPTIONS_GHC -fwarn-unused-imports #-}
+module Test where
+
+import qualified Control.Monad (ap)
+import qualified Control.Monad.Reader
+
+foo :: IO ()
+foo = return id `Control.Monad.ap` return ()
index 0fcbdf6..1fb6f71 100644 (file)
@@ -1,28 +1,28 @@
-{-# OPTIONS_GHC -fwarn-unused-imports #-}\r
-\r
-module Test where\r
-\r
-import qualified System.FilePath as FilePath.Native\r
-         ( joinPath )\r
-import qualified System.FilePath.Posix as FilePath.Posix\r
-         ( joinPath, splitDirectories )\r
-import qualified System.FilePath.Windows as FilePath.Windows\r
-         ( joinPath )\r
-\r
-data TarPath = TarPath FilePath -- path name, 100 characters max.\r
-                       FilePath -- path prefix, 155 characters max.\r
-\r
-fromTarPath, fromTarPathToPosixPath\r
-           , fromTarPathToWindowsPath :: TarPath -> FilePath\r
-\r
-fromTarPath (TarPath name prefix) =\r
-  FilePath.Native.joinPath $ FilePath.Posix.splitDirectories prefix\r
-                          ++ FilePath.Posix.splitDirectories name\r
-\r
-fromTarPathToPosixPath (TarPath name prefix) =\r
-  FilePath.Posix.joinPath $ FilePath.Posix.splitDirectories prefix\r
-                         ++ FilePath.Posix.splitDirectories name\r
-\r
-fromTarPathToWindowsPath (TarPath name prefix) =\r
-  FilePath.Windows.joinPath $ FilePath.Posix.splitDirectories prefix\r
-                           ++ FilePath.Posix.splitDirectories name\r
+{-# OPTIONS_GHC -fwarn-unused-imports #-}
+
+module Test where
+
+import qualified System.FilePath as FilePath.Native
+         ( joinPath )
+import qualified System.FilePath.Posix as FilePath.Posix
+         ( joinPath, splitDirectories )
+import qualified System.FilePath.Windows as FilePath.Windows
+         ( joinPath )
+
+data TarPath = TarPath FilePath -- path name, 100 characters max.
+                       FilePath -- path prefix, 155 characters max.
+
+fromTarPath, fromTarPathToPosixPath
+           , fromTarPathToWindowsPath :: TarPath -> FilePath
+
+fromTarPath (TarPath name prefix) =
+  FilePath.Native.joinPath $ FilePath.Posix.splitDirectories prefix
+                          ++ FilePath.Posix.splitDirectories name
+
+fromTarPathToPosixPath (TarPath name prefix) =
+  FilePath.Posix.joinPath $ FilePath.Posix.splitDirectories prefix
+                         ++ FilePath.Posix.splitDirectories name
+
+fromTarPathToWindowsPath (TarPath name prefix) =
+  FilePath.Windows.joinPath $ FilePath.Posix.splitDirectories prefix
+                           ++ FilePath.Posix.splitDirectories name
index c6758e5..11dc838 100644 (file)
@@ -1,19 +1,19 @@
-{-# OPTIONS_GHC -XFlexibleContexts -fwarn-unused-imports #-}\r
-\r
-module ArrayBoundedU\r
-   ( T\r
-   , create\r
-   , at\r
-   ) where\r
-\r
-import Data.Ix\r
-import qualified Data.Array.Unboxed as Array\r
-import Data.Array.Base (unsafeAt)\r
-\r
-newtype T i e = T (Array.UArray i e)\r
-\r
-create :: (Ix i, Bounded i, Array.IArray Array.UArray e) => [(i,e)] -> T i e\r
-create ies = T (Array.array (minBound, maxBound) ies)\r
-\r
-at :: (Ix i, Bounded i, Array.IArray Array.UArray e) => T i e -> i -> e\r
-at (T a) i = unsafeAt a (index (minBound, maxBound) i)\r
+{-# OPTIONS_GHC -XFlexibleContexts -fwarn-unused-imports #-}
+
+module ArrayBoundedU
+   ( T
+   , create
+   , at
+   ) where
+
+import Data.Ix
+import qualified Data.Array.Unboxed as Array
+import Data.Array.Base (unsafeAt)
+
+newtype T i e = T (Array.UArray i e)
+
+create :: (Ix i, Bounded i, Array.IArray Array.UArray e) => [(i,e)] -> T i e
+create ies = T (Array.array (minBound, maxBound) ies)
+
+at :: (Ix i, Bounded i, Array.IArray Array.UArray e) => T i e -> i -> e
+at (T a) i = unsafeAt a (index (minBound, maxBound) i)
index 851997c..04731fb 100644 (file)
@@ -1,12 +1,12 @@
-{-# OPTIONS_GHC -fwarn-unused-imports -Werror #-}\r
-\r
-module T2267 where\r
-\r
-import qualified Data.ByteString as B\r
-import qualified Data.ByteString.UTF8 as BU\r
-\r
-toString :: B.ByteString -> String\r
-toString = BU.toString\r
-\r
-fromString :: String -> B.ByteString\r
-fromString = BU.fromString\r
+{-# OPTIONS_GHC -fwarn-unused-imports -Werror #-}
+
+module T2267 where
+
+import qualified Data.ByteString as B
+import qualified Data.ByteString.UTF8 as BU
+
+toString :: B.ByteString -> String
+toString = BU.toString
+
+fromString :: String -> B.ByteString
+fromString = BU.fromString
index d324111..3d816a2 100644 (file)
@@ -1,16 +1,16 @@
-{-# OPTIONS_GHC -XTransformListComp #-}\r
-\r
-module Foo where\r
-\r
-import Data.List\r
-import GHC.Exts\r
-\r
-foo = [ ()\r
-      | x <- [1..10]\r
-      , then take 5\r
-      , then sortWith by x\r
-      , then group by x using groupWith\r
-      , then group using inits\r
-      , then group by x using groupWith\r
-      ]\r
-\r
+{-# OPTIONS_GHC -XTransformListComp #-}
+
+module Foo where
+
+import Data.List
+import GHC.Exts
+
+foo = [ ()
+      | x <- [1..10]
+      , then take 5
+      , then sortWith by x
+      , then group by x using groupWith
+      , then group using inits
+      , then group by x using groupWith
+      ]
+
index d07f897..979d3ce 100644 (file)
@@ -1,4 +1,4 @@
-module ShouldFail where\r
-\r
-class Foo o where\r
-  (:+) :: o -> o -> o\r
+module ShouldFail where
+
+class Foo o where
+  (:+) :: o -> o -> o
index bdd9f97..7849e7f 100644 (file)
@@ -1,12 +1,12 @@
--- Check error message for transforms if we don't have the right extension turned on\r
-\r
-module Foo where\r
-\r
-import Data.List\r
-import GHC.Exts\r
-\r
-foo = [ ()\r
-      | x <- [1..10]\r
-      , then take 5\r
-      , then sortWith by x\r
-      ]
\ No newline at end of file
+-- Check error message for transforms if we don't have the right extension turned on
+
+module Foo where
+
+import Data.List
+import GHC.Exts
+
+foo = [ ()
+      | x <- [1..10]
+      , then take 5
+      , then sortWith by x
+      ]
index 65e00b3..c88e44b 100644 (file)
@@ -1,14 +1,14 @@
--- Check error message for groups if we don't have the right extension turned on\r
-\r
-module Foo where\r
-\r
-import Data.List\r
-import GHC.Exts\r
-\r
-foo = [ ()\r
-      | x <- [1..10]\r
-      , then group by x using groupWith\r
-      , then group by x using groupWith\r
-      , then group using inits\r
-      ]\r
-\r
+-- Check error message for groups if we don't have the right extension turned on
+
+module Foo where
+
+import Data.List
+import GHC.Exts
+
+foo = [ ()
+      | x <- [1..10]
+      , then group by x using groupWith
+      , then group by x using groupWith
+      , then group using inits
+      ]
+
index 9027374..5fd6687 100644 (file)
@@ -1,3 +1,3 @@
-main = print hello\r
--- test that layout has not been screwed up\r
-hello = "こんにちは 世界"\r
+main = print hello
+-- test that layout has not been screwed up
+hello = "こんにちは 世界"
index 4626245..7376271 100644 (file)
@@ -1,27 +1,27 @@
-{-# LANGUAGE PolyKinds,\r
-             TypeFamilies,\r
-             GADTs,\r
-             DataKinds,\r
-             KindSignatures\r
- #-}\r
-\r
-module T5862 where\r
-\r
-data Nat = Zero | Succ Nat\r
-\r
-data SNat a where\r
-  SZero :: SNat 'Zero\r
-  SSucc :: SNat n -> SNat ('Succ n)\r
-\r
-data SBool a where\r
-  SFalse :: SBool 'False\r
-  STrue :: SBool 'True\r
-\r
-data SMaybe a where\r
-  SNothing :: SMaybe 'Nothing\r
-  SJust :: Sing a -> SMaybe ('Just a)\r
-\r
-type family Sing (a :: k)\r
-type instance Sing (a :: Nat) = SNat a\r
-type instance Sing (a :: Bool) = SBool a\r
-type instance Sing (a :: Maybe *) = SMaybe a -- want to say Maybe k\r
+{-# LANGUAGE PolyKinds,
+             TypeFamilies,
+             GADTs,
+             DataKinds,
+             KindSignatures
+ #-}
+
+module T5862 where
+
+data Nat = Zero | Succ Nat
+
+data SNat a where
+  SZero :: SNat 'Zero
+  SSucc :: SNat n -> SNat ('Succ n)
+
+data SBool a where
+  SFalse :: SBool 'False
+  STrue :: SBool 'True
+
+data SMaybe a where
+  SNothing :: SMaybe 'Nothing
+  SJust :: Sing a -> SMaybe ('Just a)
+
+type family Sing (a :: k)
+type instance Sing (a :: Nat) = SNat a
+type instance Sing (a :: Bool) = SBool a
+type instance Sing (a :: Maybe *) = SMaybe a -- want to say Maybe k
index 33c4195..b44bda2 100644 (file)
@@ -1,12 +1,12 @@
-{-# LANGUAGE DataKinds #-}\r
-\r
--- This bug related to type trimming, and \r
--- hence showed up only with -O0\r
-\r
-module Bug() where\r
-\r
-data UnaryTypeC a = UnaryDataC a\r
-\r
-type Bug = 'UnaryDataC\r
-\r
-\r
+{-# LANGUAGE DataKinds #-}
+
+-- This bug related to type trimming, and
+-- hence showed up only with -O0
+
+module Bug() where
+
+data UnaryTypeC a = UnaryDataC a
+
+type Bug = 'UnaryDataC
+
+
index a044efe..895de1f 100644 (file)
@@ -1,21 +1,21 @@
-{-# LANGUAGE DataKinds, FunctionalDependencies, FlexibleInstances,\r
-             UndecidableInstances, PolyKinds, KindSignatures,\r
-             ConstraintKinds, FlexibleContexts #-}\r
-\r
-module T6020 where\r
-\r
-class Id (a :: k) (b :: k) | a -> b\r
-instance Id a a\r
-\r
-f :: Id x y => x -> y\r
-f = f\r
-\r
---class Test (x :: a) (y :: a) | x -> y\r
---instance (Id x y, Id y z) => Test x z\r
-\r
--- (Id x0 y0, Id y0 z0, x~x0, z~z0)\r
--- (Id x y0, Id y0 z, y0~z, y0~y)\r
-\r
---test :: Test True True => ()\r
---test = ()\r
-\r
+{-# LANGUAGE DataKinds, FunctionalDependencies, FlexibleInstances,
+             UndecidableInstances, PolyKinds, KindSignatures,
+             ConstraintKinds, FlexibleContexts #-}
+
+module T6020 where
+
+class Id (a :: k) (b :: k) | a -> b
+instance Id a a
+
+f :: Id x y => x -> y
+f = f
+
+--class Test (x :: a) (y :: a) | x -> y
+--instance (Id x y, Id y z) => Test x z
+
+-- (Id x0 y0, Id y0 z0, x~x0, z~z0)
+-- (Id x y0, Id y0 z, y0~z, y0~y)
+
+--test :: Test True True => ()
+--test = ()
+
index c9e4342..a6f5ffe 100644 (file)
@@ -1,28 +1,28 @@
-{-# LANGUAGE PolyKinds, DataKinds, TypeFamilies, KindSignatures, GADTs,  TypeOperators\r
-  #-}\r
-\r
-module T6035 where\r
-\r
-data Nat = Zero | Succ Nat\r
-\r
-type family Sing (a :: k) :: k -> *\r
-\r
-data SNat n where\r
-  SZero :: SNat Zero\r
-  SSucc :: SNat n -> SNat (Succ n)\r
-\r
-data SList (a :: [k]) where\r
-  SNil :: SList '[]\r
-  SCons :: Sing h h -> SList t -> SList (h ': t)\r
-\r
-type instance Sing (a :: Nat) = SNat\r
-type instance Sing (a :: [k]) = SList\r
-\r
-nil :: SList '[]\r
-nil = SNil\r
-\r
-zero :: SList '[ '[] ]\r
-zero = SCons SNil SNil\r
-\r
-term :: SList '[ '[Zero], '[]]\r
-term = SCons (SCons SZero SNil) (SCons SNil SNil)\r
+{-# 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)
index 4425c85..c64f489 100644 (file)
@@ -1,17 +1,17 @@
-{-# LANGUAGE DataKinds, TypeFamilies, PolyKinds, GADTs #-}\r
-\r
-module T6036 where\r
-\r
-data family Sing (a :: k)\r
-\r
-data instance Sing (a :: Maybe k) where\r
-  SNothing :: Sing 'Nothing\r
-  SJust :: Sing b -> Sing ('Just b)\r
-\r
-data Nat = Zero | Succ Nat\r
-\r
-data instance Sing (a :: Nat) where\r
-  SZero :: Sing Zero\r
-  SSucc :: Sing n -> Sing (Succ n)\r
-\r
-term = SJust SZero\r
+{-# LANGUAGE DataKinds, TypeFamilies, PolyKinds, GADTs #-}
+
+module T6036 where
+
+data family Sing (a :: k)
+
+data instance Sing (a :: Maybe k) where
+  SNothing :: Sing 'Nothing
+  SJust :: Sing b -> Sing ('Just b)
+
+data Nat = Zero | Succ Nat
+
+data instance Sing (a :: Nat) where
+  SZero :: Sing Zero
+  SSucc :: Sing n -> Sing (Succ n)
+
+term = SJust SZero
index e406bca..e0c66ad 100644 (file)
@@ -1,8 +1,8 @@
-{-# LANGUAGE PolyKinds, TypeFamilies #-}\r
-\r
-module T7073 where\r
-\r
-class Foo a where\r
-   type Bar a\r
-   type Bar a = Int\r
-\r
+{-# LANGUAGE PolyKinds, TypeFamilies #-}
+
+module T7073 where
+
+class Foo a where
+   type Bar a
+   type Bar a = Int
+
index 7589662..0622fda 100644 (file)
@@ -1,7 +1,7 @@
-{-# LANGUAGE PolyKinds #-}\r
-\r
-module T7272 where\r
-\r
-import T7272a\r
-\r
-class C (a :: k)\r
+{-# LANGUAGE PolyKinds #-}
+
+module T7272 where
+
+import T7272a
+
+class C (a :: k)
index 3fe7677..b282234 100644 (file)
@@ -1,5 +1,5 @@
-{-# LANGUAGE PolyKinds #-}\r
-\r
-module T7272a where\r
-\r
-import {-# SOURCE #-} T7272\r
+{-# LANGUAGE PolyKinds #-}
+
+module T7272a where
+
+import {-# SOURCE #-} T7272
index bb5d84c..26b283f 100644 (file)
@@ -1,2 +1,2 @@
-data N = Z\r
-type T = 'Z\r
+data N = Z
+type T = 'Z
index 8c562d7..dad3d03 100644 (file)
@@ -1,9 +1,9 @@
-{-# LANGUAGE DeriveDataTypeable #-}\r
-\r
-module A where\r
-\r
-import Data.Data\r
-import Data.Typeable\r
-\r
-data Foo = Foo Int\r
-  deriving (Show, Data, Typeable)\r
+{-# LANGUAGE DeriveDataTypeable #-}
+
+module A where
+
+import Data.Data
+import Data.Typeable
+
+data Foo = Foo Int
+  deriving (Show, Data, Typeable)
index 3c13315..eee8dc9 100644 (file)
@@ -1,11 +1,11 @@
-{-# LANGUAGE TemplateHaskell #-}\r
-module QQ where\r
-\r
-import Language.Haskell.TH.Quote\r
-import Language.Haskell.TH\r
-\r
-pq = QuasiQuoter { quoteDec = \_ -> [d| f x = x |], \r
-                   quoteType = \_ -> [t| Int -> Int |],\r
-                   quoteExp = \_ -> [| $(varE (mkName "x")) + 1::Int |],\r
-                   quotePat = \_ -> [p| Just x |] }\r
-\r
+{-# LANGUAGE TemplateHaskell #-}
+module QQ where
+
+import Language.Haskell.TH.Quote
+import Language.Haskell.TH
+
+pq = QuasiQuoter { quoteDec = \_ -> [d| f x = x |],
+                   quoteType = \_ -> [t| Int -> Int |],
+                   quoteExp = \_ -> [| $(varE (mkName "x")) + 1::Int |],
+                   quotePat = \_ -> [p| Just x |] }
+
index 42cef72..0f81321 100644 (file)
@@ -1,13 +1,13 @@
-{-# LANGUAGE QuasiQuotes #-}\r
-module Test where\r
-\r
-import QQ\r
-\r
-f :: [pq| foo |]    -- Expands to Int -> Int\r
-[pq| blah |]       -- Expands to f x = x\r
-\r
-h [pq| foo |] = f [pq| blah |] * 8     \r
-       -- Expands to h (Just x) = f (x+1) * 8\r
-\r
-\r
-\r
+{-# LANGUAGE QuasiQuotes #-}
+module Test where
+
+import QQ
+
+f :: [pq| foo |]    -- Expands to Int -> Int
+[pq| blah |]        -- Expands to f x = x
+
+h [pq| foo |] = f [pq| blah |] * 8
+        -- Expands to h (Just x) = f (x+1) * 8
+
+
+
index 418a695..c9be124 100644 (file)
@@ -1,30 +1,30 @@
-{-# LANGUAGE RebindableSyntax #-}\r
-\r
--- Trac #303\r
-\r
-module T where\r
-import qualified Prelude as P\r
-\r
-class IxMonad m where\r
-    return :: a -> m i i a\r
-    (>>=) :: m i j a -> (a -> m j k b) -> m i k b\r
-    (>>)  :: m i j a -> m j k b -> m i k b\r
-    m >> n = m >>= \_ -> n\r
-\r
-    fail :: P.String -> m i j a\r
-    fail s = P.error s\r
-\r
-data T a b c = T\r
-instance IxMonad T where\r
-    return _ = T\r
-    m >>= f  = T\r
-    fail _   = T\r
-\r
-testM :: T (a,b) b a\r
-testM = T\r
-\r
-test1 = testM >>= \x -> return x\r
-\r
-test2  = do\r
-   x <- testM\r
-   return x\r
+{-# LANGUAGE RebindableSyntax #-}
+
+-- Trac #303
+
+module T where
+import qualified Prelude as P
+
+class IxMonad m where
+    return :: a -> m i i a
+    (>>=) :: m i j a -> (a -> m j k b) -> m i k b
+    (>>)  :: m i j a -> m j k b -> m i k b
+    m >> n = m >>= \_ -> n
+
+    fail :: P.String -> m i j a
+    fail s = P.error s
+
+data T a b c = T
+instance IxMonad T where
+    return _ = T
+    m >>= f  = T
+    fail _   = T
+
+testM :: T (a,b) b a
+testM = T
+
+test1 = testM >>= \x -> return x
+
+test2  = do
+   x <- testM
+   return x
index 8e0000e..01f3eda 100644 (file)
@@ -1,38 +1,38 @@
-{-# OPTIONS -XRebindableSyntax #-}\r
-\r
--- This one tests rebindable syntax for do-notation\r
-\r
-module Main where\r
-\r
-import qualified Prelude\r
-import GHC.Num\r
-import GHC.Base hiding( Monad(..) )\r
-\r
-class Foo a where\r
-  op :: a -> a\r
-\r
-data T a = MkT a \r
-\r
-instance Foo Int where\r
-  op x = x+1\r
-\r
-(>>=) :: Foo a => T a -> (a -> T b) -> T b\r
-(>>=) (MkT x) f = f (op x)\r
-\r
-(>>) :: Foo a => T a -> T b -> T b\r
-(>>) x y = x >>= (\_ -> y)\r
-\r
-return :: Num a => a -> T a\r
-return x = MkT (x+1)\r
-\r
-fail :: String -> T a\r
-fail s = error "urk"\r
-\r
-t1 :: T Int\r
-t1 = MkT 4\r
-\r
-myt = do { x <- t1\r
-        ; return x }\r
-\r
-main = case myt of\r
-        MkT i -> Prelude.print i\r
+{-# OPTIONS -XRebindableSyntax #-}
+
+-- This one tests rebindable syntax for do-notation
+
+module Main where
+
+import qualified Prelude
+import GHC.Num
+import GHC.Base hiding( Monad(..) )
+
+class Foo a where
+  op :: a -> a
+
+data T a = MkT a
+
+instance Foo Int where
+  op x = x+1
+
+(>>=) :: Foo a => T a -> (a -> T b) -> T b
+(>>=) (MkT x) f = f (op x)
+
+(>>) :: Foo a => T a -> T b -> T b
+(>>) x y = x >>= (\_ -> y)
+
+return :: Num a => a -> T a
+return x = MkT (x+1)
+
+fail :: String -> T a
+fail s = error "urk"
+
+t1 :: T Int
+t1 = MkT 4
+
+myt = do { x <- t1
+         ; return x }
+
+main = case myt of
+         MkT i -> Prelude.print i
index 5cfd641..29a14d8 100644 (file)
@@ -1,14 +1,14 @@
-{-# LANGUAGE TypeFamilies #-}\r
-{-# OPTIONS_GHC -fwarn-duplicate-exports #-}\r
-\r
-module T2436( C(..), T(..), module T2436a, S(..) ) where\r
-\r
-import T2436a\r
-\r
-class C a where\r
-  data T a\r
-\r
-instance C Int where\r
-  data T Int = TInt Int\r
-\r
-data instance S Int = SInt
\ No newline at end of file
+{-# LANGUAGE TypeFamilies #-}
+{-# OPTIONS_GHC -fwarn-duplicate-exports #-}
+
+module T2436( C(..), T(..), module T2436a, S(..) ) where
+
+import T2436a
+
+class C a where
+  data T a
+
+instance C Int where
+  data T Int = TInt Int
+
+data instance S Int = SInt
index 4813fd9..72f04df 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies #-}\r
-module T2436a( S ) where\r
-\r
-data family S a
\ No newline at end of file
+{-# LANGUAGE TypeFamilies #-}
+module T2436a( S ) where
+
+data family S a
index efbeb29..06a1818 100644 (file)
@@ -1,10 +1,10 @@
-{-# OPTIONS_GHC -Wall #-}\r
-{-# LANGUAGE ViewPatterns #-}\r
-\r
-module T3943 where\r
-\r
--- Note that 'r' is used, in the view pattern\r
--- The bug was that 'r' was reported unused\r
-\r
-test :: ([a], [a]) -> [a]\r
-test x = let (r,(r++) -> rs) = x in rs\r
+{-# OPTIONS_GHC -Wall #-}
+{-# LANGUAGE ViewPatterns #-}
+
+module T3943 where
+
+-- Note that 'r' is used, in the view pattern
+-- The bug was that 'r' was reported unused
+
+test :: ([a], [a]) -> [a]
+test x = let (r,(r++) -> rs) = x in rs
index a967cad..0436128 100644 (file)
@@ -1,6 +1,6 @@
-{-# OPTIONS_GHC -fwarn-missing-import-lists #-}\r
-module T4489 where\r
-\r
-import Data.Maybe\r
-import Data.Maybe( Maybe(..) )\r
-import Data.Maybe( Maybe(Just) )\r
+{-# OPTIONS_GHC -fwarn-missing-import-lists #-}
+module T4489 where
+
+import Data.Maybe
+import Data.Maybe( Maybe(..) )
+import Data.Maybe( Maybe(Just) )
index 641176b..8a4aec3 100644 (file)
@@ -1,5 +1,5 @@
-{-# LANGUAGE TypeFamilies #-}\r
-module T5306 where\r
-\r
-import T5306b(F(FInt))   -- succeeds\r
-import T5306a(F(FBool))  -- failed (before fix)\r
+{-# LANGUAGE TypeFamilies #-}
+module T5306 where
+
+import T5306b(F(FInt))   -- succeeds
+import T5306a(F(FBool))  -- failed (before fix)
index 783131b..9c3d4cf 100644 (file)
@@ -1,5 +1,5 @@
-{-# LANGUAGE TypeFamilies #-}\r
-module T5306a( F(..) ) where\r
-import T5306b\r
-\r
-data instance F Bool = FBool\r
+{-# LANGUAGE TypeFamilies #-}
+module T5306a( F(..) ) where
+import T5306b
+
+data instance F Bool = FBool
index 4801b79..728e279 100644 (file)
@@ -1,5 +1,5 @@
-{-# LANGUAGE TypeFamilies #-}\r
-module T5306b where\r
-\r
-data family F a\r
-data instance F Int = FInt\r
+{-# LANGUAGE TypeFamilies #-}
+module T5306b where
+
+data family F a
+data instance F Int = FInt
index 73a6f06..638f074 100644 (file)
@@ -1,10 +1,10 @@
-module T7007 where\r
-\r
-import Data.Monoid( Monoid(..) )\r
-\r
-infixr 5 ++   -- This unambiguously refers to the local definition\r
-\r
-(++) :: Monoid a => a -> a -> a\r
-(++) = mappend\r
-\r
-\r
+module T7007 where
+
+import Data.Monoid( Monoid(..) )
+
+infixr 5 ++   -- This unambiguously refers to the local definition
+
+(++) :: Monoid a => a -> a -> a
+(++) = mappend
+
+
index 166bae6..c218faa 100644 (file)
@@ -1,8 +1,8 @@
-module T7336 ( U, T ) where\r
-\r
-data U = MkU deriving Show\r
--- Want to report MkU as unused\r
-\r
-data T = MkT deriving Read\r
--- But MkT is not unused; we might\r
--- parse a string to generate it\r
+module T7336 ( U, T ) where
+
+data U = MkU deriving Show
+-- Want to report MkU as unused
+
+data T = MkT deriving Read
+-- But MkT is not unused; we might
+-- parse a string to generate it
index 74f11af..ca766ee 100644 (file)
@@ -1,16 +1,16 @@
-{-# OPTIONS_GHC -fwarn-name-shadowing -XNamedFieldPuns -XRecordWildCards #-}\r
-module WildCard where\r
-\r
-data Record = Record {field1 :: Int, field2 :: Double}\r
-\r
-field3 :: Int\r
-field3 = 3\r
-\r
-test1 (Record {field1, field2}) = let test = 1 in field1\r
-\r
-test2 :: (Record, Int)\r
-test2 = let\r
-    field1 = 10\r
-    field2 = 10.0\r
-    field3 = 8\r
-    in (Record {..}, field3)\r
+{-# OPTIONS_GHC -fwarn-name-shadowing -XNamedFieldPuns -XRecordWildCards #-}
+module WildCard where
+
+data Record = Record {field1 :: Int, field2 :: Double}
+
+field3 :: Int
+field3 = 3
+
+test1 (Record {field1, field2}) = let test = 1 in field1
+
+test2 :: (Record, Int)
+test2 = let
+    field1 = 10
+    field2 = 10.0
+    field3 = 8
+    in (Record {..}, field3)
index e01efb9..e53dd26 100644 (file)
@@ -1,4 +1,4 @@
-module T3792 where\r
-\r
-import Prelude( Prelude.map )  -- Illegal\r
-\r
+module T3792 where
+
+import Prelude( Prelude.map )   -- Illegal
+
index 2d0e69a..56c958c 100644 (file)
@@ -1,16 +1,16 @@
-{-# OPTIONS_GHC -fwarn-unused-imports  #-}\r
-module RedundantImport where\r
-\r
--- this import is redundant, but GHC does not spot it\r
-import qualified Foreign.Storable \r
-\r
-import Foreign.Storable (Storable, sizeOf, alignment, peek, poke, )\r
-import Foreign.Ptr (castPtr, )\r
-\r
-newtype T a = Cons a\r
-\r
-instance Storable a => Storable (T a) where\r
-   sizeOf (Cons a) = sizeOf a\r
-   alignment (Cons a) = alignment a\r
-   peek = fmap Cons . peek . castPtr\r
-   poke p (Cons a) = poke (castPtr p) a\r
+{-# OPTIONS_GHC -fwarn-unused-imports  #-}
+module RedundantImport where
+
+-- this import is redundant, but GHC does not spot it
+import qualified Foreign.Storable
+
+import Foreign.Storable (Storable, sizeOf, alignment, peek, poke, )
+import Foreign.Ptr (castPtr, )
+
+newtype T a = Cons a
+
+instance Storable a => Storable (T a) where
+   sizeOf (Cons a) = sizeOf a
+   alignment (Cons a) = alignment a
+   peek = fmap Cons . peek . castPtr
+   poke p (Cons a) = poke (castPtr p) a
index dd2d733..2541035 100644 (file)
@@ -1,8 +1,8 @@
-{-# LANGUAGE RecordWildCards #-}\r
-\r
-module T9436 where\r
-\r
-data T = T { x :: Int }\r
-\r
-f :: T -> Int\r
-f (T' { .. }) = x + 1\r
+{-# LANGUAGE RecordWildCards #-}
+
+module T9436 where
+
+data T = T { x :: Int }
+
+f :: T -> Int
+f (T' { .. }) = x + 1
index cd2ad7f..acc6ff8 100644 (file)
@@ -1,8 +1,8 @@
-{-# LANGUAGE RecordWildCards #-}\r
-\r
-module T9437 where\r
-\r
-data Foo = Foo { x :: Int }\r
-\r
-test :: Foo -> Foo\r
-test foo = foo { .. }\r
+{-# LANGUAGE RecordWildCards #-}
+
+module T9437 where
+
+data Foo = Foo { x :: Int }
+
+test :: Foo -> Foo
+test foo = foo { .. }
index 492cebb..a978b80 100644 (file)
@@ -1,10 +1,10 @@
-{-# LANGUAGE TemplateHaskell #-}\r
-\r
--- Duplicate bindings introduced one at a time with TH\r
-module ShouldFail where\r
-\r
-f x = x\r
-\r
-$([d| h x = x |])\r
-\r
-f x = x\r
+{-# LANGUAGE TemplateHaskell #-}
+
+-- Duplicate bindings introduced one at a time with TH
+module ShouldFail where
+
+f x = x
+
+$([d| h x = x |])
+
+f x = x
index f8aa7a7..1195214 100644 (file)
@@ -1,4 +1,4 @@
--- Qualified name in binding position\r
-module ShouldFail where\r
-\r
-data Test = Map.Map Int Int\r
+-- Qualified name in binding position
+module ShouldFail where
+
+data Test = Map.Map Int Int
index 0d426a4..1ae3da6 100644 (file)
@@ -1,14 +1,14 @@
--- Test trying to use a function bound in the list comprehension as the group function\r
-\r
-{-# OPTIONS_GHC -XRankNTypes -XTransformListComp #-}\r
-\r
-module RnFail049 where\r
-\r
-import Data.List(inits, tails)\r
-\r
-functions :: [[a] -> [[a]]]\r
-functions = [inits, tails]\r
-\r
-output = [() | f <- functions, then group using f]\r
-\r
-\r
+-- Test trying to use a function bound in the list comprehension as the group function
+
+{-# OPTIONS_GHC -XRankNTypes -XTransformListComp #-}
+
+module RnFail049 where
+
+import Data.List(inits, tails)
+
+functions :: [[a] -> [[a]]]
+functions = [inits, tails]
+
+output = [() | f <- functions, then group using f]
+
+