Changeset 38940 in project

Timestamp:

08/30/20 19:07:43 (6 months ago)

Author:

Kon Lovett

Message:

add -strict-types, type is interface

Location:

release/5/timed-resource/trunk

Files:

• timed-resource.egg (modified) (1 diff)
• timed-resource.scm (modified) (4 diffs)

release/5/timed-resource/trunk/timed-resource.egg

@@ -18 +18 @@
   (extension timed-resource
     (types-file)
-    (csc-options "-O3" "-d1" "-strict-types" "-local" "-no-procedure-checks" "-no-bound-checks")) ) )
+    (csc-options "-O3" "-d1" "-strict-types" "-no-procedure-checks" "-no-bound-checks")) ) )

release/5/timed-resource/trunk/timed-resource.scm

@@ -48 +48 @@
 ;;
 
+(define-type timed-resource (struct timed-resource))
+
+(: check-timed-resource (* * #!rest --> timed-resource))
+(: timed-resource? (* -> boolean : timed-resource))
+(: timed-resource-name (timed-resource --> *))
+(: timed-resource-open? (timed-resource -> boolean))
+(: timed-resource-shutdown? (-> boolean))
+(: make-timed-resource (procedure procedure number #!optional * -> timed-resource))
+(: with-timed-resource (timed-resource (* -> *) -> *))
+
+;;
+
 (define-inline (->boolean x) (and x #t))
 
@@ -58 +70 @@
 
 ;;
-
-(define-type timed-resource (struct timed-resource))
 
 (define-constant timed-resource 'timed-resource) ;type tag variable
@@ -74 +84 @@
 ;;
 
-(: check-timed-resource (* * #!rest --> timed-resource))
-
 (define-check+error-type timed-resource %timed-resource?)
-
-(: timed-resource?      (* -> boolean : timed-resource))
-(: timed-resource-name  (timed-resource --> *))
-(: timed-resource-open?  (timed-resource -> boolean))
 
 (define (timed-resource? obj) (%timed-resource? obj))
@@ -239 +243 @@
 ;;;
 
-(: timed-resource-shutdown? (-> boolean))
-(: make-timed-resource (procedure procedure number #!optional * -> timed-resource))
-(: with-timed-resource (timed-resource (* -> *) -> *))
-
 (define (timed-resource-shutdown?) (*timed-resource-shutdown?))