Some "obvious" switching from racket' to
racket/base'.
This commit is contained in:
parent
d49aeecd8a
commit
1c8001d174
|
@ -1,10 +1,12 @@
|
||||||
#lang racket
|
#lang racket/base
|
||||||
|
|
||||||
(require "datatype.rkt"
|
(require "datatype.rkt"
|
||||||
"private/sllgen.rkt"
|
"private/sllgen.rkt"
|
||||||
|
racket/promise
|
||||||
mzlib/trace
|
mzlib/trace
|
||||||
mzlib/pretty)
|
mzlib/pretty)
|
||||||
(require (for-syntax "private/slldef.rkt"))
|
(require (for-syntax racket/base
|
||||||
|
"private/slldef.rkt"))
|
||||||
|
|
||||||
(provide define-datatype
|
(provide define-datatype
|
||||||
cases)
|
cases)
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang racket
|
#lang racket/base
|
||||||
|
|
||||||
(require racket/gui)
|
(require racket/gui)
|
||||||
|
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
#lang racket
|
#lang racket/base
|
||||||
(require rackunit/gui)
|
(require rackunit/gui)
|
||||||
(provide (all-from-out rackunit/gui))
|
(provide (all-from-out rackunit/gui))
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
#lang racket
|
#lang racket/base
|
||||||
(require rackunit)
|
(require rackunit)
|
||||||
(provide (all-from-out rackunit))
|
(provide (all-from-out rackunit))
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
#lang racket
|
#lang racket/base
|
||||||
(require rackunit/text-ui)
|
(require rackunit/text-ui)
|
||||||
(provide (all-from-out rackunit/text-ui))
|
(provide (all-from-out rackunit/text-ui))
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
#lang racket
|
#lang racket/base
|
||||||
(require typed/rackunit/main)
|
(require typed/rackunit/main)
|
||||||
(provide (all-from-out typed/rackunit/main))
|
(provide (all-from-out typed/rackunit/main))
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket
|
#lang racket/base
|
||||||
(require racket/system)
|
(require racket/path racket/system)
|
||||||
|
|
||||||
(define from (vector-ref (current-command-line-arguments) 0))
|
(define from (vector-ref (current-command-line-arguments) 0))
|
||||||
(define to
|
(define to
|
||||||
|
|
Loading…
Reference in New Issue
Block a user