Changeset 14534 in project for chicken


Ignore:
Timestamp:
05/06/09 09:49:48 (11 years ago)
Author:
felix winkelmann
Message:

more types

File:
1 edited

Legend:

Unmodified
Added
Removed
  • chicken/branches/scrutiny/types.db

    r14529 r14534  
    465465(tail? (procedure tail? (* *) boolean))
    466466
     467;; extras
     468
     469(format (procedure format (string #!rest) *))
     470(fprintf (procedure fprintf (port string #!rest) undefined))
     471(pp (procedure pp (* #!optional port) undefined))
     472(pretty-print (procedure pretty-print (* #!optional port) undefined))
     473(pretty-print-width (procedure pretty-print-width (#!optional *) *))
     474(printf (procedure printf (string #!rest) undefined))
     475(random (procedure random (number) number))
     476(random-seed (procedure random-seed (#!optional number) number))
     477(randomize (procedure randomize (#!optional number) undefined))
     478(read-byte (procedure read-byte (#!optional port) number))
     479(read-file (procedure read-file (#!optional port (procedure (port) *) number) list))
     480(read-line (procedure read-line (#!optional port number) *))
     481(read-lines (procedure read-lines (#!optional port number) list))
     482(read-string (procedure read-string (#!optional number port) string))
     483(read-string! (procedure read-string! (number string #!optional port number) undefined))
     484(read-token (procedure read-token ((procedure (char) *) #!optional port) string))
     485(sprintf (procedure sprintf (string #!rest) string))
     486(write-byte (procedure write-byte (number #!optional port) undefined))
     487(write-line (procedure write-line (string #!optional port) undefined))
     488(write-string (procedure write-string (string #!optional number port) undefined))
     489
     490;; files
     491
     492(delete-file* (procedure delete-file* (string) undefined))
     493(file-copy (procedure file-copy (string string #!optional * number) undefined))
     494(file-move (procedure file-move (string string #!optional * number) undefined))
     495(make-pathname (procedure make-pathname (* * #!optional string string) string))
     496(directory-null? (procedure directory-null? (string) boolean))
     497(make-absolute-pathname (procedure make-absolute-pathname (* * #!optional string string) string))
     498(create-temporary-file (procedure create-temporary-file (#!optional string) string))
     499(decompose-pathname (procedure decompose-pathname (string) * * *))
     500(absolute-pathname? (procedure absolute-pathname? (string) boolean))
     501(pathname-directory (procedure pathname-directory (string) *))
     502(pathname-extension (procedure pathname-extension (string) *))
     503(pathname-file (procedure pathname-file (string) *))
     504(pathname-replace-directory (procedure pathname-replace-directory (string string) string))
     505(pathname-replace-extension (procedure pathname-replace-extension (string string) string))
     506(pathname-replace-file (procedure pathname-replace-file (string string) string))
     507(pathname-strip-directory (procedure pathname-strip-directory (string) string))
     508(pathname-strip-extension (procedure pathname-strip-extension (string) string))
     509(normalize-pathname (procedure normalize-pathname (string) string))
     510
    467511#!eof
    468 
    469 ;; extras
    470 
    471 (format (procedure format () *))
    472 (fprintf (procedure fprintf () *))
    473 (pp (procedure pp () *))
    474 (pretty-print (procedure pretty-print () *))
    475 (pretty-print-width (procedure pretty-print-width () *))
    476 (printf (procedure printf () *))
    477 (random (procedure random () *))
    478 (random-seed (procedure random-seed () *))
    479 (randomize (procedure randomize () *))
    480 (read-byte (procedure read-byte () *))
    481 (read-file (procedure read-file () *))
    482 (read-line (procedure read-line () *))
    483 (read-lines (procedure read-lines () *))
    484 (read-string (procedure read-string () *))
    485 (read-string! (procedure read-string! () *))
    486 (read-token (procedure read-token () *))
    487 (sprintf (procedure sprintf () *))
    488 (write-byte (procedure write-byte () *))
    489 (write-line (procedure write-line () *))
    490 (write-string (procedure write-string () *))
    491 
    492 ;; files
    493 
    494 (delete-file* (procedure delete-file* () *))
    495 (file-copy (procedure file-copy () *))
    496 (file-move (procedure file-move () *))
    497 (make-pathname (procedure make-pathname () *))
    498 (directory-null? (procedure directory-null? () *))
    499 (make-absolute-pathname (procedure make-absolute-pathname () *))
    500 (create-temporary-file (procedure create-temporary-file () *))
    501 (decompose-pathname (procedure decompose-pathname () *))
    502 (absolute-pathname? (procedure absolute-pathname? () *))
    503 (pathname-directory (procedure pathname-directory () *))
    504 (pathname-extension (procedure pathname-extension () *))
    505 (pathname-file (procedure pathname-file () *))
    506 (pathname-replace-directory (procedure pathname-replace-directory () *))
    507 (pathname-replace-extension (procedure pathname-replace-extension () *))
    508 (pathname-replace-file (procedure pathname-replace-file () *))
    509 (pathname-strip-directory (procedure pathname-strip-directory () *))
    510 (pathname-strip-extension (procedure pathname-strip-extension () *))
    511 (normalize-pathname (procedure normalize-pathname () *))
    512512
    513513;; irregex
Note: See TracChangeset for help on using the changeset viewer.