removed useless requires
original commit: 40439aa4efea8dc06d6b17756355571410e81888
This commit is contained in:
parent
02cc0920fc
commit
bbf9314bd8
|
@ -1,11 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/contract
|
(require racket/contract
|
||||||
racket/match
|
racket/match
|
||||||
racket/dict
|
|
||||||
unstable/struct
|
unstable/struct
|
||||||
syntax/modresolve
|
|
||||||
syntax/stx
|
|
||||||
syntax/id-table
|
|
||||||
macro-debugger/model/deriv
|
macro-debugger/model/deriv
|
||||||
"private/reftable.rkt"
|
"private/reftable.rkt"
|
||||||
"private/nom-use-alg.rkt"
|
"private/nom-use-alg.rkt"
|
||||||
|
|
|
@ -3,7 +3,6 @@
|
||||||
racket/match
|
racket/match
|
||||||
syntax/stx
|
syntax/stx
|
||||||
"../util/eomap.rkt"
|
"../util/eomap.rkt"
|
||||||
"stx-util.rkt"
|
|
||||||
"deriv-util.rkt"
|
"deriv-util.rkt"
|
||||||
"deriv.rkt"
|
"deriv.rkt"
|
||||||
"reductions-engine.rkt")
|
"reductions-engine.rkt")
|
||||||
|
|
|
@ -1,8 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
racket/list
|
|
||||||
racket/pretty
|
|
||||||
racket/promise
|
racket/promise
|
||||||
data/interval-map
|
data/interval-map
|
||||||
framework
|
framework
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/pretty
|
(require racket/pretty
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
syntax/stx
|
|
||||||
unstable/struct
|
unstable/struct
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"../model/stx-util.rkt")
|
"../model/stx-util.rkt")
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/list
|
(require racket/class
|
||||||
racket/class
|
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
data/interval-map
|
data/interval-map
|
||||||
drracket/arrow
|
drracket/arrow
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
racket/list
|
|
||||||
racket/match
|
racket/match
|
||||||
framework
|
framework
|
||||||
syntax/id-table
|
syntax/id-table
|
||||||
|
|
|
@ -1,8 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/unit
|
|
||||||
racket/list
|
|
||||||
racket/match
|
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
|
|
|
@ -1,10 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/unit
|
|
||||||
racket/list
|
|
||||||
racket/file
|
|
||||||
racket/path
|
racket/path
|
||||||
racket/match
|
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
racket/list
|
|
||||||
racket/match
|
racket/match
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
|
|
|
@ -1,7 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/unit
|
|
||||||
racket/list
|
|
||||||
racket/match
|
racket/match
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
|
|
|
@ -1,10 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/unit
|
|
||||||
racket/list
|
|
||||||
racket/match
|
racket/match
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
racket/pretty
|
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"extensions.rkt"
|
"extensions.rkt"
|
||||||
|
|
|
@ -1,9 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/unit
|
|
||||||
racket/list
|
|
||||||
racket/match
|
racket/match
|
||||||
racket/gui/base
|
|
||||||
syntax/stx
|
syntax/stx
|
||||||
unstable/find
|
unstable/find
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
|
|
|
@ -1,13 +1,11 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/pretty
|
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
framework
|
framework
|
||||||
unstable/class-iop
|
unstable/class-iop
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"frame.rkt"
|
"frame.rkt"
|
||||||
"prefs.rkt"
|
"prefs.rkt")
|
||||||
"../model/trace.rkt")
|
|
||||||
(provide macro-stepper-director%
|
(provide macro-stepper-director%
|
||||||
macro-stepper-frame%)
|
macro-stepper-frame%)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user