".ss" -> ".rkt" scan done.

original commit: 3157955d40f89d83fb3d5fa7a2f20639cda69579
This commit is contained in:
Eli Barzilay 2011-07-02 10:37:53 -04:00
parent c1d20d9dc5
commit e9a8f801d3
9 changed files with 23 additions and 26 deletions

View File

@ -1,17 +1,17 @@
#lang scheme/base #lang scheme/base
(require rackunit (require rackunit
macro-debugger/model/debug macro-debugger/model/debug
"gentest-framework.ss" "gentest-framework.rkt"
"gentests.ss" "gentests.rkt"
"test-setup.ss" "test-setup.rkt"
"tests/syntax-basic.ss" "tests/syntax-basic.rkt"
"tests/syntax-macros.ss" "tests/syntax-macros.rkt"
"tests/syntax-modules.ss" "tests/syntax-modules.rkt"
"tests/syntax-errors.ss" "tests/syntax-errors.rkt"
"tests/hiding.ss" "tests/hiding.rkt"
"tests/regression.ss" "tests/regression.rkt"
"tests/policy.ss" "tests/policy.rkt"
;;"tests/collects.ss" ;;"tests/collects.rkt"
) )
(provide all-tests) (provide all-tests)

View File

@ -2,8 +2,8 @@
(require rackunit) (require rackunit)
(require macro-debugger/model/debug (require macro-debugger/model/debug
macro-debugger/model/stx-util macro-debugger/model/stx-util
"gentest-framework.ss" "gentest-framework.rkt"
"test-setup.ss") "test-setup.rkt")
(provide mk-deriv-test (provide mk-deriv-test
mk-steps-test mk-steps-test
mk-hidden-deriv-test mk-hidden-deriv-test

View File

@ -1,7 +1,7 @@
#lang scheme/base #lang scheme/base
(require rackunit) (require rackunit)
(require macro-debugger/model/debug (require macro-debugger/model/debug
"../test-setup.ss") "../test-setup.rkt")
(provide specialized-hiding-tests) (provide specialized-hiding-tests)
;; == Macro hiding ;; == Macro hiding

View File

@ -1,7 +1,7 @@
#lang scheme/base #lang scheme/base
(require rackunit) (require rackunit)
(require macro-debugger/model/debug (require macro-debugger/model/debug
"../test-setup.ss") "../test-setup.rkt")
(provide policy-tests) (provide policy-tests)
(define ns (make-base-namespace)) (define ns (make-base-namespace))

View File

@ -2,7 +2,7 @@
(require rackunit) (require rackunit)
(require macro-debugger/model/debug (require macro-debugger/model/debug
macro-debugger/model/steps macro-debugger/model/steps
"../test-setup.ss") "../test-setup.rkt")
(provide regression-tests) (provide regression-tests)
(define regression-tests (define regression-tests
@ -116,7 +116,7 @@
(test-case "hiding: keeping lifts in sync" (test-case "hiding: keeping lifts in sync"
(let ([freshname (gensym)]) (let ([freshname (gensym)])
(eval `(module ,freshname mzscheme (eval `(module ,freshname mzscheme
(require (lib "contract.ss")) (require (lib "contract.rkt"))
(provide/contract [f (integer? . -> . integer?)] (provide/contract [f (integer? . -> . integer?)]
[c integer?]) [c integer?])
(define (f x) (add1 x)) (define (f x) (add1 x))

View File

@ -1,5 +1,5 @@
#lang scheme/base #lang scheme/base
(require "../gentest-framework.ss") (require "../gentest-framework.rkt")
(provide proto:kernel-forms (provide proto:kernel-forms
proto:kernel-contexts) proto:kernel-contexts)

View File

@ -1,6 +1,5 @@
#lang scheme/base #lang scheme/base
(require "../gentest-framework.ss") (require "../gentest-framework.rkt")
(provide proto:errors) (provide proto:errors)
(define-tests proto:errors "Bad syntax" (define-tests proto:errors "Bad syntax"

View File

@ -1,6 +1,5 @@
#lang scheme/base #lang scheme/base
(require "../gentest-framework.ss") (require "../gentest-framework.rkt")
(provide proto:macros) (provide proto:macros)
(define-tests proto:macros "Macros" (define-tests proto:macros "Macros"

View File

@ -1,6 +1,5 @@
#lang scheme/base #lang scheme/base
(require "../gentest-framework.ss") (require "../gentest-framework.rkt")
(provide proto:modules) (provide proto:modules)
(define-syntax-rule (testM form . clauses) (define-syntax-rule (testM form . clauses)
@ -327,9 +326,9 @@
(P? (make-P P-x P-y)))) (P? (make-P P-x P-y))))
(test "module with match" (test "module with match"
(module m mzscheme (module m mzscheme
(require (lib "match.ss")) (require (lib "match.rkt"))
(match '4 [n (add1 n)]))) (match '4 [n (add1 n)])))
(test "module with match before require" (test "module with match before require"
(module m mzscheme (module m mzscheme
(match '4 [n (add1 n)]) (match '4 [n (add1 n)])
(require (lib "match.ss"))))) (require (lib "match.rkt")))))