X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fseparate_compilation.xml;h=696d6878697e0b67fb3fb21731bfc8218351ef09;hp=c33ff2175b6935222206bdb4b5e0b3f6f3aefc1c;hb=dfcf88523ec5988fbcaa2cbf812cc5862ad621cf;hpb=4bcaad0c0fc30984282ae40b802f48b2d9dc20bb
diff --git a/docs/users_guide/separate_compilation.xml b/docs/users_guide/separate_compilation.xml
index c33ff21..696d687 100644
--- a/docs/users_guide/separate_compilation.xml
+++ b/docs/users_guide/separate_compilation.xml
@@ -816,12 +816,14 @@ can be given abstractly, by omitting the '=' sign and everything that follows.
data R (x :: * -> *) y
+You cannot use deriving on a data type declaration; write in
+instance declaration instead.
Class declarations is exactly as in Haskell, except that you may not put
-default method declarations. You can also omit all the class methods entirely.
+default method declarations. You can also omit all the superclasses and class
+methods entirely; but you must either omit them all or put them all in.
- Do not include instance declarations. There is a complication to do with
-how the dictionary functions are named. It may well work, but it's not a well-tested feature.
+ You can include instance declarations just as in Haskell; but omit the "where" part.