Remove some more Windows line endings [skip ci]
authorThomas Miedema <thomasmiedema@gmail.com>
Tue, 23 Feb 2016 03:43:58 +0000 (04:43 +0100)
committerThomas Miedema <thomasmiedema@gmail.com>
Mon, 29 Feb 2016 12:51:34 +0000 (13:51 +0100)
testsuite/tests/ghci/scripts/T9367.hs
testsuite/tests/indexed-types/should_fail/T9357.stderr
testsuite/tests/typecheck/should_compile/PolyRec.hs
testsuite/tests/typecheck/should_fail/T11541.stderr

index 0f24fa4..4ad8699 100644 (file)
@@ -1,2 +1,4 @@
 x = "abc"\r
 main = print x\r
+-- This file has Windows line endings (CRLF) on purpose. Do not remove.\r
+-- See #9367.\r
index c0e08e7..daa735d 100644 (file)
@@ -1,4 +1,4 @@
-\r
-T9357.hs:12:15: error:\r
-    • Illegal polymorphic type: forall a. a -> a\r
-    • In the type instance declaration for ‘F’\r
+
+T9357.hs:12:15: error:
+    • Illegal polymorphic type: forall a. a -> a
+    • In the type instance declaration for ‘F’
index 6ca859b..a2a6e94 100644 (file)
@@ -1,29 +1,29 @@
--- An example of RelaxedPolyRec in action which came up\r
--- on Haskell Cafe June 2010 (Job Vranish)\r
-\r
-module Foo where\r
-\r
-import Data.Maybe\r
-\r
--- The fixed point datatype\r
-data Y f = Y (f (Y f))\r
-\r
--- Silly dummy function\r
-maybeToInt :: Maybe a -> Int\r
-maybeToInt = length . maybeToList\r
-\r
----------------------------\r
--- f and g are mutually recursive\r
--- Even though f has a totally monomorphic\r
--- signature, g has a very polymorphic one\r
-\r
-f :: Y Maybe -> Int\r
-f (Y x) = g maybeToInt x\r
-\r
--- With RelaxedPolyRec we can infer this type\r
--- g :: Functor f => (f Int -> b) -> f (Y Maybe) -> b\r
-g h x = h $ fmap f x\r
-\r
--- 'test' checks that g's type is polymorphic enough\r
-test :: Functor f => (f Int -> b) -> f (Y Maybe) -> b\r
-test = g\r
+-- An example of RelaxedPolyRec in action which came up
+-- on Haskell Cafe June 2010 (Job Vranish)
+
+module Foo where
+
+import Data.Maybe
+
+-- The fixed point datatype
+data Y f = Y (f (Y f))
+
+-- Silly dummy function
+maybeToInt :: Maybe a -> Int
+maybeToInt = length . maybeToList
+
+---------------------------
+-- f and g are mutually recursive
+-- Even though f has a totally monomorphic
+-- signature, g has a very polymorphic one
+
+f :: Y Maybe -> Int
+f (Y x) = g maybeToInt x
+
+-- With RelaxedPolyRec we can infer this type
+-- g :: Functor f => (f Int -> b) -> f (Y Maybe) -> b
+g h x = h $ fmap f x
+
+-- 'test' checks that g's type is polymorphic enough
+test :: Functor f => (f Int -> b) -> f (Y Maybe) -> b
+test = g
index 5669c9c..4302fb0 100644 (file)
@@ -1,2 +1,2 @@
-\r
-T11541.hs:8:12: error: Variable not in scope: foo\r
+
+T11541.hs:8:12: error: Variable not in scope: foo