Changes between Version 8 and Version 9 of Language/Declarations

Timestamp:

06/25/09 02:21:35 (4 years ago)

Author:

benl (IP: 150.203.160.45)

Comment:

--

Language/Declarations

@@ -94 +94 @@
 Foreign imports define the type of an external symbol.
 
-Foreign data imports import a type name from C land. If no kind is given then the kind is assumed to be * (value types). For example:
-
-{{{
-foreign import data "String" String# :: % -> %
+Foreign data imports import a type name from C land. If a kind is given then its resulting kind must be *. If no kind is given then it is assumed to be *. For example:
+
+{{{
+foreign import data "String" String# :: % -> *
 foreign import data "Int32"  Int32#
 }}}