removed useless requires
original commit: c7f86d276c68b12e87dc46cef4a8e1b95538f88d
This commit is contained in:
parent
4b8f073229
commit
a20bef3827
|
@ -3,7 +3,6 @@
|
||||||
racket/cmdline
|
racket/cmdline
|
||||||
racket/match
|
racket/match
|
||||||
syntax/modcollapse
|
syntax/modcollapse
|
||||||
unstable/struct
|
|
||||||
"private/get-references.rkt"
|
"private/get-references.rkt"
|
||||||
"private/nom-use-alg.rkt"
|
"private/nom-use-alg.rkt"
|
||||||
"private/util.rkt")
|
"private/util.rkt")
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require syntax/modresolve
|
(require syntax/modresolve
|
||||||
setup/path-to-relative
|
setup/path-to-relative
|
||||||
"util.rkt"
|
|
||||||
racket/match)
|
racket/match)
|
||||||
(provide allow-bypass?
|
(provide allow-bypass?
|
||||||
allow-drop?
|
allow-drop?
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/contract
|
(require racket/contract/base
|
||||||
"model/trace.rkt"
|
"model/trace.rkt"
|
||||||
"model/reductions-config.rkt"
|
"model/reductions-config.rkt"
|
||||||
"model/reductions.rkt")
|
"model/reductions.rkt")
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require (for-syntax racket/base)
|
(require (for-syntax racket/base)
|
||||||
racket/contract
|
racket/contract/base
|
||||||
racket/match
|
racket/match
|
||||||
"../util/eomap.rkt"
|
"../util/eomap.rkt"
|
||||||
"deriv-util.rkt"
|
"deriv-util.rkt"
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
(require (for-syntax racket/base
|
(require (for-syntax racket/base
|
||||||
syntax/parse
|
syntax/parse
|
||||||
syntax/parse/experimental/contract)
|
syntax/parse/experimental/contract)
|
||||||
racket/contract
|
racket/contract/base
|
||||||
syntax/stx
|
syntax/stx
|
||||||
"deriv-util.rkt"
|
"deriv-util.rkt"
|
||||||
"stx-util.rkt"
|
"stx-util.rkt"
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/contract
|
racket/contract/base
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"model/trace.rkt"
|
"model/trace.rkt"
|
||||||
"view/interfaces.rkt"
|
"view/interfaces.rkt"
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
racket/list
|
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"partition.rkt"
|
"partition.rkt"
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/contract
|
(require racket/contract/base
|
||||||
racket/class
|
racket/class
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require unstable/class-iop
|
||||||
unstable/class-iop
|
|
||||||
(for-syntax racket/base))
|
(for-syntax racket/base))
|
||||||
(provide (all-defined-out))
|
(provide (all-defined-out))
|
||||||
|
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
framework
|
framework/preferences
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
unstable/gui/notify
|
unstable/gui/notify
|
||||||
unstable/gui/prefs)
|
unstable/gui/prefs)
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/list
|
(require racket/class
|
||||||
racket/class
|
|
||||||
racket/pretty
|
racket/pretty
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
racket/promise
|
racket/promise
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
data/interval-map
|
data/interval-map
|
||||||
drracket/arrow
|
drracket/arrow
|
||||||
framework/framework
|
framework
|
||||||
data/interval-map
|
data/interval-map
|
||||||
"interfaces.rkt")
|
"interfaces.rkt")
|
||||||
|
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/contract
|
(require racket/contract/base
|
||||||
racket/dict
|
racket/dict
|
||||||
racket/match)
|
racket/match)
|
||||||
|
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require (rename-in racket/contract [-> c:->])
|
(require (rename-in racket/contract/base [-> c:->])
|
||||||
ffi/unsafe)
|
ffi/unsafe)
|
||||||
|
|
||||||
(define lib (ffi-lib #f))
|
(define lib (ffi-lib #f))
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
framework
|
framework/preferences
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"../syntax-browser/prefs.rkt"
|
"../syntax-browser/prefs.rkt"
|
||||||
unstable/gui/notify
|
unstable/gui/notify
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/contract
|
(require racket/contract/base
|
||||||
unstable/struct)
|
unstable/struct)
|
||||||
|
|
||||||
(provide/contract
|
(provide/contract
|
||||||
|
|
Loading…
Reference in New Issue
Block a user