Changeset 33182 in project
 Timestamp:
 02/13/16 19:42:15 (4 years ago)
 Location:
 release/5/srfi1/trunk
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

release/5/srfi1/trunk/srfi1.setup
r32318 r33182 1 1 ;; * Scheme * 2 3 2 4 3 (compile srfi1.scm O3 d1 sJ) … … 9 8 'srfi1 10 9 '("srfi1.so" "srfi1.import.so" "srfi1.o" "srfi1.types") 11 '((version "1. 0")))10 '((version "1.2"))) 12 11 
release/5/srfi1/trunk/srfi1.types
r32337 r33182 1 1 ;; srfi1 * Scheme * 2 2 3 (srfi1#alistcons (forall (a b c) (#(procedure #:clean) srfi1#alistcons (a b (listof c)) (pair a (pair b (listof c)))))) 4 (srfi1#alistcopy (forall (a) (#(procedure #:clean #:enforce) srfi1#alistcopy ((listof a)) (listof a)))) 5 (srfi1#alistdelete (forall (a b) (#(procedure #:enforce) srfi1#alistdelete (a (listof b) #!optional (procedure (a b) *)) list))) 6 (srfi1#alistdelete! (forall (a b) (#(procedure #:enforce) srfi1#alistdelete! (a (listof b) #!optional (procedure (a b) *)) undefined))) 3 (srfi1#alistcons 4 (forall (a b c) (#(procedure #:pure) srfi1#alistcons (a b (listof c)) 5 (pair (pair a b) (listof c))))) 6 (srfi1#alistcopy 7 (forall (a b) (#(procedure #:clean #:enforce) srfi1#alistcopy 8 ((listof (pair a b))) (listof (pair a b))))) 9 (srfi1#alistdelete 10 (forall (a b c) (#(procedure #:clean) srfi1#alistdelete 11 (a (listof (pair b c)) #!optional (procedure (a b) *)) 12 (listof (pair b c))))) 13 (srfi1#alistdelete! 14 (forall (a b c) (#(procedure) srfi1#alistdelete! 15 (a (listof (pair b c)) #!optional (procedure (a b) *)) 16 (listof (pair b c))))) 7 17 (srfi1#any (forall (a) (#(procedure #:enforce) srfi1#any ((procedure (a #!rest) *) (listof a) #!rest list) *))) 8 18 (srfi1#append! (#(procedure #:enforce) srfi1#append! (#!rest list) list)) … … 18 28 (srfi1#appendreverse (#(procedure #:clean #:enforce) srfi1#appendreverse (list list) list)) 19 29 (srfi1#appendreverse! (#(procedure #:enforce) srfi1#appendreverse! (list list) list)) 30 (srfi1#assoc 31 (forall (a b c) (#(procedure #:clean #:foldable) srfi1#assoc 32 (a (listof (pair b c)) #!optional (procedure (a b) *)) 33 (or false (pair b c)))) ; sic 34 ((* null) (let ((#(tmp) #(1))) '#f)) 35 (((or symbol procedure immediate) (listof pair)) 36 (##core#inline "C_u_i_assq" #(1) #(2))) 37 ((* (listof (pair (or symbol procedure immediate) *))) 38 (##core#inline "C_u_i_assq" #(1) #(2)))) 39 20 40 (srfi1#break (forall (a) (#(procedure #:enforce) srfi1#break ((procedure (a) *) (listof a)) (listof a) (listof a)))) 21 41 (srfi1#break! (forall (a) (#(procedure #:enforce) srfi1#break! ((procedure (a) *) (listof a)) (listof a) (listof a)))) … … 154 174 (a b) 155 175 (#(procedure #:enforce) srfi1#mapinorder ((procedure (a #!rest) b) (listof a) #!rest list) (listof b)))) 176 177 (srfi1#member 178 (forall (a b) (#(procedure #:clean #:foldable) srfi1#member 179 (a (listof b) #!optional (procedure (a b) *)) ; sic 180 (or false (listof b)))) 181 ((* null) (let ((#(tmp) #(1))) '#f)) 182 (((or symbol procedure immediate) list) 183 (##core#inline "C_u_i_memq" #(1) #(2))) 184 ((* (listof (or symbol procedure immediate))) 185 (##core#inline "C_u_i_memq" #(1) #(2)))) 156 186 157 187 (srfi1#ninth (#(procedure #:clean #:enforce #:foldable) srfi1#ninth (pair) *))
Note: See TracChangeset
for help on using the changeset viewer.