Remove mzlib/etc import
This commit is contained in:
parent
7be82a8eca
commit
3ad0c594a9
|
@ -1,7 +1,5 @@
|
||||||
#lang racket
|
#lang racket
|
||||||
(require (only-in mzlib/etc
|
(require "contract.rkt"
|
||||||
identity nor)
|
|
||||||
"contract.rkt"
|
|
||||||
"erl.rkt"
|
"erl.rkt"
|
||||||
"heap.rkt")
|
"heap.rkt")
|
||||||
|
|
||||||
|
@ -410,8 +408,8 @@
|
||||||
sup
|
sup
|
||||||
(filter (lambda (a)
|
(filter (lambda (a)
|
||||||
(let ([v (weak-box-value a)])
|
(let ([v (weak-box-value a)])
|
||||||
(nor (eq? v inf)
|
(not (or (eq? v inf)
|
||||||
(eq? v #f))))
|
(eq? v #f)))))
|
||||||
dependents))]
|
dependents))]
|
||||||
[_ (void)])))
|
[_ (void)])))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user