Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_compile / FD3.hs
index 333c0c3..475e379 100644 (file)
@@ -1,15 +1,24 @@
-{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}\r
-\r
--- Trac #1795\r
-\r
-module ShouldCompile where\r
-\r
-data A a = A\r
-\r
-class MkA a b | a -> b where\r
-   mkA :: a -> A b\r
-\r
-instance MkA a a where\r
-\r
-translate :: (String, a) -> A a\r
-translate a = mkA a\r
+{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}
+
+-- #1795
+
+module ShouldCompile where
+
+data A a = A
+
+class MkA a b | a -> b where
+   mkA :: a -> A b
+
+instance MkA a a where
+
+translate :: (String, a) -> A a
+translate a = mkA a
+
+{- From the call to mkA
+
+[W] MkA alpha beta
+[W] alpha ~ (String,a)
+[W] A beta ~ A a
+
+==>  beta:=a, alpha:=(String,a)
+-}