.
original commit: f22cb9df23dcb72d5aaf543b7056fa8604ee1f43
This commit is contained in:
parent
89f7f1fb6a
commit
eb02d24f31
|
@ -8,7 +8,10 @@
|
||||||
|
|
||||||
(require-relative-library "test.ss")
|
(require-relative-library "test.ss")
|
||||||
|
|
||||||
(invoke-open-unit/sig
|
(begin-elaboration-time
|
||||||
|
(require-library "invoke.ss"))
|
||||||
|
|
||||||
|
(define-values/invoke-unit/sig frameworkc^
|
||||||
(compound-unit/sig
|
(compound-unit/sig
|
||||||
(import [core:string : mzlib:string^]
|
(import [core:string : mzlib:string^]
|
||||||
[core:function : mzlib:function^]
|
[core:function : mzlib:function^]
|
||||||
|
@ -37,3 +40,4 @@
|
||||||
(keys : framework:keys^)
|
(keys : framework:keys^)
|
||||||
(test : framework:test^)
|
(test : framework:test^)
|
||||||
mred-interfaces^)
|
mred-interfaces^)
|
||||||
|
|
||||||
|
|
|
@ -1,7 +1,12 @@
|
||||||
(require-relative-library "tests.ss")
|
(require-relative-library "tests.ss")
|
||||||
(require-relative-library "mred-interfaces.ss")
|
(require-relative-library "mred-interfaces.ss")
|
||||||
|
|
||||||
(invoke-open-unit/sig
|
(begin-elaboration-time
|
||||||
|
(require-library "invoke.ss"))
|
||||||
|
|
||||||
|
(define-values/invoke-unit/sig ((open mred-interfaces^)
|
||||||
|
(open framework:keys^)
|
||||||
|
(open framework:test^))
|
||||||
(compound-unit/sig
|
(compound-unit/sig
|
||||||
(import)
|
(import)
|
||||||
(link [mred : mred-interfaces^ (mred-interfaces@)]
|
(link [mred : mred-interfaces^ (mred-interfaces@)]
|
||||||
|
@ -11,3 +16,4 @@
|
||||||
(unit test)
|
(unit test)
|
||||||
(unit keys)
|
(unit keys)
|
||||||
(open mred))))
|
(open mred))))
|
||||||
|
|
||||||
|
|
|
@ -1,6 +1,12 @@
|
||||||
(require-library "hierlists.ss" "hierlist")
|
(require-library "hierlists.ss" "hierlist")
|
||||||
|
|
||||||
(invoke-open-unit/sig (require-library "hierlistr.ss" "hierlist") #f mred^)
|
(begin-elaboration-time
|
||||||
|
(require-library "invoke.ss"))
|
||||||
|
|
||||||
|
(define-values/invoke-unit/sig hierlist^
|
||||||
|
(require-library "hierlistr.ss" "hierlist")
|
||||||
|
#f
|
||||||
|
mred^)
|
||||||
|
|
||||||
#|
|
#|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user