Changeset 38940 in project
- Timestamp:
- 08/30/20 19:07:43 (6 months ago)
- Location:
- release/5/timed-resource/trunk
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
release/5/timed-resource/trunk/timed-resource.egg
r38596 r38940 18 18 (extension timed-resource 19 19 (types-file) 20 (csc-options "-O3" "-d1" "-strict-types" "- local" "-no-procedure-checks" "-no-bound-checks")) ) )20 (csc-options "-O3" "-d1" "-strict-types" "-no-procedure-checks" "-no-bound-checks")) ) ) -
release/5/timed-resource/trunk/timed-resource.scm
r38596 r38940 48 48 ;; 49 49 50 (define-type timed-resource (struct timed-resource)) 51 52 (: check-timed-resource (* * #!rest --> timed-resource)) 53 (: timed-resource? (* -> boolean : timed-resource)) 54 (: timed-resource-name (timed-resource --> *)) 55 (: timed-resource-open? (timed-resource -> boolean)) 56 (: timed-resource-shutdown? (-> boolean)) 57 (: make-timed-resource (procedure procedure number #!optional * -> timed-resource)) 58 (: with-timed-resource (timed-resource (* -> *) -> *)) 59 60 ;; 61 50 62 (define-inline (->boolean x) (and x #t)) 51 63 … … 58 70 59 71 ;; 60 61 (define-type timed-resource (struct timed-resource))62 72 63 73 (define-constant timed-resource 'timed-resource) ;type tag variable … … 74 84 ;; 75 85 76 (: check-timed-resource (* * #!rest --> timed-resource))77 78 86 (define-check+error-type timed-resource %timed-resource?) 79 80 (: timed-resource? (* -> boolean : timed-resource))81 (: timed-resource-name (timed-resource --> *))82 (: timed-resource-open? (timed-resource -> boolean))83 87 84 88 (define (timed-resource? obj) (%timed-resource? obj)) … … 239 243 ;;; 240 244 241 (: timed-resource-shutdown? (-> boolean))242 (: make-timed-resource (procedure procedure number #!optional * -> timed-resource))243 (: with-timed-resource (timed-resource (* -> *) -> *))244 245 245 (define (timed-resource-shutdown?) (*timed-resource-shutdown?)) 246 246
Note: See TracChangeset
for help on using the changeset viewer.