commit b069b5c00f83b8f8f4c1c7e8ac75409f8ebd0240 parent 8352e11979282b36702f67aa7915d79bd83960a3 Author: Matthew Flatt <mflatt@racket-lang.org> Date: Tue, 27 Apr 2010 16:05:36 -0600 rename all files .ss -> .rkt original commit: 28b404307793f041bb3363135a2968e283855318 Diffstat:
68 files changed, 71 insertions(+), 71 deletions(-)
diff --git a/collects/macro-debugger/expand.ss b/collects/macro-debugger/expand.rkt diff --git a/collects/macro-debugger/info.ss b/collects/macro-debugger/info.rkt diff --git a/collects/macro-debugger/model/context.ss b/collects/macro-debugger/model/context.rkt diff --git a/collects/macro-debugger/model/debug.ss b/collects/macro-debugger/model/debug.rkt diff --git a/collects/macro-debugger/model/deriv-c.ss b/collects/macro-debugger/model/deriv-c.rkt diff --git a/collects/macro-debugger/model/deriv-parser.ss b/collects/macro-debugger/model/deriv-parser.rkt diff --git a/collects/macro-debugger/model/deriv-tokens.ss b/collects/macro-debugger/model/deriv-tokens.rkt diff --git a/collects/macro-debugger/model/deriv-util.rkt b/collects/macro-debugger/model/deriv-util.rkt @@ -0,0 +1,71 @@ + +#lang scheme/base +(require (for-syntax scheme/base) + (for-syntax racket/private/struct-info) + scheme/list + scheme/match + unstable/struct + "deriv.ss") + +(provide make + + Wrap + + ok-node? + interrupted-node? + + wderiv-e1 + wderiv-e2 + wlderiv-es1 + wlderiv-es2 + wbderiv-es1 + wbderiv-es2 + + wderivlist-es2) + +;; Wrap matcher +;; Matches unwrapped, interrupted wrapped, or error wrapped +(define-match-expander Wrap + (lambda (stx) + (syntax-case stx () + [(Wrap S (var ...)) + (syntax/loc stx (struct S (var ...)))]))) + +;; ---- + +(define (check sym pred type x) + (unless (pred x) + (raise-type-error sym type x))) + +(define (ok-node? x) + (check 'ok-node? node? "node" x) + (and (node-z1 x) #t)) +(define (interrupted-node? x) + (check 'interrupted-node? node? "node" x) + (not (node-z2 x))) + + +(define (wderiv-e1 x) + (check 'wderiv-e1 deriv? "deriv" x) + (node-z1 x)) +(define (wderiv-e2 x) + (check 'wderiv-e2 deriv? "deriv" x) + (node-z2 x)) + +(define (wlderiv-es1 x) + (check 'wlderiv-es1 lderiv? "lderiv" x) + (node-z1 x)) +(define (wlderiv-es2 x) + (check 'wlderiv-es2 lderiv? "lderiv" x) + (node-z2 x)) + +(define (wbderiv-es1 x) + (check 'wbderiv-es1 bderiv? "bderiv" x) + (node-z1 x)) +(define (wbderiv-es2 x) + (check 'wbderiv-es2 bderiv? "bderiv" x)) + +;; wderivlist-es2 : (list-of WDeriv) -> (list-of Stx)/#f +(define (wderivlist-es2 xs) + (let ([es2 (map wderiv-e2 xs)]) + (and (andmap syntax? es2) es2))) diff --git a/collects/macro-debugger/model/deriv-util.ss b/collects/macro-debugger/model/deriv-util.ss @@ -1,71 +0,0 @@ - -#lang scheme/base -(require (for-syntax scheme/base) - (for-syntax scheme/private/struct-info) - scheme/list - scheme/match - unstable/struct - "deriv.ss") - -(provide make - - Wrap - - ok-node? - interrupted-node? - - wderiv-e1 - wderiv-e2 - wlderiv-es1 - wlderiv-es2 - wbderiv-es1 - wbderiv-es2 - - wderivlist-es2) - -;; Wrap matcher -;; Matches unwrapped, interrupted wrapped, or error wrapped -(define-match-expander Wrap - (lambda (stx) - (syntax-case stx () - [(Wrap S (var ...)) - (syntax/loc stx (struct S (var ...)))]))) - -;; ---- - -(define (check sym pred type x) - (unless (pred x) - (raise-type-error sym type x))) - -(define (ok-node? x) - (check 'ok-node? node? "node" x) - (and (node-z1 x) #t)) -(define (interrupted-node? x) - (check 'interrupted-node? node? "node" x) - (not (node-z2 x))) - - -(define (wderiv-e1 x) - (check 'wderiv-e1 deriv? "deriv" x) - (node-z1 x)) -(define (wderiv-e2 x) - (check 'wderiv-e2 deriv? "deriv" x) - (node-z2 x)) - -(define (wlderiv-es1 x) - (check 'wlderiv-es1 lderiv? "lderiv" x) - (node-z1 x)) -(define (wlderiv-es2 x) - (check 'wlderiv-es2 lderiv? "lderiv" x) - (node-z2 x)) - -(define (wbderiv-es1 x) - (check 'wbderiv-es1 bderiv? "bderiv" x) - (node-z1 x)) -(define (wbderiv-es2 x) - (check 'wbderiv-es2 bderiv? "bderiv" x)) - -;; wderivlist-es2 : (list-of WDeriv) -> (list-of Stx)/#f -(define (wderivlist-es2 xs) - (let ([es2 (map wderiv-e2 xs)]) - (and (andmap syntax? es2) es2))) diff --git a/collects/macro-debugger/model/deriv.ss b/collects/macro-debugger/model/deriv.rkt diff --git a/collects/macro-debugger/model/hiding-policies.ss b/collects/macro-debugger/model/hiding-policies.rkt diff --git a/collects/macro-debugger/model/reductions-config.ss b/collects/macro-debugger/model/reductions-config.rkt diff --git a/collects/macro-debugger/model/reductions-engine.ss b/collects/macro-debugger/model/reductions-engine.rkt diff --git a/collects/macro-debugger/model/reductions.ss b/collects/macro-debugger/model/reductions.rkt diff --git a/collects/macro-debugger/model/steps.ss b/collects/macro-debugger/model/steps.rkt diff --git a/collects/macro-debugger/model/stx-util.ss b/collects/macro-debugger/model/stx-util.rkt diff --git a/collects/macro-debugger/model/trace-raw.ss b/collects/macro-debugger/model/trace-raw.rkt diff --git a/collects/macro-debugger/model/trace.ss b/collects/macro-debugger/model/trace.rkt diff --git a/collects/macro-debugger/model/yacc-ext.ss b/collects/macro-debugger/model/yacc-ext.rkt diff --git a/collects/macro-debugger/model/yacc-interrupted.ss b/collects/macro-debugger/model/yacc-interrupted.rkt diff --git a/collects/macro-debugger/stepper-text.ss b/collects/macro-debugger/stepper-text.rkt diff --git a/collects/macro-debugger/stepper.ss b/collects/macro-debugger/stepper.rkt diff --git a/collects/macro-debugger/syntax-browser.ss b/collects/macro-debugger/syntax-browser.rkt diff --git a/collects/macro-debugger/syntax-browser/controller.ss b/collects/macro-debugger/syntax-browser/controller.rkt diff --git a/collects/macro-debugger/syntax-browser/display.ss b/collects/macro-debugger/syntax-browser/display.rkt diff --git a/collects/macro-debugger/syntax-browser/embed.ss b/collects/macro-debugger/syntax-browser/embed.rkt diff --git a/collects/macro-debugger/syntax-browser/frame.ss b/collects/macro-debugger/syntax-browser/frame.rkt diff --git a/collects/macro-debugger/syntax-browser/hrule-snip.ss b/collects/macro-debugger/syntax-browser/hrule-snip.rkt diff --git a/collects/macro-debugger/syntax-browser/image.ss b/collects/macro-debugger/syntax-browser/image.rkt diff --git a/collects/macro-debugger/syntax-browser/interfaces.ss b/collects/macro-debugger/syntax-browser/interfaces.rkt diff --git a/collects/macro-debugger/syntax-browser/keymap.ss b/collects/macro-debugger/syntax-browser/keymap.rkt diff --git a/collects/macro-debugger/syntax-browser/partition.ss b/collects/macro-debugger/syntax-browser/partition.rkt diff --git a/collects/macro-debugger/syntax-browser/prefs.ss b/collects/macro-debugger/syntax-browser/prefs.rkt diff --git a/collects/macro-debugger/syntax-browser/pretty-helper.ss b/collects/macro-debugger/syntax-browser/pretty-helper.rkt diff --git a/collects/macro-debugger/syntax-browser/pretty-printer.ss b/collects/macro-debugger/syntax-browser/pretty-printer.rkt diff --git a/collects/macro-debugger/syntax-browser/properties.ss b/collects/macro-debugger/syntax-browser/properties.rkt diff --git a/collects/macro-debugger/syntax-browser/snip-decorated.ss b/collects/macro-debugger/syntax-browser/snip-decorated.rkt diff --git a/collects/macro-debugger/syntax-browser/snip.ss b/collects/macro-debugger/syntax-browser/snip.rkt diff --git a/collects/macro-debugger/syntax-browser/text.ss b/collects/macro-debugger/syntax-browser/text.rkt diff --git a/collects/macro-debugger/syntax-browser/util.ss b/collects/macro-debugger/syntax-browser/util.rkt diff --git a/collects/macro-debugger/syntax-browser/widget.ss b/collects/macro-debugger/syntax-browser/widget.rkt diff --git a/collects/macro-debugger/util/mpi.ss b/collects/macro-debugger/util/mpi.rkt diff --git a/collects/macro-debugger/view/cursor.ss b/collects/macro-debugger/view/cursor.rkt diff --git a/collects/macro-debugger/view/debug-format.ss b/collects/macro-debugger/view/debug-format.rkt diff --git a/collects/macro-debugger/view/debug.ss b/collects/macro-debugger/view/debug.rkt diff --git a/collects/macro-debugger/view/extensions.ss b/collects/macro-debugger/view/extensions.rkt diff --git a/collects/macro-debugger/view/frame.ss b/collects/macro-debugger/view/frame.rkt diff --git a/collects/macro-debugger/view/hiding-panel.ss b/collects/macro-debugger/view/hiding-panel.rkt diff --git a/collects/macro-debugger/view/interfaces.ss b/collects/macro-debugger/view/interfaces.rkt diff --git a/collects/macro-debugger/view/prefs.ss b/collects/macro-debugger/view/prefs.rkt diff --git a/collects/macro-debugger/view/step-display.ss b/collects/macro-debugger/view/step-display.rkt diff --git a/collects/macro-debugger/view/stepper.ss b/collects/macro-debugger/view/stepper.rkt diff --git a/collects/macro-debugger/view/term-record.ss b/collects/macro-debugger/view/term-record.rkt diff --git a/collects/macro-debugger/view/view.ss b/collects/macro-debugger/view/view.rkt diff --git a/collects/tests/macro-debugger/all-tests.ss b/collects/tests/macro-debugger/all-tests.rkt diff --git a/collects/tests/macro-debugger/gentest-framework.ss b/collects/tests/macro-debugger/gentest-framework.rkt diff --git a/collects/tests/macro-debugger/gentests.ss b/collects/tests/macro-debugger/gentests.rkt diff --git a/collects/tests/macro-debugger/gui-tests.ss b/collects/tests/macro-debugger/gui-tests.rkt diff --git a/collects/tests/macro-debugger/test-setup.ss b/collects/tests/macro-debugger/test-setup.rkt diff --git a/collects/tests/macro-debugger/tests/collects.ss b/collects/tests/macro-debugger/tests/collects.rkt diff --git a/collects/tests/macro-debugger/tests/hiding.ss b/collects/tests/macro-debugger/tests/hiding.rkt diff --git a/collects/tests/macro-debugger/tests/policy.ss b/collects/tests/macro-debugger/tests/policy.rkt diff --git a/collects/tests/macro-debugger/tests/regression.ss b/collects/tests/macro-debugger/tests/regression.rkt diff --git a/collects/tests/macro-debugger/tests/syntax-basic.ss b/collects/tests/macro-debugger/tests/syntax-basic.rkt diff --git a/collects/tests/macro-debugger/tests/syntax-errors.ss b/collects/tests/macro-debugger/tests/syntax-errors.rkt diff --git a/collects/tests/macro-debugger/tests/syntax-macros.ss b/collects/tests/macro-debugger/tests/syntax-macros.rkt diff --git a/collects/tests/macro-debugger/tests/syntax-modules.ss b/collects/tests/macro-debugger/tests/syntax-modules.rkt diff --git a/collects/unstable/find.ss b/collects/unstable/find.rkt