fix T4981-V3 to avoid DOS line endings
authorKarel Gardas <karel.gardas@centrum.cz>
Sun, 10 Aug 2014 20:32:52 +0000 (22:32 +0200)
committerKarel Gardas <karel.gardas@centrum.cz>
Sun, 10 Aug 2014 20:32:52 +0000 (22:32 +0200)
testsuite/tests/indexed-types/should_compile/T4981-V3.hs

index 242e752..e6bcd47 100644 (file)
@@ -1,45 +1,44 @@
-{-# LANGUAGE CPP, TypeFamilies, FlexibleContexts #-}\r
-module Class ( cleverNamedResolve ) where\r
-\r
-data FL p = FL p\r
-\r
-class PatchInspect p where\r
-instance PatchInspect p => PatchInspect (FL p) where\r
-\r
-type family PrimOf p\r
-type instance PrimOf (FL p) = PrimOf p\r
-\r
-data WithName prim = WithName prim\r
-\r
-instance PatchInspect prim => PatchInspect (WithName prim) where\r
-\r
-class (PatchInspect (PrimOf p)) => Conflict p where\r
-    resolveConflicts :: p -> PrimOf p\r
-\r
-instance Conflict p => Conflict (FL p) where\r
-    resolveConflicts = undefined\r
-\r
-type family OnPrim p\r
-\r
-joinPatches :: p -> p\r
-\r
-joinPatches = id\r
-\r
-cleverNamedResolve :: (Conflict (OnPrim p)\r
-                      ,PrimOf (OnPrim p) ~ WithName (PrimOf p))\r
-                   => p -> FL (OnPrim p) -> WithName (PrimOf p)\r
-cleverNamedResolve x = resolveConflicts . joinPatches\r
--- I added the parameter 'x' to make the signature unambiguous\r
--- I don't think that ambiguity is essential to the original problem\r
-\r
-{-\r
-resolveConflicts :: q -> PrimOf q\r
- (w) FL (OnPrim p) ~ q\r
- (w) WithName (PrimOf p) ~ PrimOf q\r
-==>\r
- (w) PrimOf (OnPrim p) ~ PrimOf (FL (OnPrim p))\r
-==>\r
- (w) PrimOf (OnPrim p) ~ PrimOf (OnPrim p)\r
-\r
--}
+{-# LANGUAGE CPP, TypeFamilies, FlexibleContexts #-}
+module Class ( cleverNamedResolve ) where
+
+data FL p = FL p
+
+class PatchInspect p where
+instance PatchInspect p => PatchInspect (FL p) where
+
+type family PrimOf p
+type instance PrimOf (FL p) = PrimOf p
+
+data WithName prim = WithName prim
+
+instance PatchInspect prim => PatchInspect (WithName prim) where
+
+class (PatchInspect (PrimOf p)) => Conflict p where
+    resolveConflicts :: p -> PrimOf p
 
+instance Conflict p => Conflict (FL p) where
+    resolveConflicts = undefined
+
+type family OnPrim p
+
+joinPatches :: p -> p
+
+joinPatches = id
+
+cleverNamedResolve :: (Conflict (OnPrim p)
+                      ,PrimOf (OnPrim p) ~ WithName (PrimOf p))
+                   => p -> FL (OnPrim p) -> WithName (PrimOf p)
+cleverNamedResolve x = resolveConflicts . joinPatches
+-- I added the parameter 'x' to make the signature unambiguous
+-- I don't think that ambiguity is essential to the original problem
+
+{-
+resolveConflicts :: q -> PrimOf q
+ (w) FL (OnPrim p) ~ q
+ (w) WithName (PrimOf p) ~ PrimOf q
+==>
+ (w) PrimOf (OnPrim p) ~ PrimOf (FL (OnPrim p))
+==>
+ (w) PrimOf (OnPrim p) ~ PrimOf (OnPrim p)
+
+-}