removed useless requires
This commit is contained in:
parent
b572f0c7dc
commit
fff692309e
|
@ -1,7 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require (for-syntax racket/base)
|
(require (for-syntax racket/base)
|
||||||
(for-syntax racket/private/struct-info)
|
|
||||||
racket/list
|
|
||||||
racket/match
|
racket/match
|
||||||
unstable/struct
|
unstable/struct
|
||||||
"deriv.rkt")
|
"deriv.rkt")
|
||||||
|
|
|
@ -1,5 +1,3 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/contract
|
(require "deriv-c.rkt")
|
||||||
syntax/stx
|
|
||||||
"deriv-c.rkt")
|
|
||||||
(provide (all-from-out "deriv-c.rkt"))
|
(provide (all-from-out "deriv-c.rkt"))
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require (for-syntax racket/base)
|
(require racket/match
|
||||||
racket/match
|
|
||||||
"reductions-config.rkt"
|
"reductions-config.rkt"
|
||||||
"../util/mpi.rkt")
|
"../util/mpi.rkt")
|
||||||
(provide policy->predicate)
|
(provide policy->predicate)
|
||||||
|
|
|
@ -1,9 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require (for-syntax racket/base)
|
(require (for-syntax racket/base)
|
||||||
racket/list
|
|
||||||
racket/contract
|
racket/contract
|
||||||
racket/match
|
racket/match
|
||||||
"deriv.rkt"
|
|
||||||
"deriv-util.rkt"
|
"deriv-util.rkt"
|
||||||
"stx-util.rkt"
|
"stx-util.rkt"
|
||||||
"context.rkt"
|
"context.rkt"
|
||||||
|
|
|
@ -2,9 +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/list
|
|
||||||
racket/contract
|
racket/contract
|
||||||
"deriv.rkt"
|
|
||||||
"deriv-util.rkt"
|
"deriv-util.rkt"
|
||||||
"stx-util.rkt"
|
"stx-util.rkt"
|
||||||
"context.rkt"
|
"context.rkt"
|
||||||
|
|
|
@ -1,6 +1,4 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require "deriv.rkt"
|
|
||||||
"deriv-util.rkt")
|
|
||||||
(provide (struct-out protostep)
|
(provide (struct-out protostep)
|
||||||
(struct-out step)
|
(struct-out step)
|
||||||
(struct-out misstep)
|
(struct-out misstep)
|
||||||
|
|
|
@ -2,7 +2,6 @@
|
||||||
(require racket/class
|
(require racket/class
|
||||||
parser-tools/lex
|
parser-tools/lex
|
||||||
"deriv-tokens.rkt"
|
"deriv-tokens.rkt"
|
||||||
"deriv-parser.rkt"
|
|
||||||
"../syntax-browser.rkt")
|
"../syntax-browser.rkt")
|
||||||
(provide (all-defined-out))
|
(provide (all-defined-out))
|
||||||
|
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/promise
|
(require racket/promise
|
||||||
parser-tools/lex
|
parser-tools/lex
|
||||||
"deriv.rkt"
|
|
||||||
"deriv-parser.rkt"
|
"deriv-parser.rkt"
|
||||||
"deriv-tokens.rkt")
|
"deriv-tokens.rkt")
|
||||||
|
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/list
|
(require racket/pretty
|
||||||
racket/pretty
|
|
||||||
"model/trace.rkt"
|
"model/trace.rkt"
|
||||||
"model/reductions.rkt"
|
"model/reductions.rkt"
|
||||||
"model/reductions-config.rkt"
|
"model/reductions-config.rkt"
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
racket/list
|
racket/list
|
||||||
racket/block
|
racket/block
|
||||||
framework
|
framework
|
||||||
|
|
|
@ -1,8 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
racket/list
|
racket/list
|
||||||
framework
|
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"partition.rkt"
|
"partition.rkt"
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui)
|
racket/gui/base)
|
||||||
(provide hrule-snip%)
|
(provide hrule-snip%)
|
||||||
|
|
||||||
;; hrule-snip%
|
;; hrule-snip%
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/contract
|
(require racket/contract
|
||||||
racket/class
|
racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
"prefs.rkt"
|
"prefs.rkt"
|
||||||
"controller.rkt"
|
"controller.rkt"
|
||||||
|
|
|
@ -1,10 +1,9 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
racket/pretty
|
racket/pretty
|
||||||
unstable/gui/notify
|
unstable/gui/notify
|
||||||
"interfaces.rkt"
|
"interfaces.rkt")
|
||||||
"partition.rkt")
|
|
||||||
(provide syntax-keymap%)
|
(provide syntax-keymap%)
|
||||||
|
|
||||||
(define keymap/popup%
|
(define keymap/popup%
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
syntax/stx
|
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"../util/stxobj.rkt")
|
"../util/stxobj.rkt")
|
||||||
(provide new-bound-partition
|
(provide new-bound-partition
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/pretty
|
||||||
racket/pretty
|
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
syntax/stx
|
syntax/stx
|
||||||
unstable/struct
|
unstable/struct
|
||||||
|
|
|
@ -2,7 +2,8 @@
|
||||||
(require racket/list
|
(require racket/list
|
||||||
racket/class
|
racket/class
|
||||||
racket/pretty
|
racket/pretty
|
||||||
racket/gui
|
racket/gui/base
|
||||||
|
racket/promise
|
||||||
"pretty-helper.rkt"
|
"pretty-helper.rkt"
|
||||||
"interfaces.rkt")
|
"interfaces.rkt")
|
||||||
(provide pretty-print-syntax)
|
(provide pretty-print-syntax)
|
||||||
|
|
|
@ -1,10 +1,9 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"util.rkt"
|
|
||||||
"../util/mpi.rkt"
|
"../util/mpi.rkt"
|
||||||
"../util/stxobj.rkt")
|
"../util/stxobj.rkt")
|
||||||
(provide properties-view%
|
(provide properties-view%
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
(only-in mzlib/string read-from-string)
|
(only-in mzlib/string read-from-string)
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
|
|
|
@ -1,10 +1,9 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
racket/match
|
racket/match
|
||||||
(only-in mzlib/string read-from-string)
|
(only-in mzlib/string read-from-string)
|
||||||
framework
|
framework
|
||||||
"interfaces.rkt"
|
|
||||||
"display.rkt"
|
"display.rkt"
|
||||||
"controller.rkt"
|
"controller.rkt"
|
||||||
"keymap.rkt"
|
"keymap.rkt"
|
||||||
|
|
|
@ -1,11 +1,10 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/list
|
(require racket/list
|
||||||
racket/class
|
racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
drracket/arrow
|
drracket/arrow
|
||||||
framework/framework
|
framework/framework
|
||||||
data/interval-map
|
data/interval-map
|
||||||
unstable/gui/notify
|
|
||||||
"interfaces.rkt")
|
"interfaces.rkt")
|
||||||
|
|
||||||
(provide text:hover<%>
|
(provide text:hover<%>
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
racket/list
|
racket/list
|
||||||
racket/match
|
racket/match
|
||||||
framework
|
framework
|
||||||
|
|
|
@ -2,14 +2,13 @@
|
||||||
(require racket/list
|
(require racket/list
|
||||||
racket/unit
|
racket/unit
|
||||||
racket/match
|
racket/match
|
||||||
racket/gui
|
racket/gui/base
|
||||||
|
racket/class
|
||||||
framework
|
framework
|
||||||
drscheme/tool
|
drscheme/tool
|
||||||
mrlib/switchable-button
|
mrlib/switchable-button
|
||||||
string-constants
|
string-constants
|
||||||
"model/trace.rkt"
|
"model/trace.rkt"
|
||||||
"model/deriv.rkt"
|
|
||||||
"model/deriv-util.rkt"
|
|
||||||
"view/frame.rkt"
|
"view/frame.rkt"
|
||||||
(only-in "view/view.rkt" macro-stepper-director%)
|
(only-in "view/view.rkt" macro-stepper-director%)
|
||||||
"view/stepper.rkt"
|
"view/stepper.rkt"
|
||||||
|
|
|
@ -4,7 +4,6 @@
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"debug-format.rkt"
|
"debug-format.rkt"
|
||||||
"prefs.rkt"
|
|
||||||
"view.rkt")
|
"view.rkt")
|
||||||
(provide debug-file)
|
(provide debug-file)
|
||||||
|
|
||||||
|
|
|
@ -3,21 +3,11 @@
|
||||||
racket/unit
|
racket/unit
|
||||||
racket/list
|
racket/list
|
||||||
racket/match
|
racket/match
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"prefs.rkt"
|
|
||||||
"hiding-panel.rkt"
|
|
||||||
(prefix-in s: "../syntax-browser/widget.rkt")
|
(prefix-in s: "../syntax-browser/widget.rkt")
|
||||||
(prefix-in s: "../syntax-browser/keymap.rkt")
|
(prefix-in s: "../syntax-browser/keymap.rkt"))
|
||||||
(prefix-in s: "../syntax-browser/interfaces.rkt")
|
|
||||||
"../model/deriv.rkt"
|
|
||||||
"../model/deriv-util.rkt"
|
|
||||||
"../model/trace.rkt"
|
|
||||||
"../model/steps.rkt"
|
|
||||||
"cursor.rkt"
|
|
||||||
unstable/gui/notify)
|
|
||||||
(provide stepper-keymap%
|
(provide stepper-keymap%
|
||||||
stepper-syntax-widget%)
|
stepper-syntax-widget%)
|
||||||
|
|
||||||
|
|
|
@ -3,21 +3,15 @@
|
||||||
racket/unit
|
racket/unit
|
||||||
racket/list
|
racket/list
|
||||||
racket/file
|
racket/file
|
||||||
|
racket/path
|
||||||
racket/match
|
racket/match
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"stepper.rkt"
|
"stepper.rkt"
|
||||||
"prefs.rkt"
|
|
||||||
"hiding-panel.rkt"
|
|
||||||
(prefix-in sb: "../syntax-browser/embed.rkt")
|
(prefix-in sb: "../syntax-browser/embed.rkt")
|
||||||
(prefix-in sb: "../syntax-browser/interfaces.rkt")
|
(prefix-in sb: "../syntax-browser/interfaces.rkt")
|
||||||
"../model/deriv.rkt"
|
|
||||||
"../model/deriv-util.rkt"
|
|
||||||
"../model/trace.rkt"
|
|
||||||
"../model/steps.rkt"
|
|
||||||
"cursor.rkt"
|
|
||||||
unstable/gui/notify)
|
unstable/gui/notify)
|
||||||
(provide macro-stepper-frame-mixin)
|
(provide macro-stepper-frame-mixin)
|
||||||
|
|
||||||
|
|
|
@ -1,7 +1,8 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
racket/list
|
racket/list
|
||||||
|
racket/match
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"../model/hiding-policies.rkt"
|
"../model/hiding-policies.rkt"
|
||||||
|
|
|
@ -3,23 +3,11 @@
|
||||||
racket/unit
|
racket/unit
|
||||||
racket/list
|
racket/list
|
||||||
racket/match
|
racket/match
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"prefs.rkt"
|
|
||||||
"extensions.rkt"
|
|
||||||
"hiding-panel.rkt"
|
|
||||||
"../model/deriv.rkt"
|
|
||||||
"../model/deriv-util.rkt"
|
|
||||||
"../model/deriv-parser.rkt"
|
|
||||||
"../model/trace.rkt"
|
|
||||||
"../model/reductions-config.rkt"
|
|
||||||
"../model/reductions.rkt"
|
|
||||||
"../model/steps.rkt"
|
"../model/steps.rkt"
|
||||||
unstable/gui/notify
|
|
||||||
(prefix-in sb: "../syntax-browser/interfaces.rkt")
|
(prefix-in sb: "../syntax-browser/interfaces.rkt")
|
||||||
"cursor.rkt"
|
|
||||||
"debug-format.rkt")
|
"debug-format.rkt")
|
||||||
|
|
||||||
#;
|
#;
|
||||||
|
|
|
@ -3,11 +3,9 @@
|
||||||
racket/unit
|
racket/unit
|
||||||
racket/list
|
racket/list
|
||||||
racket/match
|
racket/match
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"prefs.rkt"
|
|
||||||
"extensions.rkt"
|
"extensions.rkt"
|
||||||
"hiding-panel.rkt"
|
"hiding-panel.rkt"
|
||||||
"term-record.rkt"
|
"term-record.rkt"
|
||||||
|
@ -15,9 +13,6 @@
|
||||||
(prefix-in sb: "../syntax-browser/interfaces.rkt")
|
(prefix-in sb: "../syntax-browser/interfaces.rkt")
|
||||||
"../model/deriv.rkt"
|
"../model/deriv.rkt"
|
||||||
"../model/deriv-util.rkt"
|
"../model/deriv-util.rkt"
|
||||||
"../model/trace.rkt"
|
|
||||||
"../model/reductions.rkt"
|
|
||||||
"../model/steps.rkt"
|
|
||||||
"cursor.rkt"
|
"cursor.rkt"
|
||||||
unstable/gui/notify
|
unstable/gui/notify
|
||||||
(only-in mzscheme [#%top-interaction mz-top-interaction]))
|
(only-in mzscheme [#%top-interaction mz-top-interaction]))
|
||||||
|
|
|
@ -3,15 +3,11 @@
|
||||||
racket/unit
|
racket/unit
|
||||||
racket/list
|
racket/list
|
||||||
racket/match
|
racket/match
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
|
||||||
syntax/stx
|
syntax/stx
|
||||||
unstable/find
|
unstable/find
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"prefs.rkt"
|
|
||||||
"extensions.rkt"
|
|
||||||
"hiding-panel.rkt"
|
|
||||||
"step-display.rkt"
|
"step-display.rkt"
|
||||||
"../model/deriv.rkt"
|
"../model/deriv.rkt"
|
||||||
"../model/deriv-util.rkt"
|
"../model/deriv-util.rkt"
|
||||||
|
@ -20,9 +16,7 @@
|
||||||
"../model/reductions-config.rkt"
|
"../model/reductions-config.rkt"
|
||||||
"../model/reductions.rkt"
|
"../model/reductions.rkt"
|
||||||
"../model/steps.rkt"
|
"../model/steps.rkt"
|
||||||
unstable/gui/notify
|
"cursor.rkt")
|
||||||
"cursor.rkt"
|
|
||||||
"debug-format.rkt")
|
|
||||||
|
|
||||||
(provide term-record%)
|
(provide term-record%)
|
||||||
|
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/pretty
|
racket/pretty
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
racket/gui
|
racket/gui/base
|
||||||
"../base.rkt"
|
"../base.rkt"
|
||||||
"../result.rkt"
|
"../result.rkt"
|
||||||
"../check-info.rkt"
|
"../check-info.rkt"
|
||||||
|
|
|
@ -2,9 +2,10 @@
|
||||||
(require racket/class
|
(require racket/class
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
racket/list
|
racket/list
|
||||||
racket/gui
|
racket/gui/base
|
||||||
racket/match
|
racket/match
|
||||||
racket/file
|
racket/file
|
||||||
|
racket/path
|
||||||
mrlib/include-bitmap
|
mrlib/include-bitmap
|
||||||
(prefix-in drlink: "drracket-ui.rkt")
|
(prefix-in drlink: "drracket-ui.rkt")
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
"interfaces.rkt")
|
"interfaces.rkt")
|
||||||
|
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
unstable/gui/notify
|
unstable/gui/notify
|
||||||
racket/list
|
racket/list
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
mrlib/hierlist
|
mrlib/hierlist
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
drscheme/tool
|
drscheme/tool
|
||||||
racket/unit
|
racket/unit
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/contract/base
|
(require racket/contract/base
|
||||||
syntax/stx
|
|
||||||
syntax/id-table
|
syntax/id-table
|
||||||
unstable/syntax
|
unstable/syntax
|
||||||
unstable/struct)
|
unstable/struct)
|
||||||
|
|
|
@ -1,13 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/contract/base
|
(require racket/list
|
||||||
racket/list
|
|
||||||
"minimatch.rkt"
|
"minimatch.rkt"
|
||||||
racket/stxparam
|
|
||||||
syntax/stx
|
|
||||||
(for-syntax racket/base
|
|
||||||
syntax/stx
|
|
||||||
racket/private/sc
|
|
||||||
"rep-data.rkt")
|
|
||||||
"runtime.rkt"
|
"runtime.rkt"
|
||||||
"kws.rkt")
|
"kws.rkt")
|
||||||
(provide syntax-patterns-fail
|
(provide syntax-patterns-fail
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
;; owner: ryanc
|
;; owner: ryanc
|
||||||
(require racket/list
|
(require racket/list
|
||||||
racket/class
|
racket/class
|
||||||
racket/gui
|
racket/gui/base
|
||||||
"../private/notify.rkt")
|
"../private/notify.rkt")
|
||||||
(provide (all-from-out "../private/notify.rkt")
|
(provide (all-from-out "../private/notify.rkt")
|
||||||
menu-option/notify-box
|
menu-option/notify-box
|
||||||
|
|
Loading…
Reference in New Issue
Block a user