..

original commit: 0e1bf3babada3872e47bed929a6013e007b774cd

collects/framework/framework.ss

@@ -12,10 +12,12 @@
            "framework-unit.ss"
 	   "framework-sig.ss"
            
-           "macro.ss")
+           "macro.ss"
+           "specs.ss")
   
   (provide-signature-elements framework^)
   (provide (all-from "macro.ss"))
+  (provide (all-from "specs.ss"))
    
   (define-values/invoke-unit/sig 
    frameworkc^ 

collects/tests/framework/README

@@ -34,6 +34,11 @@ test as last time, or `all' to run all of the tests.
   | This tests that preferences are saved and restored correctly, both
   | immediately and across reboots of mred.
 
+
+- specs |# spec-test.ss #|
+
+  | this tests that the specs are compiled properly.
+  
 - individual object tests:
 
   | These tests are simple object creation and basic operations.

collects/tests/framework/load.ss

@@ -1,7 +1,7 @@
 (module load mzscheme
   (require "test-suite-utils.ss")
 
-  (define old-load-framework-automatically? (load-framework-automatically))
+  (load-framework-automatically #f)
 
   (define (test/load file exp)
     (test
@@ -23,11 +23,8 @@
             (eval ',exp)
             (void))))))
 
-  (load-framework-automatically #f)
-
-  (test/load "prefs-file-unit.ss" 'framework:prefs-file@)
-  (test/load "prefs-file.ss" 'prefs-file:get-preferences-filename)
-
+  (test/load "specs.ss" '(contract (lambda (x) #t) 1 'pos 'neg))
+  
   (test/load "gui-utils-unit.ss" 'framework:gui-utils@)
   (test/load "gui-utils.ss" 'gui-utils:next-untitled-name)
 
@@ -36,10 +33,9 @@
 
   (test/load "macro.ss" '(mixin () () ()))
 
-  (test/load "framework-unit.ss" '(list framework@ framework-no-prefs@ frameworkc@))
-  (test/load "framework.ss" '(list prefs-file:get-preferences-filename
-				   test:button-push
+  (test/load "framework-unit.ss" '(list framework@ frameworkc@))
+  (test/load "framework.ss" '(list test:button-push
 				   gui-utils:next-untitled-name
-				   frame:basic-mixin))
-
-  (load-framework-automatically old-load-framework-automatically?))
+				   frame:basic-mixin
+                                   (mixin () () ())
+                                   (contract (lambda (x) #t) 1 'pos 'neg))))

collects/tests/framework/main.ss

@@ -74,6 +74,7 @@
      (lambda (x)
        (when (member x all-files)
 	 (shutdown-mred)
+         (load-framework-automatically #t)
 	 (let/ec k
 	   (dynamic-wind
 	    (lambda ()