.
original commit: a7432874af0d8e8175b449832d45abee2b42fb99
This commit is contained in:
parent
ea94e6ae1d
commit
5a5ec15643
|
@ -1,8 +1,8 @@
|
||||||
|
|
||||||
(module hierlist-sig mzscheme
|
(module hierlist-sig mzscheme
|
||||||
(import (lib "unitsig.ss"))
|
(require (lib "unitsig.ss"))
|
||||||
|
|
||||||
(export hierlist^)
|
(provide hierlist^)
|
||||||
(define-signature hierlist^
|
(define-signature hierlist^
|
||||||
(hierarchical-list%
|
(hierarchical-list%
|
||||||
hierarchical-list-item<%>
|
hierarchical-list-item<%>
|
||||||
|
|
|
@ -1,13 +1,13 @@
|
||||||
|
|
||||||
(module hierlist-unit mzscheme
|
(module hierlist-unit mzscheme
|
||||||
(import (lib "unitsig.ss")
|
(require (lib "unitsig.ss")
|
||||||
(lib "class.ss")
|
(lib "class.ss")
|
||||||
(lib "mred-sig.ss" "mred")
|
(lib "mred-sig.ss" "mred")
|
||||||
"hierlist-sig.ss")
|
"hierlist-sig.ss")
|
||||||
|
|
||||||
(import (lib "list.ss"))
|
(require (lib "list.ss"))
|
||||||
|
|
||||||
(export hierlist@)
|
(provide hierlist@)
|
||||||
(define hierlist@
|
(define hierlist@
|
||||||
(unit/sig hierlist^
|
(unit/sig hierlist^
|
||||||
(import mred^)
|
(import mred^)
|
||||||
|
|
|
@ -1,10 +1,10 @@
|
||||||
|
|
||||||
(module hierlist mzscheme
|
(module hierlist mzscheme
|
||||||
(import (lib "unitsig.ss")
|
(require (lib "unitsig.ss")
|
||||||
(lib "mred-sig.ss" "mred")
|
(lib "mred-sig.ss" "mred")
|
||||||
(lib "mred.ss" "mred"))
|
(lib "mred.ss" "mred"))
|
||||||
|
|
||||||
(import "hierlist-sig.ss"
|
(require "hierlist-sig.ss"
|
||||||
"hierlist-unit.ss")
|
"hierlist-unit.ss")
|
||||||
|
|
||||||
|
|
||||||
|
@ -13,7 +13,7 @@
|
||||||
#f
|
#f
|
||||||
mred^)
|
mred^)
|
||||||
|
|
||||||
(export-signature-elements hierlist^))
|
(provide-signature-elements hierlist^))
|
||||||
|
|
||||||
#|
|
#|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user