Changeset 14804 in project


Ignore:
Timestamp:
05/27/09 08:05:12 (10 years ago)
Author:
felix winkelmann
Message:

documented type declarations

Location:
chicken/branches/scrutiny
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • chicken/branches/scrutiny/TODO

    r14711 r14804  
    110110
    111111** scrutiny
    112 *** document type-specifiers
    113112*** allow giving toplevel procedure names to `scrutinize' option?
    114113*** write test file to trigger every type of warning (diff with result file in test-suite)
  • chicken/branches/scrutiny/manual/Declarations

    r13965 r14804  
    272272  [declaration specifier] (type (SYMBOL TYPESPEC) ...)
    273273
    274 Declares toplevel procedures to have a specific type for scrutiny.
     274Declares toplevel procedures to have a specific type for scrutiny. {{SYMBOL}} should name
     275a toplevel variable and {{TYPESPEC}} should be a type specification, following the syntax
     276given here:
     277
     278  TYPESPEC --> *
     279            |  ( VAL1 ... )
     280 
     281  VAL --> (or VAL1 ...)
     282       |  (struct NAME)
     283       |  (procedure (VAL1 ... [#!optional VALOPT1 ...] [#!rest [VAL]]) . RESULTS)
     284       |  BASIC
     285       |  deprecated
     286 
     287  BASIC --> *
     288         |  string
     289         |  symbol
     290         |  char
     291         |  number
     292         |  boolean
     293         |  list
     294         |  pair
     295         |  procedure
     296         |  vector
     297         |  null
     298         |  eof
     299         |  port
     300         |  blob
     301         |  pointer
     302         |  locative
     303         |  fixnum
     304         |  float
     305 
     306  RESULTS --> *
     307           |  (RVAL1 ...)
     308
     309  RVAL --> undefined
     310        |  noreturn
     311
     312A type-declaration overrides any previous declaration for the same identifier.
    275313
    276314
  • chicken/branches/scrutiny/types.db

    r14800 r14804  
    13391339(string-hash (procedure string-hash (string #!optional fixnum fixnum fixnum) number))
    13401340(string-hash-ci (procedure string-hash-ci (string #!optional fixnum fixnum fixnum) number))
     1341(string-ci-hash (procedure string-ci-hash (string #!optional fixnum fixnum fixnum) number))
    13411342
    13421343;; tcp
Note: See TracChangeset for help on using the changeset viewer.