Changes between Version 7 and Version 8 of Language/Declarations

Timestamp:

06/25/09 02:20:31 (4 years ago)

Author:

benl (IP: 150.203.160.45)

Comment:

--

Language/Declarations

@@ -40 +40 @@
      |   import  {  ModuleId;+  } 
 }}}
+
+Import the symbols that are exported by another module.
+
+The second form allows us to use the offside rule when writing the list of modules. For example:
+
+{{{
+import Data.List
+       Data.Set
+       System.Console
+}}}
+
+[[br]]
 
 == !TopDecl ==
@@ -82 +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 import data "Int32"  Int32#
+}}}
+
 [[br]]