Changeset 35466 in project


Ignore:
Timestamp:
04/29/18 01:14:16 (4 months ago)
Author:
felix
Message:

man/5: Types chapter, corrected some links, fixed option names

Location:
wiki/man/5
Files:
3 edited
1 moved

Legend:

Unmodified
Added
Removed
  • wiki/man/5/Declarations

    r35384 r35466  
    365365Previous: [[Types]]
    366366
    367 Next: [[Parameters]]
     367Next: [[Included modules]]
  • wiki/man/5/TODO/Supported language

    r35323 r35466  
    1212* [[Modules]]
    1313* [[Types]]
     14* [[Declarations]]
    1415
    1516---
  • wiki/man/5/TODO/Using the compiler

    r35447 r35466  
    6262; -emit-link-file FILENAME : write a list of statically linked extensions to {{FILENAME}}, used for identifying the static objects that need to be linked to an executable.
    6363
    64 ; -emit-type-file FILENAME : Write type-information for declarations of user-defined and globally visible variables to a file of the given name. The generated file is suitable for use with the {{-consult-type-file}} option.
     64; -emit-types-file FILENAME : Write type-information for declarations of user-defined and globally visible variables to a file of the given name. The generated file is suitable for use with the {{-consult-types-file}} option.
    6565
    6666; -explicit-use : Disables automatic use of the units {{library, eval}} and {{expand}}. Use this option if compiling a library unit instead of an application unit.
     
    163163; -strict-types : Assume that the type of variables is not changed by assignments. This gives more type-information during specialization, but violating this assumption will result in unsafe and incorrectly behaving code.
    164164
    165 ; -consult-type-file FILENAME : load additional type database from {{FILENAME}}. Type-definitions in {{FILENAME}} will override previous type-definitions.
     165; -consult-types-file FILENAME : load additional type database from {{FILENAME}}. Type-definitions in {{FILENAME}} will override previous type-definitions.
    166166
    167167; -compile-syntax : Makes macros also available at run-time. By default macros are not available at run-time.
  • wiki/man/5/Types

    r35465 r35466  
    4141User-defined global variables can be declared to have a type using
    4242the {{(declare (type ...))}} or {{:}} syntax.
     43
     44All syntax described hereafter is exported from the {{(chicken type)}}
     45module.
    4346
    4447
     
    235238the type declarations retained in this manner:
    236239
    237 {{-emit-type-file FILENAME}} writes the type-information for all declared
     240{{-emit-types-file FILENAME}} writes the type-information for all declared
    238241definitions in an internal format to {{FILENAME}}.
    239242
    240 {{-consult-type-file FILENAME}} loads and registers the type-information
     243{{-consult-types-file FILENAME}} loads and registers the type-information
    241244in {{FILENAME}} which should be a file generated though a previous use
    242 of {{-emit-type-file}}.
    243 
    244 If library code is used with {{require-extension}} or {{(declare (unit
    245 ...))}}  and a {{.types}} file of the same name exists in the
     245of {{-emit-types-file}}.
     246
     247If library code is used with {{import}}
     248and a {{.types}} file of the same name exists in the
    246249extension repository path, then it is automatically consulted. This
    247250allows code using these libraries to take advantage of type-information
Note: See TracChangeset for help on using the changeset viewer.