Changeset 14564 in project


Ignore:
Timestamp:
05/08/09 11:42:33 (11 years ago)
Author:
felix winkelmann
Message:

types

Location:
chicken/branches/scrutiny
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • chicken/branches/scrutiny/scrutinizer.scm

    r14529 r14564  
    8888;   BASIC = * | string | symbol | char | number | boolean | list | pair |
    8989;           procedure | vector | null | eof | undefined | port |
    90 ;           blob | noreturn
     90;           blob | noreturn | pointer | locative
    9191;   RESULTS = *
    9292;           | (VAL1 ...)
  • chicken/branches/scrutiny/types.db

    r14557 r14564  
    537537(irregex-names (procedure irregex-names (*) *))
    538538
    539 #!eof
    540 
    541539;; lolevel
    542540
    543 (address->pointer (procedure address->pointer () *))
    544 (align-to-word (procedure align-to-word () *))
    545 (allocate (procedure allocate () *))
    546 (block-ref (procedure block-ref () *))
    547 (block-set! (procedure block-set! () *))
    548 (extend-procedure (procedure extend-procedure () *))
    549 (extended-procedure? (procedure extended-procedure? () *))
    550 (free (procedure free () *))
    551 (global-bound? (procedure global-bound? () *))
    552 (global-make-unbound! (procedure global-make-unbound! () *))
    553 (global-ref (procedure global-ref () *))
    554 (global-set! (procedure global-set! () *))
    555 (locative->object (procedure locative->object () *))
    556 (locative-ref (procedure locative-ref () *))
    557 (locative-set! (procedure locative-set! () *))
    558 (locative? (procedure locative? () *))
    559 (make-locative (procedure make-locative () *))
    560 (make-record-instance (procedure make-record-instance () *))
    561 (make-weak-locative (procedure make-weak-locative () *))
    562 (move-memory! (procedure move-memory! () *))
    563 (mutate-procedure (procedure mutate-procedure () *))
    564 (null-pointer (procedure null-pointer () *))
    565 (null-pointer? (procedure null-pointer? () *))
    566 (number-of-bytes (procedure number-of-bytes () *))
    567 (number-of-slots (procedure number-of-slots () *))
    568 (object->pointer (procedure object->pointer () *))
    569 (object-become! (procedure object-become! () *))
    570 (object-copy (procedure object-copy () *))
    571 (object-evict (procedure object-evict () *))
    572 (object-evict-to-location (procedure object-evict-to-location () *))
    573 (object-evicted? (procedure object-evicted? () *))
    574 (object-release (procedure object-release () *))
    575 (object-size (procedure object-size () *))
    576 (object-unevict (procedure object-unevict () *))
    577 (pointer->address (procedure pointer->address () *))
    578 (pointer-like? (procedure pointer-like? () *))
    579 (pointer->object (procedure pointer->object () *))
    580 (pointer-f32-ref (procedure pointer-f32-ref () *))
    581 (pointer-f32-set! (procedure pointer-f32-set! () *))
    582 (pointer-f64-ref (procedure pointer-f64-ref () *))
    583 (pointer-f64-set! (procedure pointer-f64-set! () *))
    584 (pointer-offset (procedure pointer-offset () *))
    585 (pointer-s16-ref (procedure pointer-s16-ref () *))
    586 (pointer-s16-set! (procedure pointer-s16-set! () *))
    587 (pointer-s32-ref (procedure pointer-s32-ref () *))
    588 (pointer-s32-set! (procedure pointer-s32-set! () *))
    589 (pointer-s8-ref (procedure pointer-s8-ref () *))
    590 (pointer-s8-set! (procedure pointer-s8-set! () *))
    591 (pointer-tag (procedure pointer-tag () *))
    592 (pointer-u16-ref (procedure pointer-u16-ref () *))
    593 (pointer-u16-set! (procedure pointer-u16-set! () *))
    594 (pointer-u32-ref (procedure pointer-u32-ref () *))
    595 (pointer-u32-set! (procedure pointer-u32-set! () *))
    596 (pointer-u8-ref (procedure pointer-u8-ref () *))
    597 (pointer-u8-set! (procedure pointer-u8-set! () *))
    598 (pointer=? (procedure pointer=? () *))
    599 (pointer? (procedure pointer? () *))
    600 (procedure-data (procedure procedure-data () *))
    601 (record->vector (procedure record->vector () *))
    602 (record-instance? (procedure record-instance? () *))
    603 (record-instance-length (procedure record-instance-length () *))
    604 (record-instance-slot (procedure record-instance-slot () *))
    605 (record-instance-slot-set! (procedure record-instance-slot-set! () *))
    606 (record-instance-type (procedure record-instance-type () *))
    607 (set-invalid-procedure-call-handler! (procedure set-invalid-procedure-call-handler! () *))
    608 (set-procedure-data! (procedure set-procedure-data! () *))
    609 (tag-pointer (procedure tag-pointer () *))
    610 (tagged-pointer? (procedure tagged-pointer? () *))
    611 (unbound-variable-value (procedure unbound-variable-value () *))
    612 (vector-like? (procedure vector-like? () *))
     541(address->pointer (procedure address->pointer (number) pointer))
     542(align-to-word (procedure align-to-word (*) *))
     543(allocate (procedure allocate (number) pointer))
     544(block-ref (procedure block-ref (* number) *))
     545(block-set! (procedure block-set! (* number *) *))
     546(extend-procedure (procedure extend-procedure (procedure *) procedure))
     547(extended-procedure? (procedure extended-procedure? (*) boolean))
     548(free (procedure free (pointer) *))
     549(global-bound? (procedure global-bound? (symbol) boolean))
     550(global-make-unbound! (procedure global-make-unbound! (symbol) symbol))
     551(global-ref (procedure global-ref (symbol) *))
     552(global-set! (procedure global-set! (symbol *) *))
     553(locative->object (procedure locative->object (locative) *))
     554(locative-ref (procedure locative-ref (locative) *))
     555(locative-set! (procedure locative-set! (locative *) *))
     556(locative? (procedure locative? (*) boolean))
     557(make-locative (procedure make-locative (* #!optional number) locative))
     558(make-record-instance (procedure make-record-instance (* #!rest) *))
     559(make-weak-locative (procedure make-weak-locative (* #!optional number) locative))
     560(move-memory! (procedure move-memory! (* * #!optional number number number) *))
     561(mutate-procedure (procedure mutate-procedure (procedure procedure) procedure))
     562(null-pointer (procedure null-pointer () pointer))
     563(null-pointer? (procedure null-pointer? (pointer) boolean))
     564(number-of-bytes (procedure number-of-bytes (*) number))
     565(number-of-slots (procedure number-of-slots (*) number))
     566(object->pointer (procedure object->pointer (*) *))
     567(object-become! (procedure object-become! (list) *))
     568(object-copy (procedure object-copy (*) *))
     569(object-evict (procedure object-evict (* #!optional (procedure (number) pointer)) *))
     570(object-evict-to-location (procedure object-evict-to-location (* pointer #!optional number) * pointer))
     571(object-evicted? (procedure object-evicted? (*) boolean))
     572(object-release (procedure object-release (* #!optional (procedure (pointer) *)) *))
     573(object-size (procedure object-size (*) number))
     574(object-unevict (procedure object-unevict (* #!optional *) *))
     575(pointer->address (procedure pointer->address (pointer) number))
     576(pointer-like? (procedure pointer-like? (*) boolean))
     577(pointer->object (procedure pointer->object (pointer) *))
     578(pointer-f32-ref (procedure pointer-f32-ref (pointer) number))
     579(pointer-f32-set! (procedure pointer-f32-set! (pointer number number) undefined))
     580(pointer-f64-ref (procedure pointer-f64-ref (pointer) number))
     581(pointer-f64-set! (procedure pointer-f64-set! (pointer number) undefined))
     582(pointer-offset (procedure pointer-offset (pointer number) pointer))
     583(pointer-s16-ref (procedure pointer-s16-ref (pointer) number))
     584(pointer-s16-set! (procedure pointer-s16-set! (pointer number) undefined))
     585(pointer-s32-ref (procedure pointer-s32-ref (pointer) number))
     586(pointer-s32-set! (procedure pointer-s32-set! (pointer number) undefined))
     587(pointer-s8-ref (procedure pointer-s8-ref (pointer) number))
     588(pointer-s8-set! (procedure pointer-s8-set! (pointer number) undefined))
     589(pointer-tag (procedure pointer-tag (pointer) *))
     590(pointer-u16-ref (procedure pointer-u16-ref (pointer) number))
     591(pointer-u16-set! (procedure pointer-u16-set! (pointer number) undefined))
     592(pointer-u32-ref (procedure pointer-u32-ref (pointer) number))
     593(pointer-u32-set! (procedure pointer-u32-set! (pointer number) undefined))
     594(pointer-u8-ref (procedure pointer-u8-ref (pointer) number))
     595(pointer-u8-set! (procedure pointer-u8-set! (pointer number) undefined))
     596(pointer=? (procedure pointer=? (pointer pointer) boolean))
     597(pointer? (procedure pointer? (*) boolean))
     598(procedure-data (procedure procedure-data (procedure) *))
     599(record->vector (procedure record->vector (*) vector))
     600(record-instance? (procedure record-instance? (*) boolean))
     601(record-instance-length (procedure record-instance-length (*) number))
     602(record-instance-slot (procedure record-instance-slot (* number) *))
     603(record-instance-slot-set! (procedure record-instance-slot-set! (* number *) undefined))
     604(record-instance-type (procedure record-instance-type (*) *))
     605(set-invalid-procedure-call-handler! (procedure set-invalid-procedure-call-handler! (procedure) undefined))
     606(set-procedure-data! (procedure set-procedure-data! (procedure *) undefined))
     607(tag-pointer (procedure tag-pointer (pointer *) pointer))
     608(tagged-pointer? (procedure tagged-pointer? (*) boolean))
     609(unbound-variable-value (procedure unbound-variable-value (#!optional *) undefined))
     610(vector-like? (procedure vector-like? (*) boolean))
    613611
    614612;; ports
    615613
    616 (call-with-input-string (procedure call-with-input-string () *))
    617 (call-with-output-string (procedure call-with-output-string () *))
    618 (make-input-port (procedure make-input-port () *))
    619 (make-output-port (procedure make-output-port () *))
    620 (port-for-each (procedure port-for-each () *))
    621 (port-map (procedure port-map () *))
    622 (port-fold (procedure port-fold () *))
    623 (make-broadcast-port (procedure make-broadcast-port () *))
    624 (make-concatenated-port (procedure make-concatenated-port () *))
    625 (with-error-output-to-port (procedure with-error-output-to-port () *))
    626 (with-input-from-port (procedure with-input-from-port () *))
    627 (with-input-from-string (procedure with-input-from-string () *))
    628 (with-output-to-port (procedure with-output-to-port () *))
    629 (with-output-to-string (procedure with-output-to-string () *))
    630 (with-error-output-to-port (procedure with-error-output-to-port () *))
     614(call-with-input-string (procedure call-with-input-string (string (procedure () . *)) . *))
     615(call-with-output-string (procedure call-with-output-string ((procedure () . *)) string))
     616(make-input-port (procedure make-input-port ((procedure () char) (procedure () *) (procedure () . *) #!optional (procedure (port) *) (procedure (port number number number) . *) (procedure (port number) string)) port))
     617(make-output-port (procedure make-output-port ((procedure (string) . *) (procedure () . *) (procedure () . *)) port))
     618(port-for-each (procedure port-for-each ((procedure (*) *) (procedure () . *)) undefined))
     619(port-map (procedure port-map ((procedure (*) *) (procedure () . *)) list))
     620(port-fold (procedure port-fold ((procedure (* *) *) (procedure () *)) *))
     621(make-broadcast-port (procedure make-broadcast-port (#!rest port) port))
     622(make-concatenated-port (procedure make-concatenated-port (port #!rest port) port))
     623(with-error-output-to-port (procedure with-error-output-to-port (port (procedure () . *)) . *))
     624(with-input-from-port (procedure with-input-from-port (port (procedure () . *)) . *))
     625(with-input-from-string (procedure with-input-from-string (string (procedure () . *)) . *))
     626(with-output-to-port (procedure with-output-to-port (port (procedure () . *)) . *))
     627(with-output-to-string (procedure with-output-to-string ((procedure () . *)) . *))
     628(with-error-output-to-port (procedure with-error-output-to-port (port (procedure () . *)) . *))
     629
     630#!eof
    631631
    632632;; posix
Note: See TracChangeset for help on using the changeset viewer.