removed useless requires
original commit: fff692309edd4752c82cf4adab4c45a930d525ef
This commit is contained in:
parent
44672c7c5d
commit
077965f262
|
@ -1,7 +1,5 @@
|
|||
#lang racket/base
|
||||
(require (for-syntax racket/base)
|
||||
(for-syntax racket/private/struct-info)
|
||||
racket/list
|
||||
racket/match
|
||||
unstable/struct
|
||||
"deriv.rkt")
|
||||
|
|
|
@ -1,5 +1,3 @@
|
|||
#lang racket/base
|
||||
(require racket/contract
|
||||
syntax/stx
|
||||
"deriv-c.rkt")
|
||||
(require "deriv-c.rkt")
|
||||
(provide (all-from-out "deriv-c.rkt"))
|
||||
|
|
|
@ -1,6 +1,5 @@
|
|||
#lang racket/base
|
||||
(require (for-syntax racket/base)
|
||||
racket/match
|
||||
(require racket/match
|
||||
"reductions-config.rkt"
|
||||
"../util/mpi.rkt")
|
||||
(provide policy->predicate)
|
||||
|
|
|
@ -1,9 +1,7 @@
|
|||
#lang racket/base
|
||||
(require (for-syntax racket/base)
|
||||
racket/list
|
||||
racket/contract
|
||||
racket/match
|
||||
"deriv.rkt"
|
||||
"deriv-util.rkt"
|
||||
"stx-util.rkt"
|
||||
"context.rkt"
|
||||
|
|
|
@ -2,9 +2,7 @@
|
|||
(require (for-syntax racket/base
|
||||
syntax/parse
|
||||
syntax/parse/experimental/contract)
|
||||
racket/list
|
||||
racket/contract
|
||||
"deriv.rkt"
|
||||
"deriv-util.rkt"
|
||||
"stx-util.rkt"
|
||||
"context.rkt"
|
||||
|
|
|
@ -1,6 +1,4 @@
|
|||
#lang racket/base
|
||||
(require "deriv.rkt"
|
||||
"deriv-util.rkt")
|
||||
(provide (struct-out protostep)
|
||||
(struct-out step)
|
||||
(struct-out misstep)
|
||||
|
|
|
@ -2,7 +2,6 @@
|
|||
(require racket/class
|
||||
parser-tools/lex
|
||||
"deriv-tokens.rkt"
|
||||
"deriv-parser.rkt"
|
||||
"../syntax-browser.rkt")
|
||||
(provide (all-defined-out))
|
||||
|
||||
|
|
|
@ -1,7 +1,6 @@
|
|||
#lang racket/base
|
||||
(require racket/promise
|
||||
parser-tools/lex
|
||||
"deriv.rkt"
|
||||
"deriv-parser.rkt"
|
||||
"deriv-tokens.rkt")
|
||||
|
||||
|
|
|
@ -1,6 +1,5 @@
|
|||
#lang racket/base
|
||||
(require racket/list
|
||||
racket/pretty
|
||||
(require racket/pretty
|
||||
"model/trace.rkt"
|
||||
"model/reductions.rkt"
|
||||
"model/reductions-config.rkt"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
racket/list
|
||||
racket/block
|
||||
framework
|
||||
|
|
|
@ -1,8 +1,7 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
racket/list
|
||||
framework
|
||||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
"partition.rkt"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/gui)
|
||||
racket/gui/base)
|
||||
(provide hrule-snip%)
|
||||
|
||||
;; hrule-snip%
|
||||
|
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
(require racket/contract
|
||||
racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
framework
|
||||
"prefs.rkt"
|
||||
"controller.rkt"
|
||||
|
|
|
@ -1,10 +1,9 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
racket/pretty
|
||||
unstable/gui/notify
|
||||
"interfaces.rkt"
|
||||
"partition.rkt")
|
||||
"interfaces.rkt")
|
||||
(provide syntax-keymap%)
|
||||
|
||||
(define keymap/popup%
|
||||
|
|
|
@ -1,6 +1,5 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
syntax/stx
|
||||
"interfaces.rkt"
|
||||
"../util/stxobj.rkt")
|
||||
(provide new-bound-partition
|
||||
|
|
|
@ -1,6 +1,5 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/pretty
|
||||
(require racket/pretty
|
||||
unstable/class-iop
|
||||
syntax/stx
|
||||
unstable/struct
|
||||
|
|
|
@ -2,7 +2,8 @@
|
|||
(require racket/list
|
||||
racket/class
|
||||
racket/pretty
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
racket/promise
|
||||
"pretty-helper.rkt"
|
||||
"interfaces.rkt")
|
||||
(provide pretty-print-syntax)
|
||||
|
|
|
@ -1,10 +1,9 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
framework
|
||||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
"util.rkt"
|
||||
"../util/mpi.rkt"
|
||||
"../util/stxobj.rkt")
|
||||
(provide properties-view%
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
(only-in mzlib/string read-from-string)
|
||||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
|
|
|
@ -1,10 +1,9 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
racket/match
|
||||
(only-in mzlib/string read-from-string)
|
||||
framework
|
||||
"interfaces.rkt"
|
||||
"display.rkt"
|
||||
"controller.rkt"
|
||||
"keymap.rkt"
|
||||
|
|
|
@ -1,11 +1,10 @@
|
|||
#lang racket/base
|
||||
(require racket/list
|
||||
racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
drracket/arrow
|
||||
framework/framework
|
||||
data/interval-map
|
||||
unstable/gui/notify
|
||||
"interfaces.rkt")
|
||||
|
||||
(provide text:hover<%>
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
racket/list
|
||||
racket/match
|
||||
framework
|
||||
|
|
|
@ -4,7 +4,6 @@
|
|||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
"debug-format.rkt"
|
||||
"prefs.rkt"
|
||||
"view.rkt")
|
||||
(provide debug-file)
|
||||
|
||||
|
|
|
@ -3,21 +3,11 @@
|
|||
racket/unit
|
||||
racket/list
|
||||
racket/match
|
||||
racket/gui
|
||||
framework
|
||||
racket/gui/base
|
||||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
"prefs.rkt"
|
||||
"hiding-panel.rkt"
|
||||
(prefix-in s: "../syntax-browser/widget.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)
|
||||
(prefix-in s: "../syntax-browser/keymap.rkt"))
|
||||
(provide stepper-keymap%
|
||||
stepper-syntax-widget%)
|
||||
|
||||
|
|
|
@ -3,21 +3,15 @@
|
|||
racket/unit
|
||||
racket/list
|
||||
racket/file
|
||||
racket/path
|
||||
racket/match
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
framework
|
||||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
"stepper.rkt"
|
||||
"prefs.rkt"
|
||||
"hiding-panel.rkt"
|
||||
(prefix-in sb: "../syntax-browser/embed.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)
|
||||
(provide macro-stepper-frame-mixin)
|
||||
|
||||
|
|
|
@ -1,7 +1,8 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
racket/list
|
||||
racket/match
|
||||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
"../model/hiding-policies.rkt"
|
||||
|
|
|
@ -3,23 +3,11 @@
|
|||
racket/unit
|
||||
racket/list
|
||||
racket/match
|
||||
racket/gui
|
||||
framework
|
||||
racket/gui/base
|
||||
unstable/class-iop
|
||||
"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"
|
||||
unstable/gui/notify
|
||||
(prefix-in sb: "../syntax-browser/interfaces.rkt")
|
||||
"cursor.rkt"
|
||||
"debug-format.rkt")
|
||||
|
||||
#;
|
||||
|
|
|
@ -3,11 +3,9 @@
|
|||
racket/unit
|
||||
racket/list
|
||||
racket/match
|
||||
racket/gui
|
||||
framework
|
||||
racket/gui/base
|
||||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
"prefs.rkt"
|
||||
"extensions.rkt"
|
||||
"hiding-panel.rkt"
|
||||
"term-record.rkt"
|
||||
|
@ -15,9 +13,6 @@
|
|||
(prefix-in sb: "../syntax-browser/interfaces.rkt")
|
||||
"../model/deriv.rkt"
|
||||
"../model/deriv-util.rkt"
|
||||
"../model/trace.rkt"
|
||||
"../model/reductions.rkt"
|
||||
"../model/steps.rkt"
|
||||
"cursor.rkt"
|
||||
unstable/gui/notify
|
||||
(only-in mzscheme [#%top-interaction mz-top-interaction]))
|
||||
|
|
|
@ -3,15 +3,11 @@
|
|||
racket/unit
|
||||
racket/list
|
||||
racket/match
|
||||
racket/gui
|
||||
framework
|
||||
racket/gui/base
|
||||
syntax/stx
|
||||
unstable/find
|
||||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
"prefs.rkt"
|
||||
"extensions.rkt"
|
||||
"hiding-panel.rkt"
|
||||
"step-display.rkt"
|
||||
"../model/deriv.rkt"
|
||||
"../model/deriv-util.rkt"
|
||||
|
@ -20,9 +16,7 @@
|
|||
"../model/reductions-config.rkt"
|
||||
"../model/reductions.rkt"
|
||||
"../model/steps.rkt"
|
||||
unstable/gui/notify
|
||||
"cursor.rkt"
|
||||
"debug-format.rkt")
|
||||
"cursor.rkt")
|
||||
|
||||
(provide term-record%)
|
||||
|
||||
|
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
(require racket/class
|
||||
racket/pretty
|
||||
racket/gui
|
||||
racket/gui/base
|
||||
framework
|
||||
unstable/class-iop
|
||||
"interfaces.rkt"
|
||||
|
|
Loading…
Reference in New Issue
Block a user