Changeset 38940 in project


Ignore:
Timestamp:
08/30/20 19:07:43 (4 weeks ago)
Author:
Kon Lovett
Message:

add -strict-types, type is interface

Location:
release/5/timed-resource/trunk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • release/5/timed-resource/trunk/timed-resource.egg

    r38596 r38940  
    1818  (extension timed-resource
    1919    (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  
    4848;;
    4949
     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
    5062(define-inline (->boolean x) (and x #t))
    5163
     
    5870
    5971;;
    60 
    61 (define-type timed-resource (struct timed-resource))
    6272
    6373(define-constant timed-resource 'timed-resource) ;type tag variable
     
    7484;;
    7585
    76 (: check-timed-resource (* * #!rest --> timed-resource))
    77 
    7886(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))
    8387
    8488(define (timed-resource? obj) (%timed-resource? obj))
     
    239243;;;
    240244
    241 (: timed-resource-shutdown? (-> boolean))
    242 (: make-timed-resource (procedure procedure number #!optional * -> timed-resource))
    243 (: with-timed-resource (timed-resource (* -> *) -> *))
    244 
    245245(define (timed-resource-shutdown?) (*timed-resource-shutdown?))
    246246
Note: See TracChangeset for help on using the changeset viewer.