Changeset 14652 in project for chicken


Ignore:
Timestamp:
05/15/09 14:47:39 (11 years ago)
Author:
felix winkelmann
Message:

more types; scrutiny output is tee-d

Location:
chicken/branches/scrutiny
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • chicken/branches/scrutiny/rules.make

    r14618 r14652  
    13371337
    13381338%.scrutiny1: $(SRCDIR)%.scm
    1339         $(XCHICKEN) $< $(CHICKEN_SCRUTINY_OPTIONS) $(CHICKEN_LIBRARY_OPTIONS) >$@ 2>&1
     1339        $(XCHICKEN) $< $(CHICKEN_SCRUTINY_OPTIONS) $(CHICKEN_LIBRARY_OPTIONS) 2>&1 | tee $@
    13401340
    13411341%.scrutiny2: $(SRCDIR)%.scm
    1342         $(XCHICKEN) $< $(CHICKEN_SCRUTINY_OPTIONS) $(CHICKEN_COMPILER_OPTIONS) >$@ 2>&1
     1342        $(XCHICKEN) $< $(CHICKEN_SCRUTINY_OPTIONS) $(CHICKEN_COMPILER_OPTIONS) 2>&1 | tee $@
  • chicken/branches/scrutiny/types.db

    r14634 r14652  
    990990(make-kmp-restart-vector (procedure make-kmp-restart-vector (string #!optional (procedure (* *) *) fixnum fixnum) vector))
    991991(string->list (procedure string->list (string) list))
    992 (string-any (procedure string-any (* string #!optional fixnum fixnum) *))
     992(string-any (procedure string-any (* string #!optional fixnum fixnum) boolean))
    993993(string-append/shared (procedure string-append/shared (#!rest string) string))
    994994(string-ci< (procedure string-ci< (string string #!optional fixnum fixnum) boolean))
     
    10121012(string-downcase (procedure string-downcase (string #!optional fixnum fixnum) string))
    10131013(string-downcase! (procedure string-downcase! (string #!optional fixnum fixnum) string))
     1014(string-drop (procedure string-drop (string fixnum) string))
     1015(string-drop-right (procedure string-drop-right (string fixnum) string))
     1016(string-every (procedure string-every (* string #!optional fixnum fixnum) boolean))
     1017(string-fill! (procedure string-fill! (string char) string))
     1018(string-filter (procedure string-filter (* string #!optional fixnum fixnum) string))
     1019(string-fold (procedure string-fold ((procedure (char *) *) * string #!optional fixnum fixnum) *))
     1020(string-fold-right (procedure string-fold-right ((procedure (char *) *) * string #!optional fixnum fixnum) *))
     1021(string-for-each (procedure string-for-each ((procedure (char) . *) string #!optional fixnum fixnum) undefined))
     1022(string-for-each-index (procedure string-for-each-index ((procedure (fixnum) . *) string #!optional fixnum fixnum) undefined))
     1023(string-hash (procedure string-hash (string #!optional fixnum fixnum fixnum) number))
     1024(string-hash-ci (procedure string-hash-ci (string #!optional fixnum fixnum fixnum) number))
     1025(string-index (procedure string-index (string * #!optional fixnum fixnum) fixnum))
     1026(string-index-right (procedure string-index-right (string * #!optional fixnum fixnum) fixnum))
     1027(string-join (procedure string-join (list #!optional string symbol) string))
     1028(string-kmp-partial-search (procedure string-kmp-partial-search (string vector string fixnum #!optional (procedure (char char) *) fixnum fixnum fixnum) fixnum))
     1029(string-map (procedure string-map ((procedure (char) char) string #!optional fixnum fixnum) string))
     1030(string-map! (procedure string-map! ((procedure (char) char) string #!optional fixnum fixnum) string))
     1031(string-null? (procedure string-null? (string) boolean))
     1032(string-pad (procedure string-pad (string fixnum #!optional char fixnum fixnum) string))
     1033(string-pad-right (procedure string-pad-right (string fixnum #!optional char fixnum fixnum) string))
     1034(string-parse-final-start+end (procedure string-parse-final-start+end (procedure string #!rest) . *))
     1035(string-parse-start+end (procedure string-parse-start+end (procedure string #!rest) . *))
     1036(string-prefix-ci? (procedure string-prefix-ci? (string string #!optional fixnum fixnum fixnum fixnum) boolean))
     1037(string-prefix-length (procedure string-prefix-length (string string #!optional fixnum fixnum fixnum fixnum) fixnum))
     1038(string-prefix-length-ci (procedure string-prefix-length-ci (string string #!optional fixnum fixnum fixnum fixnum) fixnum))
     1039(string-prefix? (procedure string-prefix? (string string #!optional fixnum fixnum fixnum fixnum) fixnum))
     1040(string-replace (procedure string-replace (string string fixnum fixnum #!optional fixnum fixnum) string))
     1041(string-reverse (procedure string-reverse (string #!optional fixnum fixnum) string))
     1042(string-reverse! (procedure string-reverse! (string #!optional fixnum fixnum) string))
     1043(string-skip (procedure string-skip (string * #!optional fixnum fixnum) fixnum))
     1044(string-skip-right (procedure string-skip-right (string * #!optional fixnum fixnum) fixnum))
     1045(string-suffix-ci? (procedure string-suffix-ci? (string string #!optional fixnum fixnum fixnum fixnum) fixnum))
     1046(string-suffix-length (procedure string-suffix-length (string string #!optional fixnum fixnum fixnum fixnum) fixnum))
     1047(string-suffix-length-ci (procedure string-suffix-length-ci (string string #!optional fixnum fixnum fixnum fixnum) fixnum))
     1048(string-suffix? (procedure string-suffix? (string string #!optional fixnum fixnum fixnum fixnum) fixnum))
     1049(string-tabulate (procedure string-tabulate ((procedure (fixnum) char) fixnum) string))
     1050(string-take (procedure string-take (string fixnum) string))
     1051(string-take-right (procedure string-take-right (string fixnum) string))
     1052(string-titlecase (procedure string-titlecase (string #!optional fixnum fixnum) string))
     1053(string-titlecase! (procedure string-titlecase! (string #!optional fixnum fixnum) string))
     1054(string-tokenize (procedure string-tokenize (string #!optional * fixnum fixnum) list))
     1055(string-trim (procedure string-trim (string #!optional * fixnum fixnum) string))
     1056(string-trim-both (procedure string-trim-both (string #!optional * fixnum fixnum) string))
     1057(string-trim-right (procedure string-trim-right (string #!optional * fixnum fixnum) string))
     1058(string-unfold (procedure string-unfold (procedure procedure procedure * #!optional * procedure) string))
     1059(string-unfold-right (procedure string-unfold-right (procedure procedure procedure * #!optional * procedure) string))
     1060(string-upcase (procedure string-upcase (string #!optional fixnum fixnum) string))
     1061(string-upcase! (procedure string-upcase! (string #!optional fixnum fixnum) string))
     1062(string-xcopy! (procedure string-xcopy! (string string string fixnum #!optional fixnum fixnum fixnum) string))
     1063(string< (procedure string< (string string #!optional fixnum fixnum fixnum fixnum) boolean))
     1064(string<= (procedure string<= (string string #!optional fixnum fixnum fixnum fixnum) boolean))
     1065(string<> (procedure string<> (string string #!optional fixnum fixnum fixnum fixnum) boolean))
     1066(string= (procedure string= (string string #!optional fixnum fixnum fixnum fixnum) boolean))
     1067(string> (procedure string> (string string #!optional fixnum fixnum fixnum fixnum) boolean))
     1068(string>= (procedure string>= (string string #!optional fixnum fixnum fixnum fixnum) boolean))
     1069(substring-spec-ok? (procedure substring-spec-ok? (string fixnum fixnum) boolean))
     1070(substring/shared (procedure substring/shared (string fixnum #!optional fixnum) string))
     1071(xsubstring (procedure xsubstring (string fixnum #!optional fixnum fixnum fixnum) string))
     1072
     1073;; srfi-14
     1074
     1075(->char-set (procedure ->char-set (*) (struct char-set)))
     1076(char-set (procedure char-set (#!rest char) (struct char-set)))
     1077(char-set->list (procedure char-set->list ((struct char-set)) list))
     1078(char-set->string (procedure char-set->string ((struct char-set)) string))
    10141079
    10151080#!eof
    10161081
    1017 (string-drop (procedure string-drop () *))
    1018 (string-drop-right (procedure string-drop-right () *))
    1019 (string-every (procedure string-every () *))
    1020 (string-fill! (procedure string-fill! () *))
    1021 (string-filter (procedure string-filter () *))
    1022 (string-fold (procedure string-fold () *))
    1023 (string-fold-right (procedure string-fold-right () *))
    1024 (string-for-each (procedure string-for-each () *))
    1025 (string-for-each-index (procedure string-for-each-index () *))
    1026 (string-hash (procedure string-hash () *))
    1027 (string-hash-ci (procedure string-hash-ci () *))
    1028 (string-index (procedure string-index () *))
    1029 (string-index-right (procedure string-index-right () *))
    1030 (string-join (procedure string-join () *))
    1031 (string-kmp-partial-search (procedure string-kmp-partial-search () *))
    1032 (string-map (procedure string-map () *))
    1033 (string-map! (procedure string-map! () *))
    1034 (string-null? (procedure string-null? () *))
    1035 (string-pad (procedure string-pad () *))
    1036 (string-pad-right (procedure string-pad-right () *))
    1037 (string-parse-final-start+end (procedure string-parse-final-start+end () *))
    1038 (string-parse-start+end (procedure string-parse-start+end () *))
    1039 (string-prefix-ci? (procedure string-prefix-ci? () *))
    1040 (string-prefix-length (procedure string-prefix-length () *))
    1041 (string-prefix-length-ci (procedure string-prefix-length-ci () *))
    1042 (string-prefix? (procedure string-prefix? () *))
    1043 (string-replace (procedure string-replace () *))
    1044 (string-reverse (procedure string-reverse () *))
    1045 (string-reverse! (procedure string-reverse! () *))
    1046 (string-skip (procedure string-skip () *))
    1047 (string-skip-right (procedure string-skip-right () *))
    1048 (string-suffix-ci? (procedure string-suffix-ci? () *))
    1049 (string-suffix-length (procedure string-suffix-length () *))
    1050 (string-suffix-length-ci (procedure string-suffix-length-ci () *))
    1051 (string-suffix? (procedure string-suffix? () *))
    1052 (string-tabulate (procedure string-tabulate () *))
    1053 (string-take (procedure string-take () *))
    1054 (string-take-right (procedure string-take-right () *))
    1055 (string-titlecase (procedure string-titlecase () *))
    1056 (string-titlecase! (procedure string-titlecase! () *))
    1057 (string-tokenize (procedure string-tokenize () *))
    1058 (string-trim (procedure string-trim () *))
    1059 (string-trim-both (procedure string-trim-both () *))
    1060 (string-trim-right (procedure string-trim-right () *))
    1061 (string-unfold (procedure string-unfold () *))
    1062 (string-unfold-right (procedure string-unfold-right () *))
    1063 (string-upcase (procedure string-upcase () *))
    1064 (string-upcase! (procedure string-upcase! () *))
    1065 (string-xcopy! (procedure string-xcopy! () *))
    1066 (string< (procedure string< () *))
    1067 (string<= (procedure string<= () *))
    1068 (string<> (procedure string<> () *))
    1069 (string= (procedure string= () *))
    1070 (string> (procedure string> () *))
    1071 (string>= (procedure string>= () *))
    1072 (substring-spec-ok? (procedure substring-spec-ok? () *))
    1073 (substring/shared (procedure substring/shared () *))
    1074 (xsubstring (procedure xsubstring () *))
    1075 
    1076 ;; srfi-14
    1077 
    1078 (->char-set (procedure ->char-set () *))
    1079 (char-set (procedure char-set () *))
    1080 (char-set->list (procedure char-set->list () *))
    1081 (char-set->string (procedure char-set->string () *))
    10821082(char-set-adjoin (procedure char-set-adjoin () *))
    10831083(char-set-adjoin! (procedure char-set-adjoin! () *))
Note: See TracChangeset for help on using the changeset viewer.