SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / GivenTypeSynonym.hs
index 918eb78..2ac5375 100644 (file)
@@ -1,14 +1,14 @@
-{-# LANGUAGE TypeFamilies #-}\r
-module Main where \r
-\r
-data A a\r
-\r
-type T a = A a\r
-\r
-\r
-f :: (A a ~ T Int) => a -> Int \r
-f x = x \r
-\r
-\r
-main :: IO ()\r
-main = return ()
\ No newline at end of file
+{-# LANGUAGE TypeFamilies #-}
+module Main where
+
+data A a
+
+type T a = A a
+
+
+f :: (A a ~ T Int) => a -> Int
+f x = x
+
+
+main :: IO ()
+main = return ()