~ chicken-core (chicken-5) faa40741728984ff73a6b26ebc03a93f61491b58


commit faa40741728984ff73a6b26ebc03a93f61491b58
Author:     Peter Bex <peter@more-magic.net>
AuthorDate: Sun Sep 9 13:50:41 2018 +0200
Commit:     Peter Bex <peter@more-magic.net>
CommitDate: Sun Sep 9 13:50:41 2018 +0200

    Sync manual with wiki

diff --git a/manual/Egg specification format b/manual/Egg specification format
index d00344cd..bd7da264 100644
--- a/manual/Egg specification format	
+++ b/manual/Egg specification format	
@@ -104,7 +104,6 @@ or {{unix}}) or a boolean combination of platform values, allowed
 are {{(not PLATFORM)}}, {{(or PLATFORM ...)}} and {{(and PLATFORM ...)}}.
 If the expression can not be satisfied, then installation of this
 egg will abort.
-les
 
 ===== distribution-files
 
diff --git a/manual/Included modules b/manual/Included modules
index adf55e9d..2a4e9a28 100644
--- a/manual/Included modules	
+++ b/manual/Included modules	
@@ -53,6 +53,7 @@ additional modules through the [[Extensions|eggs]] system.
 * [[Module (chicken tcp)]] : Connecting over the network via TCP
 * [[Module (chicken time)]] : Fetching information about the current time
 * [[Module (chicken time posix)]] : Manipulating POSIX time
+* [[Module (chicken type)]] : Defining and using static typing information
 
 ---
 Previous: [[Extensions to the standard]]
diff --git a/manual/Module (chicken file posix) b/manual/Module (chicken file posix)
index 06cda7b1..9823f0bb 100644
--- a/manual/Module (chicken file posix)	
+++ b/manual/Module (chicken file posix)	
@@ -153,17 +153,6 @@ appropriate type. {{FILE}} may be a filename, a file-descriptor or a port object
 Note that these operations follow symbolic links. If the file does
 not exist, {{#f}} is returned.
 
-==== file-read-access?
-==== file-write-access?
-==== file-execute-access?
-
-<procedure>(file-read-access? FILENAME)</procedure><br>
-<procedure>(file-write-access? FILENAME)</procedure><br>
-<procedure>(file-execute-access? FILENAME)</procedure>
-
-These procedures return {{#t}} if the current user has read,
-write or execute permissions on the file named {{FILENAME}}.
-
 ==== regular-file?
 
 <procedure>(regular-file? FILE)</procedure>
diff --git a/manual/Module (chicken file) b/manual/Module (chicken file)
index 8f5a6868..b0aea6f9 100644
--- a/manual/Module (chicken file)	
+++ b/manual/Module (chicken file)	
@@ -110,6 +110,17 @@ Renames the file or directory with the pathname {{OLD}} to
 If {{CLOBBER}} is given and not {{#f}}, {{NEW}} will be replaced when
 it already exists, otherwise an error is signaled.
 
+==== file-readable?
+==== file-writable?
+==== file-executable?
+
+<procedure>(file-readable? FILENAME)</procedure><br>
+<procedure>(file-writable? FILENAME)</procedure><br>
+<procedure>(file-executable? FILENAME)</procedure>
+
+These procedures return {{#t}} if the current user has read,
+write or execute permissions on the file named {{FILENAME}}.
+
 
 === Temporary files and directories
 
diff --git a/manual/Module (chicken type) b/manual/Module (chicken type)
new file mode 100644
index 00000000..30fcd2bd
--- /dev/null
+++ b/manual/Module (chicken type)	
@@ -0,0 +1,12 @@
+[[tags: manual]]
+[[toc:]]
+
+== Module (chicken type)
+
+The functionality in this module is available by default. See
+[[Types]] for more information.
+
+---
+Previous: [[Module (chicken time posix)]]
+
+Next: [[Interface to external functions and variables]]
diff --git a/manual/Modules b/manual/Modules
index ef5ae777..71159d88 100644
--- a/manual/Modules
+++ b/manual/Modules
@@ -130,8 +130,8 @@ The visibility of any imported bindings is limited to the current
 module, if used inside a module-definition, or to the current
 compilation unit, if compiled and used outside of a module.
 
-Importing a module does not load or link it - this is a separate
-operation from importing its bindings.
+Importing a module will also load or link its associated library when
+needed.
 
 {{IMPORT}} may be a module name or an ''import specifier'', where a
 module name is either a symbol or a list of symbols and integers.
@@ -163,6 +163,13 @@ Renames identifiers imported from {{IMPORT}}.
 
 Prefixes all imported identifiers with {{SYMBOL}}.
 
+==== import-syntax
+
+<macro>(import-syntax IMPORT ...)</macro>
+
+Similar to {{import}} but only import syntactic definitions such as
+macros, as well as identifiers, but does not load or link the library
+containing the module.
 
 ==== import-for-syntax
 
@@ -176,6 +183,13 @@ imported into the normal environment because a separate import
 environment for syntax has not been implemented (syntactic bindings
 are kept separate correctly).
 
+==== import-syntax-for-syntax
+
+<macro>(import-syntax-for-syntax IMPORT ...)</macro>
+
+Combination of {{import-syntax}} and {{import-for-syntax}}. Loads
+syntactic definitions and valinside the environment in which macro
+transformers are evaluated but do not load the associated library.
 
 ==== reexport
 
diff --git a/manual/Types b/manual/Types
index 4a3f3ae5..c87ea431 100644
--- a/manual/Types
+++ b/manual/Types
@@ -326,7 +326,6 @@ type-declarations.
 Note that using threads which modify local state makes all
 type-analysis pointless.
 
-
 ---
 Previous: [[Modules]]
 
Trap