X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fusers_guide%2Fglasgow_exts.xml;h=61cff6ecf23afe1c778e862cc7cd08eeaee26a3b;hb=613737b1e6b7f6660536b8c8d959639cb386f5cf;hp=4ed8c2aae3d9d542b2fb3239f005e3a343158b89;hpb=09d0e7d9ca9213c9c51f733dbda38cf8507dfa8d;p=ghc-hetmet.git
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 4ed8c2a..61cff6e 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -381,6 +381,13 @@ worse, the unboxed value might be larger than a pointer
(Double# for instance).
+ You cannot define a newtype whose representation type
+(the argument type of the data constructor) is an unboxed type. Thus,
+this is illegal:
+
+ newtype A = MkA Int#
+
+
You cannot bind a variable with an unboxed type
in a top-level binding.