".ss" -> ".rkt" scan done.
This commit is contained in:
parent
4da4a2759b
commit
3157955d40
|
@ -3,7 +3,7 @@
|
||||||
(require (for-syntax syntax/parse)
|
(require (for-syntax syntax/parse)
|
||||||
srfi/13 htdp/error
|
srfi/13 htdp/error
|
||||||
(rename-in lang/prim (first-order->higher-order f2h))
|
(rename-in lang/prim (first-order->higher-order f2h))
|
||||||
"private/csv/csv.ss")
|
"private/csv/csv.rkt")
|
||||||
|
|
||||||
;; todo?
|
;; todo?
|
||||||
;; -- export tokenization?
|
;; -- export tokenization?
|
||||||
|
|
|
@ -33,9 +33,9 @@ and they all have good sample contracts. (It is amazing what we can do with kids
|
||||||
|#
|
|#
|
||||||
|
|
||||||
|
|
||||||
(require (except-in "../mrlib/image-core.ss" make-color color make-pen pen)
|
(require (except-in "../mrlib/image-core.rkt" make-color color make-pen pen)
|
||||||
"private/image-more.ss"
|
"private/image-more.rkt"
|
||||||
"private/img-err.ss"
|
"private/img-err.rkt"
|
||||||
(only-in lang/prim provide-primitive provide-primitives define-primitive)
|
(only-in lang/prim provide-primitive provide-primitives define-primitive)
|
||||||
htdp/error)
|
htdp/error)
|
||||||
|
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
|
|
||||||
(require mrlib/image-core
|
(require mrlib/image-core
|
||||||
"img-err.ss"
|
"img-err.rkt"
|
||||||
racket/match
|
racket/match
|
||||||
racket/contract
|
racket/contract
|
||||||
racket/class
|
racket/class
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang scheme/gui
|
#lang scheme/gui
|
||||||
|
|
||||||
(require "timer.ss")
|
(require "timer.rkt")
|
||||||
|
|
||||||
(provide last-mixin)
|
(provide last-mixin)
|
||||||
|
|
||||||
|
|
|
@ -8,7 +8,7 @@
|
||||||
;; tick field, which the super-class uses to define the callback.
|
;; tick field, which the super-class uses to define the callback.
|
||||||
|
|
||||||
|
|
||||||
(require "check-aux.ss")
|
(require "check-aux.rkt")
|
||||||
|
|
||||||
(provide clock-mixin start-stop<%>)
|
(provide clock-mixin start-stop<%>)
|
||||||
|
|
||||||
|
|
|
@ -1,10 +1,10 @@
|
||||||
#lang racket/gui
|
#lang racket/gui
|
||||||
|
|
||||||
(require (for-syntax "syn-aux.ss")
|
(require (for-syntax "syn-aux.rkt")
|
||||||
"checked-cell.ss"
|
"checked-cell.rkt"
|
||||||
"check-aux.ss"
|
"check-aux.rkt"
|
||||||
"timer.ss"
|
"timer.rkt"
|
||||||
"last.ss"
|
"last.rkt"
|
||||||
htdp/error
|
htdp/error
|
||||||
(only-in mzlib/etc evcase)
|
(only-in mzlib/etc evcase)
|
||||||
string-constants)
|
string-constants)
|
||||||
|
|
|
@ -1,11 +1,11 @@
|
||||||
#lang scheme/gui
|
#lang scheme/gui
|
||||||
|
|
||||||
(require "check-aux.ss"
|
(require "check-aux.rkt"
|
||||||
"timer.ss"
|
"timer.rkt"
|
||||||
"last.ss"
|
"last.rkt"
|
||||||
"checked-cell.ss"
|
"checked-cell.rkt"
|
||||||
"stop.ss"
|
"stop.rkt"
|
||||||
"universe-image.ss"
|
"universe-image.rkt"
|
||||||
htdp/error
|
htdp/error
|
||||||
mzlib/runtime-path
|
mzlib/runtime-path
|
||||||
mrlib/bitmap-label
|
mrlib/bitmap-label
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
(require profile
|
(require profile
|
||||||
scheme/runtime-path)
|
scheme/runtime-path)
|
||||||
|
|
||||||
(define-runtime-path perform-robby "perform-robby.ss")
|
(define-runtime-path perform-robby "perform-robby.rkt")
|
||||||
|
|
||||||
(profile-thunk
|
(profile-thunk
|
||||||
(λ ()
|
(λ ()
|
||||||
|
|
|
@ -2275,10 +2275,10 @@
|
||||||
[normalized (normalize-shape (image-shape img))]
|
[normalized (normalize-shape (image-shape img))]
|
||||||
[norm-size (image-struct-count normalized)])
|
[norm-size (image-struct-count normalized)])
|
||||||
(unless (normalized-shape? normalized)
|
(unless (normalized-shape? normalized)
|
||||||
(error 'test-image.ss "found a non-normalized shape after normalization:\n~s"
|
(error 'test-image.rkt "found a non-normalized shape after normalization:\n~s"
|
||||||
img-sexp))
|
img-sexp))
|
||||||
(unless (equal? norm-size raw-size)
|
(unless (equal? norm-size raw-size)
|
||||||
(error 'test-image.ss "found differing sizes for ~s:\n ~s\n ~s"
|
(error 'test-image.rkt "found differing sizes for ~s:\n ~s\n ~s"
|
||||||
img-sexp raw-size norm-size))))
|
img-sexp raw-size norm-size))))
|
||||||
|
|
||||||
(time
|
(time
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
#reader(lib "htdp-intermediate-lambda-reader.ss" "lang")((modname chatter) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
|
#reader(lib "htdp-intermediate-lambda-reader.ss" "lang")((modname chatter) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
|
||||||
(require 2htdp/universe)
|
(require 2htdp/universe)
|
||||||
(require htdp/image)
|
(require htdp/image)
|
||||||
(require "auxiliaries.ss")
|
(require "auxiliaries.rkt")
|
||||||
|
|
||||||
#|
|
#|
|
||||||
|
|
||||||
|
|
|
@ -12,16 +12,16 @@
|
||||||
-- make window resizable :: why
|
-- make window resizable :: why
|
||||||
|#
|
|#
|
||||||
|
|
||||||
(require (for-syntax "private/syn-aux.ss"
|
(require (for-syntax "private/syn-aux.rkt"
|
||||||
stepper/private/shared)
|
stepper/private/shared)
|
||||||
"private/syn-aux-aux.ss"
|
"private/syn-aux-aux.rkt"
|
||||||
"private/syn-aux.ss"
|
"private/syn-aux.rkt"
|
||||||
"private/check-aux.ss"
|
"private/check-aux.rkt"
|
||||||
"private/universe-image.ss"
|
"private/universe-image.rkt"
|
||||||
"private/world.ss"
|
"private/world.rkt"
|
||||||
"private/universe.ss"
|
"private/universe.rkt"
|
||||||
"private/launch-many-worlds.ss"
|
"private/launch-many-worlds.rkt"
|
||||||
"private/stop.ss"
|
"private/stop.rkt"
|
||||||
htdp/error
|
htdp/error
|
||||||
(rename-in lang/prim (first-order->higher-order f2h)))
|
(rename-in lang/prim (first-order->higher-order f2h)))
|
||||||
|
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
;; The first three lines of this file were inserted by DrScheme. They record metadata
|
;; The first three lines of this file were inserted by DrScheme. They record metadata
|
||||||
;; about the language level of this file in a form that our tools can easily process.
|
;; about the language level of this file in a form that our tools can easily process.
|
||||||
#reader(lib "htdp-intermediate-lambda-reader.ss" "lang")((modname sam) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
|
#reader(lib "htdp-intermediate-lambda-reader.ss" "lang")((modname sam) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
|
||||||
(require "shared.ss")
|
(require "shared.rkt"
|
||||||
(require 2htdp/universe)
|
2htdp/universe)
|
||||||
|
|
||||||
(launch-many-worlds (make-player 200 "sam") (make-player 100 "carl"))
|
(launch-many-worlds (make-player 200 "sam") (make-player 100 "carl"))
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang scheme
|
#lang scheme
|
||||||
|
|
||||||
(require 2htdp/universe htdp/testing htdp/image)
|
(require 2htdp/universe htdp/testing htdp/image)
|
||||||
;(require "../2htdp/universe.ss" htdp/testing)
|
;(require "../universe.rkt" htdp/testing)
|
||||||
|
|
||||||
;; World = Number | 'resting
|
;; World = Number | 'resting
|
||||||
(define WORLD0 'resting)
|
(define WORLD0 'resting)
|
||||||
|
|
|
@ -1,15 +1,15 @@
|
||||||
#cs(module algol60 mzscheme
|
#cs(module algol60 mzscheme
|
||||||
(require-for-syntax "parse.ss"
|
(require-for-syntax "parse.rkt"
|
||||||
;; Parses to generate an AST. Identifiers in the AST
|
;; Parses to generate an AST. Identifiers in the AST
|
||||||
;; are represented as syntax objects with source location.
|
;; are represented as syntax objects with source location.
|
||||||
|
|
||||||
"simplify.ss"
|
"simplify.rkt"
|
||||||
;; Desugars the AST, transforming `for' to `if'+`goto',
|
;; Desugars the AST, transforming `for' to `if'+`goto',
|
||||||
;; and flattening `if' statements so they are always
|
;; and flattening `if' statements so they are always
|
||||||
;; of the for `if <exp> then goto <label> else goto <label>'
|
;; of the for `if <exp> then goto <label> else goto <label>'
|
||||||
|
|
||||||
"compile.ss"
|
"compile.rkt"
|
||||||
;; Compiles a simplified AST to Scheme.
|
;; Compiles a simplified AST to Scheme.
|
||||||
|
|
||||||
mzlib/file)
|
mzlib/file)
|
||||||
|
|
||||||
|
@ -17,7 +17,7 @@
|
||||||
;; introduced by compilation, the identifiers can
|
;; introduced by compilation, the identifiers can
|
||||||
;; refer to runtime functions and primitives, as
|
;; refer to runtime functions and primitives, as
|
||||||
;; well as mzscheme:
|
;; well as mzscheme:
|
||||||
(require "runtime.ss" "prims.ss")
|
(require "runtime.rkt" "prims.rkt")
|
||||||
|
|
||||||
|
|
||||||
(provide include-algol)
|
(provide include-algol)
|
||||||
|
|
|
@ -1,10 +1,10 @@
|
||||||
(module base mzscheme
|
(module base mzscheme
|
||||||
(require "prims.ss"
|
(require "prims.rkt"
|
||||||
"runtime.ss")
|
"runtime.rkt")
|
||||||
|
|
||||||
(define base-importing-stx #'here)
|
(define base-importing-stx #'here)
|
||||||
|
|
||||||
(provide (all-from mzscheme)
|
(provide (all-from mzscheme)
|
||||||
(all-from "prims.ss")
|
(all-from "prims.rkt")
|
||||||
(all-from "runtime.ss")
|
(all-from "runtime.rkt")
|
||||||
base-importing-stx))
|
base-importing-stx))
|
||||||
|
|
|
@ -1,12 +1,12 @@
|
||||||
#cs(module compile mzscheme
|
#cs(module compile mzscheme
|
||||||
(require "parse.ss"
|
(require "parse.rkt"
|
||||||
mzlib/match
|
mzlib/match
|
||||||
mzlib/list)
|
mzlib/list)
|
||||||
|
|
||||||
(provide compile-simplified)
|
(provide compile-simplified)
|
||||||
|
|
||||||
;; The compiler generates references to prim.ss and
|
;; The compiler generates references to "prims.rkt" and
|
||||||
;; runtime.ss exports, as well as Racket forms
|
;; "runtime.rkt" exports, as well as Racket forms
|
||||||
;; and functions. The `ctx' argument provides
|
;; and functions. The `ctx' argument provides
|
||||||
;; an appropriate context for those bindings (in
|
;; an appropriate context for those bindings (in
|
||||||
;; the form of a syntax object to use with d->s-o).
|
;; the form of a syntax object to use with d->s-o).
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang setup/infotab
|
#lang setup/infotab
|
||||||
|
|
||||||
(define tools '(("tool.ss")))
|
(define tools '(("tool.rkt")))
|
||||||
(define tool-names '("Algol 60"))
|
(define tool-names '("Algol 60"))
|
||||||
(define scribblings '(("algol60.scrbl" () (experimental 40))))
|
(define scribblings '(("algol60.scrbl" () (experimental 40))))
|
||||||
|
|
|
@ -1,10 +1,10 @@
|
||||||
#cs(module parse mzscheme
|
#cs(module parse mzscheme
|
||||||
(require parser-tools/lex
|
(require parser-tools/lex
|
||||||
(prefix : parser-tools/lex-sre)
|
(prefix : parser-tools/lex-sre)
|
||||||
"cfg-parser.ss"
|
"cfg-parser.rkt"
|
||||||
parser-tools/yacc
|
parser-tools/yacc
|
||||||
syntax/readerr
|
syntax/readerr
|
||||||
"prims.ss")
|
"prims.rkt")
|
||||||
|
|
||||||
(define-lex-abbrevs [lex:letter (:or (:/ #\a #\z) (:/ #\A #\Z))]
|
(define-lex-abbrevs [lex:letter (:or (:/ #\a #\z) (:/ #\A #\Z))]
|
||||||
[lex:digit (:/ #\0 #\9)]
|
[lex:digit (:/ #\0 #\9)]
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#cs(module simplify mzscheme
|
#cs(module simplify mzscheme
|
||||||
(require "parse.ss"
|
(require "parse.rkt"
|
||||||
"prims.ss"
|
"prims.rkt"
|
||||||
mzlib/match)
|
mzlib/match)
|
||||||
|
|
||||||
(provide simplify)
|
(provide simplify)
|
||||||
|
|
|
@ -3,13 +3,13 @@
|
||||||
mred
|
mred
|
||||||
mzlib/unit
|
mzlib/unit
|
||||||
mzlib/class
|
mzlib/class
|
||||||
"parse.ss"
|
"parse.rkt"
|
||||||
"simplify.ss"
|
"simplify.rkt"
|
||||||
"compile.ss"
|
"compile.rkt"
|
||||||
compiler/embed
|
compiler/embed
|
||||||
string-constants
|
string-constants
|
||||||
errortrace/errortrace-lib
|
errortrace/errortrace-lib
|
||||||
(prefix bd: "bd-tool.ss"))
|
(prefix bd: "bd-tool.rkt"))
|
||||||
|
|
||||||
(provide tool@)
|
(provide tool@)
|
||||||
|
|
||||||
|
@ -44,7 +44,7 @@
|
||||||
(define/override (get-mrflow-primitives-filename)
|
(define/override (get-mrflow-primitives-filename)
|
||||||
(build-path (collection-path "mrflow")
|
(build-path (collection-path "mrflow")
|
||||||
"primitives"
|
"primitives"
|
||||||
"algol60.ss"))
|
"algol60.rkt"))
|
||||||
(super-instantiate ()))
|
(super-instantiate ()))
|
||||||
%))
|
%))
|
||||||
|
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
(module browser-sig mzscheme
|
(module browser-sig mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
"private/sig.ss")
|
"private/sig.rkt")
|
||||||
|
|
||||||
(provide browser^)
|
(provide browser^)
|
||||||
|
|
||||||
|
@ -8,4 +8,3 @@
|
||||||
((open hyper^)
|
((open hyper^)
|
||||||
(open html-export^)
|
(open html-export^)
|
||||||
(open bullet-export^))))
|
(open bullet-export^))))
|
||||||
|
|
||||||
|
|
|
@ -5,11 +5,11 @@
|
||||||
net/tcp-sig
|
net/tcp-sig
|
||||||
net/url-sig
|
net/url-sig
|
||||||
net/url-unit
|
net/url-unit
|
||||||
"browser-sig.ss"
|
"browser-sig.rkt"
|
||||||
"private/sig.ss"
|
"private/sig.rkt"
|
||||||
"private/bullet.ss"
|
"private/bullet.rkt"
|
||||||
"private/html.ss"
|
"private/html.rkt"
|
||||||
"private/hyper.ss")
|
"private/hyper.rkt")
|
||||||
|
|
||||||
(provide browser@)
|
(provide browser@)
|
||||||
|
|
||||||
|
|
|
@ -7,8 +7,8 @@
|
||||||
net/tcp-sig
|
net/tcp-sig
|
||||||
net/url-sig
|
net/url-sig
|
||||||
net/url
|
net/url
|
||||||
"browser-sig.ss"
|
"browser-sig.rkt"
|
||||||
"browser-unit.ss")
|
"browser-unit.rkt")
|
||||||
|
|
||||||
(provide-signature-elements browser^)
|
(provide-signature-elements browser^)
|
||||||
|
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
(module bullet-snip mzscheme
|
(module bullet-snip mzscheme
|
||||||
(require "private/bullet.ss")
|
(require "private/bullet.rkt")
|
||||||
(provide (rename bullet-snip-class snip-class)))
|
(provide (rename bullet-snip-class snip-class)))
|
||||||
|
|
|
@ -2,12 +2,12 @@
|
||||||
(module htmltext mzscheme
|
(module htmltext mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/class
|
mzlib/class
|
||||||
"browser-sig.ss"
|
"browser-sig.rkt"
|
||||||
"private/sig.ss"
|
"private/sig.rkt"
|
||||||
"private/html.ss"
|
"private/html.rkt"
|
||||||
"private/bullet.ss"
|
"private/bullet.rkt"
|
||||||
net/url
|
net/url
|
||||||
net/url-sig
|
net/url-sig
|
||||||
mred
|
mred
|
||||||
mred/mred-unit
|
mred/mred-unit
|
||||||
mred/mred-sig
|
mred/mred-sig
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang setup/infotab
|
#lang setup/infotab
|
||||||
|
|
||||||
(define tools (list (list "tool.ss")))
|
(define tools (list (list "tool.rkt")))
|
||||||
(define tool-names (list "Browser"))
|
(define tool-names (list "Browser"))
|
||||||
(define scribblings '(("browser.scrbl" () (gui-library))))
|
(define scribblings '(("browser.scrbl" () (gui-library))))
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
#lang scheme/base
|
#lang scheme/base
|
||||||
(require "browser.ss")
|
(require "browser.rkt")
|
||||||
(provide (all-from-out "browser.ss"))
|
(provide (all-from-out "browser.rkt"))
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang scheme/unit
|
#lang scheme/unit
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt")
|
||||||
|
|
||||||
;; Implements a red-black tree with relative indexing along right
|
;; Implements a red-black tree with relative indexing along right
|
||||||
;; splines. This allows the usual O(log(n)) operations, plus a
|
;; splines. This allows the usual O(log(n)) operations, plus a
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang scheme/unit
|
#lang scheme/unit
|
||||||
|
|
||||||
(require "sig.ss"
|
(require "sig.rkt"
|
||||||
mred/mred-sig
|
mred/mred-sig
|
||||||
scheme/file
|
scheme/file
|
||||||
mzlib/port
|
mzlib/port
|
||||||
|
@ -8,9 +8,9 @@
|
||||||
(only-in html read-html-as-xml read-html-comments use-html-spec)
|
(only-in html read-html-as-xml read-html-comments use-html-spec)
|
||||||
(except-in xml read-comments)
|
(except-in xml read-comments)
|
||||||
mzlib/class
|
mzlib/class
|
||||||
"bullet.ss"
|
"bullet.rkt"
|
||||||
"option-snip.ss"
|
"option-snip.rkt"
|
||||||
"entity-names.ss")
|
"entity-names.rkt")
|
||||||
|
|
||||||
|
|
||||||
(import mred^ url^)
|
(import mred^ url^)
|
||||||
|
|
|
@ -28,7 +28,7 @@ A test case:
|
||||||
#lang scheme/unit
|
#lang scheme/unit
|
||||||
|
|
||||||
(require mzlib/class
|
(require mzlib/class
|
||||||
"sig.ss"
|
"sig.rkt"
|
||||||
scheme/path
|
scheme/path
|
||||||
scheme/file
|
scheme/file
|
||||||
net/url-sig
|
net/url-sig
|
||||||
|
@ -221,11 +221,11 @@ A test case:
|
||||||
(get-url)))))
|
(get-url)))))
|
||||||
|
|
||||||
(define/public (init-browser-status-line top-level-window)
|
(define/public (init-browser-status-line top-level-window)
|
||||||
(send top-level-window open-status-line 'browser:hyper.ss))
|
(send top-level-window open-status-line 'browser:hyper.rkt))
|
||||||
(define/public (update-browser-status-line top-level-window s)
|
(define/public (update-browser-status-line top-level-window s)
|
||||||
(send top-level-window update-status-line 'browser:hyper.ss s))
|
(send top-level-window update-status-line 'browser:hyper.rkt s))
|
||||||
(define/public (close-browser-status-line top-level-window)
|
(define/public (close-browser-status-line top-level-window)
|
||||||
(send top-level-window close-status-line 'browser:hyper.ss))
|
(send top-level-window close-status-line 'browser:hyper.rkt))
|
||||||
|
|
||||||
(define/public reload
|
(define/public reload
|
||||||
;; The reload function is called in a non-main thread,
|
;; The reload function is called in a non-main thread,
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
(module combinator-unit mzscheme
|
(module combinator-unit mzscheme
|
||||||
|
|
||||||
(require "private-combinator/combinator-parser.scm"
|
(require "private-combinator/combinator-parser.scm"
|
||||||
"private-combinator/parser-sigs.ss")
|
"private-combinator/parser-sigs.rkt")
|
||||||
|
|
||||||
(provide combinator-parser-tools@
|
(provide combinator-parser-tools@
|
||||||
combinator-parser^ err^
|
combinator-parser^ err^
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
|
|
||||||
(error-print-width 512)
|
(error-print-width 512)
|
||||||
|
|
||||||
(require (prefix-in compiler:option: "../option.ss")
|
(require (prefix-in compiler:option: "../option.rkt")
|
||||||
"../compiler.ss"
|
"../compiler.rkt"
|
||||||
raco/command-name
|
raco/command-name
|
||||||
mzlib/cmdline
|
mzlib/cmdline
|
||||||
dynext/file
|
dynext/file
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
(require scheme/cmdline
|
(require scheme/cmdline
|
||||||
raco/command-name
|
raco/command-name
|
||||||
compiler/cm
|
compiler/cm
|
||||||
"../compiler.ss"
|
"../compiler.rkt"
|
||||||
dynext/file
|
dynext/file
|
||||||
setup/parallel-build
|
setup/parallel-build
|
||||||
racket/match)
|
racket/match)
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
|
|
||||||
(module comp-unit mzscheme
|
(module comp-unit mzscheme
|
||||||
(require "private/base.ss")
|
(require "private/base.rkt")
|
||||||
|
|
||||||
(define comp@ base@)
|
(define comp@ base@)
|
||||||
|
|
||||||
|
|
|
@ -9,7 +9,7 @@
|
||||||
|
|
||||||
(require scheme/unit
|
(require scheme/unit
|
||||||
|
|
||||||
"sig.ss"
|
"sig.rkt"
|
||||||
dynext/file-sig
|
dynext/file-sig
|
||||||
dynext/link-sig
|
dynext/link-sig
|
||||||
dynext/compile-sig
|
dynext/compile-sig
|
||||||
|
|
|
@ -1,8 +1,7 @@
|
||||||
|
|
||||||
(module compiler mzscheme
|
(module compiler mzscheme
|
||||||
(require mzlib/unit)
|
(require mzlib/unit)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt")
|
||||||
|
|
||||||
(require dynext/compile-sig)
|
(require dynext/compile-sig)
|
||||||
(require dynext/link-sig)
|
(require dynext/link-sig)
|
||||||
|
@ -12,11 +11,10 @@
|
||||||
(require dynext/link)
|
(require dynext/link)
|
||||||
(require dynext/file)
|
(require dynext/file)
|
||||||
|
|
||||||
(require "option.ss")
|
(require "option.rkt")
|
||||||
|
|
||||||
(require "compiler-unit.ss")
|
(require "compiler-unit.rkt")
|
||||||
|
|
||||||
(define-values/invoke-unit/infer compiler@)
|
(define-values/invoke-unit/infer compiler@)
|
||||||
|
|
||||||
(provide-signature-elements compiler^))
|
(provide-signature-elements compiler^))
|
||||||
|
|
||||||
|
|
|
@ -1,14 +1,13 @@
|
||||||
|
|
||||||
(module distribute scheme/base
|
(module distribute scheme/base
|
||||||
(require scheme/file
|
(require scheme/file
|
||||||
scheme/path
|
scheme/path
|
||||||
setup/dirs
|
setup/dirs
|
||||||
mzlib/list
|
mzlib/list
|
||||||
setup/variant
|
setup/variant
|
||||||
dynext/filename-version
|
dynext/filename-version
|
||||||
"private/macfw.ss"
|
"private/macfw.rkt"
|
||||||
"private/windlldir.ss"
|
"private/windlldir.rkt"
|
||||||
"private/collects-path.ss")
|
"private/collects-path.rkt")
|
||||||
|
|
||||||
(provide assemble-distribution)
|
(provide assemble-distribution)
|
||||||
|
|
||||||
|
|
|
@ -1,23 +1,22 @@
|
||||||
|
|
||||||
(module embed-unit scheme/base
|
(module embed-unit scheme/base
|
||||||
(require scheme/unit
|
(require scheme/unit
|
||||||
scheme/path
|
scheme/path
|
||||||
scheme/file
|
scheme/file
|
||||||
scheme/port
|
scheme/port
|
||||||
scheme/promise
|
scheme/promise
|
||||||
syntax/moddep
|
syntax/moddep
|
||||||
syntax/modcollapse
|
syntax/modcollapse
|
||||||
xml/plist
|
xml/plist
|
||||||
setup/dirs
|
setup/dirs
|
||||||
setup/variant
|
setup/variant
|
||||||
"embed-sig.ss"
|
"embed-sig.rkt"
|
||||||
"private/winicon.ss"
|
"private/winicon.rkt"
|
||||||
"private/winsubsys.ss"
|
"private/winsubsys.rkt"
|
||||||
"private/macfw.ss"
|
"private/macfw.rkt"
|
||||||
"private/mach-o.ss"
|
"private/mach-o.rkt"
|
||||||
"private/elf.ss"
|
"private/elf.rkt"
|
||||||
"private/windlldir.ss"
|
"private/windlldir.rkt"
|
||||||
"private/collects-path.ss"
|
"private/collects-path.rkt"
|
||||||
"find-exe.rkt")
|
"find-exe.rkt")
|
||||||
|
|
||||||
(provide compiler:embed@)
|
(provide compiler:embed@)
|
||||||
|
@ -1361,4 +1360,3 @@
|
||||||
[(list? p) (map mac-mred-collects-path-adjust p)]
|
[(list? p) (map mac-mred-collects-path-adjust p)]
|
||||||
[(relative-path? p) (build-path 'up 'up 'up p)]
|
[(relative-path? p) (build-path 'up 'up 'up p)]
|
||||||
[else p]))))
|
[else p]))))
|
||||||
|
|
||||||
|
|
|
@ -2,10 +2,10 @@
|
||||||
(require scheme/unit
|
(require scheme/unit
|
||||||
scheme/contract)
|
scheme/contract)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt")
|
||||||
|
|
||||||
(require "embed-unit.ss"
|
(require "embed-unit.rkt"
|
||||||
"embed-sig.ss")
|
"embed-sig.rkt")
|
||||||
|
|
||||||
(define-values/invoke-unit/infer compiler:embed@)
|
(define-values/invoke-unit/infer compiler:embed@)
|
||||||
|
|
||||||
|
|
|
@ -2,5 +2,5 @@
|
||||||
|
|
||||||
(define scribblings '(("cffi.scrbl" () (legacy))))
|
(define scribblings '(("cffi.scrbl" () (legacy))))
|
||||||
|
|
||||||
(define mzscheme-launcher-libraries (list "main.ss"))
|
(define mzscheme-launcher-libraries (list "main.rkt"))
|
||||||
(define mzscheme-launcher-names (list "mzc"))
|
(define mzscheme-launcher-names (list "mzc"))
|
||||||
|
|
|
@ -5,11 +5,11 @@
|
||||||
;; by the code in this collection. Other modes are handled
|
;; by the code in this collection. Other modes are handled
|
||||||
;; by other collections, such as MzLib and dynext.
|
;; by other collections, such as MzLib and dynext.
|
||||||
;; If you are interested Scheme->C part of mzc, look in
|
;; If you are interested Scheme->C part of mzc, look in
|
||||||
;; driver.ss, which is the `main' file for the compiler.
|
;; "private/driver.rkt", which is the `main' file for the compiler.
|
||||||
|
|
||||||
;; Different compilation modes are driven by dynamically
|
;; Different compilation modes are driven by dynamically
|
||||||
;; linking in appropriate libraries. This is handled
|
;; linking in appropriate libraries. This is handled
|
||||||
;; by compiler.ss.
|
;; by "compiler.rkt".
|
||||||
|
|
||||||
;; See manual for information about the Scheme-level interface
|
;; See manual for information about the Scheme-level interface
|
||||||
;; provided by this collection.
|
;; provided by this collection.
|
||||||
|
@ -21,8 +21,8 @@
|
||||||
|
|
||||||
(error-print-width 512)
|
(error-print-width 512)
|
||||||
|
|
||||||
(require (prefix-in compiler:option: "option.ss"))
|
(require (prefix-in compiler:option: "option.rkt")
|
||||||
(require "compiler.ss")
|
"compiler.rkt")
|
||||||
|
|
||||||
;; Read argv array for arguments and input file name
|
;; Read argv array for arguments and input file name
|
||||||
(require mzlib/cmdline
|
(require mzlib/cmdline
|
||||||
|
|
|
@ -1,8 +1,7 @@
|
||||||
|
|
||||||
#lang mzscheme
|
#lang mzscheme
|
||||||
|
|
||||||
(require mzlib/unit)
|
(require mzlib/unit)
|
||||||
(require "sig.ss")
|
(require "sig.rkt")
|
||||||
|
|
||||||
(provide compiler:option@)
|
(provide compiler:option@)
|
||||||
|
|
||||||
|
|
|
@ -1,9 +1,8 @@
|
||||||
|
|
||||||
(module option mzscheme
|
(module option mzscheme
|
||||||
(require mzlib/unit)
|
(require mzlib/unit)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "option-unit.ss")
|
"option-unit.rkt")
|
||||||
|
|
||||||
(define-values/invoke-unit/infer compiler:option@)
|
(define-values/invoke-unit/infer compiler:option@)
|
||||||
|
|
||||||
|
|
|
@ -1,13 +1,13 @@
|
||||||
;; lexical analysis phase of the compiler
|
;; lexical analysis phase of the compiler
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
;; For closures, variable sets, such as the free variables,
|
;; For closures, variable sets, such as the free variables,
|
||||||
;; are computed.
|
;; are computed.
|
||||||
;; Constants are transformed into varrefs to top-level
|
;; Constants are transformed into varrefs to top-level
|
||||||
;; constant definitions. A list of these is kept, and
|
;; constant definitions. A list of these is kept, and
|
||||||
;; code is generated to create the constants and prefixed
|
;; code is generated to create the constants and prefixed
|
||||||
;; onto the output code. See also const.ss.
|
;; onto the output code. See also "const.rkt".
|
||||||
;; Global and primitive varrefs are collected into a list,
|
;; Global and primitive varrefs are collected into a list,
|
||||||
;; so they can all be looked up once.
|
;; so they can all be looked up once.
|
||||||
;; Letrec expressions that don't just bind procedures are
|
;; Letrec expressions that don't just bind procedures are
|
||||||
|
@ -40,13 +40,13 @@
|
||||||
|
|
||||||
(module analyze mzscheme
|
(module analyze mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide analyze@)
|
(provide analyze@)
|
||||||
(define-unit analyze@
|
(define-unit analyze@
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
;; A-Normalizer
|
;; A-Normalizer
|
||||||
;; (c) 1996-7 Sebastian Good
|
;; (c) 1996-7 Sebastian Good
|
||||||
;; (c) 1997-8 PLT, Rice University
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
; This file contains an "a-normalizer" for Zodiac abstract
|
; This file contains an "a-normalizer" for Zodiac abstract
|
||||||
; syntax trees for Scheme.
|
; syntax trees for Scheme.
|
||||||
|
@ -34,13 +34,13 @@
|
||||||
|
|
||||||
(module anorm mzscheme
|
(module anorm mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide anorm@)
|
(provide anorm@)
|
||||||
(define-unit anorm@
|
(define-unit anorm@
|
||||||
|
|
|
@ -1,35 +1,34 @@
|
||||||
|
|
||||||
(module base mzscheme
|
(module base mzscheme
|
||||||
(require mzlib/unit)
|
(require mzlib/unit)
|
||||||
|
|
||||||
(require "../sig.ss")
|
(require "../sig.rkt"
|
||||||
(require "sig.ss")
|
"sig.rkt")
|
||||||
|
|
||||||
(require syntax/zodiac-sig
|
(require syntax/zodiac-sig
|
||||||
syntax/zodiac-unit)
|
syntax/zodiac-unit)
|
||||||
|
|
||||||
(require dynext/file-sig
|
(require dynext/file-sig
|
||||||
dynext/link-sig
|
dynext/link-sig
|
||||||
dynext/compile-sig)
|
dynext/compile-sig)
|
||||||
|
|
||||||
(require "zlayer.ss"
|
(require "zlayer.rkt"
|
||||||
"library.ss"
|
"library.rkt"
|
||||||
"cstructs.ss"
|
"cstructs.rkt"
|
||||||
"prephase.ss"
|
"prephase.rkt"
|
||||||
"anorm.ss"
|
"anorm.rkt"
|
||||||
"const.ss"
|
"const.rkt"
|
||||||
"known.ss"
|
"known.rkt"
|
||||||
"analyze.ss"
|
"analyze.rkt"
|
||||||
"lift.ss"
|
"lift.rkt"
|
||||||
"closure.ss"
|
"closure.rkt"
|
||||||
"vehicle.ss"
|
"vehicle.rkt"
|
||||||
"rep.ss"
|
"rep.rkt"
|
||||||
"vmscheme.ss"
|
"vmscheme.rkt"
|
||||||
"vmphase.ss"
|
"vmphase.rkt"
|
||||||
"vmopt.ss"
|
"vmopt.rkt"
|
||||||
"vm2c.ss"
|
"vm2c.rkt"
|
||||||
"toplevel.ss"
|
"toplevel.rkt"
|
||||||
"driver.ss")
|
"driver.rkt")
|
||||||
|
|
||||||
;; The core Scheme->C compiler linkage, including everything
|
;; The core Scheme->C compiler linkage, including everything
|
||||||
;; that's common to MrSpidey and non-MrSpidey compilation.
|
;; that's common to MrSpidey and non-MrSpidey compilation.
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
;; collect closure-making expressions
|
;; collect closure-making expressions
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme, Inc
|
||||||
|
|
||||||
;; Closure-making expressions, such as lambda, are
|
;; Closure-making expressions, such as lambda, are
|
||||||
;; replaced with explicit make-closure AST nodes.
|
;; replaced with explicit make-closure AST nodes.
|
||||||
|
@ -18,13 +18,13 @@
|
||||||
|
|
||||||
(module closure mzscheme
|
(module closure mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide closure@)
|
(provide closure@)
|
||||||
(define-unit closure@
|
(define-unit closure@
|
||||||
|
@ -85,7 +85,7 @@
|
||||||
|
|
||||||
;; Set the procedure annoation's `liftable' field to a list
|
;; Set the procedure annoation's `liftable' field to a list
|
||||||
;; cotaining the sv, which indicates that it was just convrted;
|
;; cotaining the sv, which indicates that it was just convrted;
|
||||||
;; (list sv) is changed to sv by a pass in lift.ss.
|
;; (list sv) is changed to sv by a pass in "lift.rkt".
|
||||||
(set-procedure-code-liftable! code (list sv))
|
(set-procedure-code-liftable! code (list sv))
|
||||||
|
|
||||||
(if pls?
|
(if pls?
|
||||||
|
|
|
@ -12,14 +12,14 @@
|
||||||
|
|
||||||
(module const mzscheme
|
(module const mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig
|
(require syntax/zodiac-sig
|
||||||
syntax/stx)
|
syntax/stx)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide const@)
|
(provide const@)
|
||||||
(define-unit const@
|
(define-unit const@
|
||||||
|
@ -339,7 +339,7 @@
|
||||||
(zodiac:make-zread
|
(zodiac:make-zread
|
||||||
(datum->syntax-object
|
(datum->syntax-object
|
||||||
#f
|
#f
|
||||||
ast ;; See vm2c.ss
|
ast ;; See "vm2c.rkt"
|
||||||
#f)))
|
#f)))
|
||||||
varref:static)]
|
varref:static)]
|
||||||
|
|
||||||
|
|
|
@ -1,18 +1,18 @@
|
||||||
;; Compiler structures
|
;; Compiler structures
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
;; Mostly structure definitions, mostly for annotations.
|
;; Mostly structure definitions, mostly for annotations.
|
||||||
|
|
||||||
(module cstructs mzscheme
|
(module cstructs mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide cstructs@)
|
(provide cstructs@)
|
||||||
(define-unit cstructs@
|
(define-unit cstructs@
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
;; Compiler driver routines
|
;; Compiler driver routines
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
;;
|
;;
|
||||||
;; Scheme->C compilation Overview
|
;; Scheme->C compilation Overview
|
||||||
;; ------------------------------
|
;; ------------------------------
|
||||||
|
@ -9,23 +9,23 @@
|
||||||
;; each of which is implemented in its own unit:
|
;; each of which is implemented in its own unit:
|
||||||
;;
|
;;
|
||||||
;; 1) Reading/parsing - Zodiac collection
|
;; 1) Reading/parsing - Zodiac collection
|
||||||
;; 2) Prephase - prephase.ss
|
;; 2) Prephase - "prephase.rkt"
|
||||||
;; 3) A-normalization - anorm.ss
|
;; 3) A-normalization - "anorm.rkt"
|
||||||
;; 4) Known-value analysis - known.ss
|
;; 4) Known-value analysis - "known.rkt"
|
||||||
;; 5) Lexical analysis and inlining - analyze.ss
|
;; 5) Lexical analysis and inlining - "analyze.rkt"
|
||||||
;; 6) Static procedure lifting - lift.ss
|
;; 6) Static procedure lifting - "lift.rkt"
|
||||||
;; 7) Static procedure lifting after LWCC - lift.ss (optional)
|
;; 7) Static procedure lifting after LWCC - "lift.rkt" (optional)
|
||||||
;; 8) Closure conversion - closure.ss
|
;; 8) Closure conversion - "closure.rkt"
|
||||||
;; 9) Closure vehicle assignment - vehicle.ss
|
;; 9) Closure vehicle assignment - "vehicle.rkt"
|
||||||
;; 10) Representation choosing - rep.ss
|
;; 10) Representation choosing - "rep.rkt"
|
||||||
;; 11) Scheme to virtual machine translation - vmphase.ss
|
;; 11) Scheme to virtual machine translation - "vmphase.rkt"
|
||||||
;; 12) Optimizations on VM code - vmopt.ss
|
;; 12) Optimizations on VM code - "vmopt.rkt"
|
||||||
;; 13) VM to C translation - vm2c.ss
|
;; 13) VM to C translation - "vm2c.rkt"
|
||||||
;;
|
;;
|
||||||
;; For more information about a phase, see the file
|
;; For more information about a phase, see the file
|
||||||
;; implementing that phase.
|
;; implementing that phase.
|
||||||
;;
|
;;
|
||||||
;; All steps up to vmphase.ss work on a Scheme program, representated
|
;; All steps up to "vmphase.rkt" work on a Scheme program, representated
|
||||||
;; as a zodiac AST. The AST produced by zodiac is destructively
|
;; as a zodiac AST. The AST produced by zodiac is destructively
|
||||||
;; modified by each phase (usually); mzc-specific information is
|
;; modified by each phase (usually); mzc-specific information is
|
||||||
;; stored in the AST as ``annotations''. At the implementation file
|
;; stored in the AST as ``annotations''. At the implementation file
|
||||||
|
@ -61,27 +61,27 @@
|
||||||
|
|
||||||
(module driver mzscheme
|
(module driver mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/file
|
mzlib/file
|
||||||
mzlib/port
|
mzlib/port
|
||||||
mzlib/etc
|
mzlib/etc
|
||||||
mzlib/pretty
|
mzlib/pretty
|
||||||
(prefix src2src: "../src2src.ss"))
|
(prefix src2src: "../src2src.rkt"))
|
||||||
|
|
||||||
(require syntax/zodiac-sig
|
(require syntax/zodiac-sig
|
||||||
syntax/toplevel
|
syntax/toplevel
|
||||||
dynext/compile-sig
|
dynext/compile-sig
|
||||||
dynext/link-sig
|
dynext/link-sig
|
||||||
dynext/file-sig
|
dynext/file-sig
|
||||||
setup/dirs
|
setup/dirs
|
||||||
(only scheme/base
|
(only scheme/base
|
||||||
define-namespace-anchor
|
define-namespace-anchor
|
||||||
namespace-anchor->empty-namespace))
|
namespace-anchor->empty-namespace))
|
||||||
|
|
||||||
(require "../sig.ss"
|
(require "../sig.rkt"
|
||||||
"sig.ss"
|
"sig.rkt"
|
||||||
"../to-core.ss"
|
"../to-core.rkt"
|
||||||
"../xform.ss")
|
"../xform.rkt")
|
||||||
|
|
||||||
(provide driver@)
|
(provide driver@)
|
||||||
|
|
||||||
|
@ -247,7 +247,7 @@
|
||||||
expr)])
|
expr)])
|
||||||
(values ; use to be zodiac:syntax->zodiac here
|
(values ; use to be zodiac:syntax->zodiac here
|
||||||
(let ([p (src2src:optimize expanded #t)])
|
(let ([p (src2src:optimize expanded #t)])
|
||||||
'(with-output-to-file "/tmp/l.ss"
|
'(with-output-to-file "/tmp/l.rkt"
|
||||||
(lambda () (pretty-print (syntax-object->datum p)))
|
(lambda () (pretty-print (syntax-object->datum p)))
|
||||||
'replace)
|
'replace)
|
||||||
(let ([opt-expanded (expand p)])
|
(let ([opt-expanded (expand p)])
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
;; Known-value analysis
|
;; Known-value analysis
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme
|
||||||
|
|
||||||
;; Sets the real annotation for zodiac:binding AST nodes,
|
;; Sets the real annotation for zodiac:binding AST nodes,
|
||||||
;; setting the known? and known-val fields as possible.
|
;; setting the known? and known-val fields as possible.
|
||||||
|
@ -22,13 +22,13 @@
|
||||||
|
|
||||||
(module known mzscheme
|
(module known mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide known@)
|
(provide known@)
|
||||||
(define-unit known@
|
(define-unit known@
|
||||||
|
|
|
@ -1,15 +1,15 @@
|
||||||
;; Library of functions for the compiler
|
;; Library of functions for the compiler
|
||||||
;; (c) 1996-7 Sebastian Good
|
;; (c) 1996-7 Sebastian Good
|
||||||
;; (c) 1997-8 PLT, Rice University
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
(module library mzscheme
|
(module library mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt")
|
||||||
|
|
||||||
(provide library@)
|
(provide library@)
|
||||||
(define-unit library@
|
(define-unit library@
|
||||||
|
|
|
@ -1,11 +1,11 @@
|
||||||
;; A kind of lambda-lifting
|
;; A kind of lambda-lifting
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
;; Finds liftable procedures, sets their `liftable' field, and
|
;; Finds liftable procedures, sets their `liftable' field, and
|
||||||
;; replaces lexical variables for liftable procedures with
|
;; replaces lexical variables for liftable procedures with
|
||||||
;; globals variables. This transformation can be applied
|
;; globals variables. This transformation can be applied
|
||||||
;; anytime (and multiple times) after analyze.ss and before
|
;; anytime (and multiple times) after "analyze.rkt" and before
|
||||||
;; closure.ss.
|
;; "closure.rkt".
|
||||||
;; Liftable lambdas are procedures whose free variables include only
|
;; Liftable lambdas are procedures whose free variables include only
|
||||||
;; lexical variables bound to known-lifted procedures, primitive
|
;; lexical variables bound to known-lifted procedures, primitive
|
||||||
;; globals, and statics. (No namespace-sentsitive globals and no
|
;; globals, and statics. (No namespace-sentsitive globals and no
|
||||||
|
@ -22,13 +22,13 @@
|
||||||
|
|
||||||
(module lift mzscheme
|
(module lift mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide lift@)
|
(provide lift@)
|
||||||
(define-unit lift@
|
(define-unit lift@
|
||||||
|
|
|
@ -1,12 +1,11 @@
|
||||||
|
|
||||||
(module macfw mzscheme
|
(module macfw mzscheme
|
||||||
(require "mach-o.ss"
|
(require "mach-o.rkt"
|
||||||
mzlib/string
|
mzlib/string
|
||||||
mzlib/process)
|
mzlib/process)
|
||||||
|
|
||||||
(provide update-framework-path
|
(provide update-framework-path
|
||||||
get-current-framework-path
|
get-current-framework-path
|
||||||
update-framework-path/cmdline)
|
update-framework-path/cmdline)
|
||||||
|
|
||||||
(define (update-framework-path/cmdline)
|
(define (update-framework-path/cmdline)
|
||||||
(let ([v (current-command-line-arguments)])
|
(let ([v (current-command-line-arguments)])
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
;; pre-compilation scan
|
;; pre-compilation scan
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
; Notes mutability of lexical variables.
|
; Notes mutability of lexical variables.
|
||||||
; Performs a few very-high-level optimizations, such as
|
; Performs a few very-high-level optimizations, such as
|
||||||
|
@ -44,8 +44,8 @@
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide prephase@)
|
(provide prephase@)
|
||||||
(define-unit prephase@
|
(define-unit prephase@
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
;; Representation choosing phase of the compiler
|
;; Representation choosing phase of the compiler
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-201 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
;; Chooses the representation of all bindings, and also
|
;; Chooses the representation of all bindings, and also
|
||||||
;; closures.
|
;; closures.
|
||||||
|
@ -19,8 +19,8 @@
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide rep@)
|
(provide rep@)
|
||||||
(define-unit rep@
|
(define-unit rep@
|
||||||
|
|
|
@ -1,9 +1,8 @@
|
||||||
|
|
||||||
(module sig mzscheme
|
(module sig mzscheme
|
||||||
(require mzlib/unit)
|
(require mzlib/unit)
|
||||||
|
|
||||||
(require "../sig.ss")
|
(require "../sig.rkt"
|
||||||
(require syntax/zodiac-sig)
|
syntax/zodiac-sig)
|
||||||
|
|
||||||
(define for-syntax-in-env-stx #'for-syntax-in-env)
|
(define for-syntax-in-env-stx #'for-syntax-in-env)
|
||||||
(provide for-syntax-in-env-stx)
|
(provide for-syntax-in-env-stx)
|
||||||
|
|
|
@ -1,11 +1,11 @@
|
||||||
;; routines for top-level entities
|
;; routines for top-level entities
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
(module toplevel mzscheme
|
(module toplevel mzscheme
|
||||||
(require mzlib/unit)
|
(require mzlib/unit)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt")
|
||||||
|
|
||||||
(provide toplevel@)
|
(provide toplevel@)
|
||||||
(define-unit toplevel@
|
(define-unit toplevel@
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
;; vehicle choosing phase for closures
|
;; vehicle choosing phase for closures
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
; Assign closures to ``vehicles'', and collect information for
|
; Assign closures to ``vehicles'', and collect information for
|
||||||
; Racket about the closures.
|
; Racket about the closures.
|
||||||
|
@ -24,8 +24,8 @@
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide vehicle@)
|
(provide vehicle@)
|
||||||
(define-unit vehicle@
|
(define-unit vehicle@
|
||||||
|
|
|
@ -4,13 +4,13 @@
|
||||||
|
|
||||||
(module vm2c mzscheme
|
(module vm2c mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list)
|
mzlib/list)
|
||||||
|
|
||||||
(require syntax/zodiac-sig
|
(require syntax/zodiac-sig
|
||||||
syntax/primitives)
|
syntax/primitives)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide vm2c@)
|
(provide vm2c@)
|
||||||
(define-unit vm2c@
|
(define-unit vm2c@
|
||||||
|
|
|
@ -1,21 +1,21 @@
|
||||||
;; VM Optimization pass
|
;; VM Optimization pass
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-201 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
;; This pass only allows T & V statements to be expanded into multiple
|
;; This pass only allows T & V statements to be expanded into multiple
|
||||||
;; statments there is not a mechanism to expand R, A, or L
|
;; statments there is not a mechanism to expand R, A, or L
|
||||||
;; expressions. (See vmscheme.ss.)
|
;; expressions. (See "vmscheme.rkt".)
|
||||||
|
|
||||||
(module vmopt mzscheme
|
(module vmopt mzscheme
|
||||||
|
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide vmopt@)
|
(provide vmopt@)
|
||||||
(define-unit vmopt@
|
(define-unit vmopt@
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
;; Scheme->VMScheme conversion phase
|
;; Scheme->VMScheme conversion phase
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT, Rice University
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
;; Takes a zodiac:* AST and produces a vm:* AST. Some
|
;; Takes a zodiac:* AST and produces a vm:* AST. Some
|
||||||
;; zodiac:* AST elements are still used, particularly
|
;; zodiac:* AST elements are still used, particularly
|
||||||
|
@ -11,14 +11,14 @@
|
||||||
|
|
||||||
(module vmphase mzscheme
|
(module vmphase mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig
|
(require syntax/zodiac-sig
|
||||||
syntax/primitives)
|
syntax/primitives)
|
||||||
|
|
||||||
(require "sig.ss"
|
(require "sig.rkt"
|
||||||
"../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide vmphase@)
|
(provide vmphase@)
|
||||||
(define-unit vmphase@
|
(define-unit vmphase@
|
||||||
|
|
|
@ -1,19 +1,19 @@
|
||||||
;; VM-Scheme
|
;; VM-Scheme
|
||||||
;; (c) 1996-1997 Sebastian Good
|
;; (c) 1996-1997 Sebastian Good
|
||||||
;; (c) 1997-2001 PLT
|
;; (c) 1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
;; Mostly structure definitions for VM AST nodes.
|
;; Mostly structure definitions for VM AST nodes.
|
||||||
|
|
||||||
(module vmscheme mzscheme
|
(module vmscheme mzscheme
|
||||||
|
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "sig.ss")
|
(require "sig.rkt"
|
||||||
(require "../sig.ss")
|
"../sig.rkt")
|
||||||
|
|
||||||
(provide vmscheme@)
|
(provide vmscheme@)
|
||||||
(define-unit vmscheme@
|
(define-unit vmscheme@
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
|
|
||||||
(module windlldir mzscheme
|
(module windlldir mzscheme
|
||||||
(require mzlib/port
|
(require mzlib/port
|
||||||
"winutf16.ss")
|
"winutf16.rkt")
|
||||||
|
|
||||||
(provide update-dll-dir
|
(provide update-dll-dir
|
||||||
get-current-dll-dir)
|
get-current-dll-dir)
|
||||||
|
@ -11,11 +10,9 @@
|
||||||
|
|
||||||
(define (update-dll-dir dest path)
|
(define (update-dll-dir dest path)
|
||||||
(let ([path-bytes (bytes->utf-16-bytes
|
(let ([path-bytes (bytes->utf-16-bytes
|
||||||
(if (eq? path #t)
|
(cond [(eq? path #t) #"<system>"]
|
||||||
#"<system>"
|
[(path? path) (path->bytes path)]
|
||||||
(if (path? path)
|
[else (string->bytes/locale path)]))])
|
||||||
(path->bytes path)
|
|
||||||
(string->bytes/locale path))))])
|
|
||||||
(unless ((bytes-length path-bytes) . <= . max-dir-len)
|
(unless ((bytes-length path-bytes) . <= . max-dir-len)
|
||||||
(error 'update-dll-dir "path too long: ~e" path))
|
(error 'update-dll-dir "path too long: ~e" path))
|
||||||
(let ([m (with-input-from-file dest
|
(let ([m (with-input-from-file dest
|
||||||
|
|
|
@ -1,16 +1,16 @@
|
||||||
;; Zodiac interface and library routines
|
;; Zodiac interface and library routines
|
||||||
;; (c)1996-1997 Sebastian Good
|
;; (c)1996-1997 Sebastian Good
|
||||||
;; (c)1997-2001 PLT
|
;; (c)1997-2011 PLT Scheme Inc
|
||||||
|
|
||||||
(module zlayer mzscheme
|
(module zlayer mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc)
|
mzlib/etc)
|
||||||
|
|
||||||
(require syntax/zodiac-sig)
|
(require syntax/zodiac-sig)
|
||||||
|
|
||||||
(require "../sig.ss")
|
(require "../sig.rkt"
|
||||||
(require "sig.ss")
|
"sig.rkt")
|
||||||
|
|
||||||
(provide zlayer@)
|
(provide zlayer@)
|
||||||
(define-unit zlayer@
|
(define-unit zlayer@
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
|
|
||||||
(require dynext/compile
|
(require dynext/compile
|
||||||
setup/dirs
|
setup/dirs
|
||||||
(prefix-in xform: "private/xform.ss"))
|
(prefix-in xform: "private/xform.rkt"))
|
||||||
|
|
||||||
(provide xform)
|
(provide xform)
|
||||||
|
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
|
;; The config module doesn't have to use `setup/configtab';
|
||||||
;; The config module doesn't have to use "configtab.ss";
|
|
||||||
;; it just has to have the right exports. But using
|
;; it just has to have the right exports. But using
|
||||||
;; "configtab.ss" makes it easier to generate the
|
;; `setup/configtab' makes it easier to generate the
|
||||||
;; code at install time.
|
;; code at install time.
|
||||||
(module config setup/configtab
|
(module config setup/configtab
|
||||||
;; An empty table means that all defaults apply
|
;; An empty table means that all defaults apply
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
|
|
||||||
(require "config.ss")
|
(require "config.rkt")
|
||||||
(provide (all-from-out "config.ss"))
|
(provide (all-from-out "config.rkt"))
|
||||||
|
|
|
@ -4,4 +4,3 @@
|
||||||
(rename-out (-read read)))
|
(rename-out (-read read)))
|
||||||
(define -read-syntax (make-read-syntax '(lib "DMdA-advanced.ss" "deinprogramm")))
|
(define -read-syntax (make-read-syntax '(lib "DMdA-advanced.ss" "deinprogramm")))
|
||||||
(define -read (make-read '(lib "DMdA-advanced.ss" "deinprogramm")))
|
(define -read (make-read '(lib "DMdA-advanced.ss" "deinprogramm")))
|
||||||
|
|
||||||
|
|
|
@ -4,5 +4,3 @@
|
||||||
(rename-out (-read read)))
|
(rename-out (-read read)))
|
||||||
(define -read-syntax (make-read-syntax '(lib "DMdA-assignments.ss" "deinprogramm")))
|
(define -read-syntax (make-read-syntax '(lib "DMdA-assignments.ss" "deinprogramm")))
|
||||||
(define -read (make-read '(lib "DMdA-assignments.ss" "deinprogramm")))
|
(define -read (make-read '(lib "DMdA-assignments.ss" "deinprogramm")))
|
||||||
|
|
||||||
|
|
||||||
|
|
|
@ -2,6 +2,5 @@
|
||||||
(require deinprogramm/DMdA-reader)
|
(require deinprogramm/DMdA-reader)
|
||||||
(provide (rename-out (-read-syntax read-syntax))
|
(provide (rename-out (-read-syntax read-syntax))
|
||||||
(rename-out (-read read)))
|
(rename-out (-read read)))
|
||||||
(define -read-syntax (make-read-syntax '(lib "DMdA-beginner.ss" "deinprogramm")))
|
(define -read-syntax (make-read-syntax '(lib "DMdA-beginner.rkt" "deinprogramm")))
|
||||||
(define -read (make-read '(lib "DMdA-beginner.ss" "deinprogramm")))
|
(define -read (make-read '(lib "DMdA-beginner.rkt" "deinprogramm")))
|
||||||
|
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
(module DMdA-vanilla-reader mzscheme
|
(module DMdA-vanilla-reader mzscheme
|
||||||
(require "DMdA-reader.ss")
|
(require "DMdA-reader.rkt")
|
||||||
(provide (rename -read-syntax read-syntax)
|
(provide (rename -read-syntax read-syntax)
|
||||||
(rename -read read))
|
(rename -read read))
|
||||||
(define -read-syntax (make-read-syntax '(lib "DMdA-vanilla.ss" "deinprogramm")))
|
(define -read-syntax (make-read-syntax '(lib "DMdA-vanilla.ss" "deinprogramm")))
|
||||||
(define -read (make-read '(lib "DMdA-vanilla.ss" "deinprogramm"))))
|
(define -read (make-read '(lib "DMdA-vanilla.ss" "deinprogramm"))))
|
||||||
|
|
||||||
|
|
|
@ -439,10 +439,10 @@
|
||||||
unit combine))
|
unit combine))
|
||||||
(current-continuation-marks)))))))
|
(current-continuation-marks)))))))
|
||||||
|
|
||||||
;; This is copied from collects/lang/private/beginner-funs.ss
|
;; This is copied from collects/lang/private/beginner-funs.rkt
|
||||||
;; Test-suite support (require is really an effect
|
;; Test-suite support (require is really an effect
|
||||||
;; to make sure that it's loaded)
|
;; to make sure that it's loaded)
|
||||||
(require "test-suite.ss")
|
(require "test-suite.rkt")
|
||||||
|
|
||||||
(define-for-syntax (binding-in-this-module? b)
|
(define-for-syntax (binding-in-this-module? b)
|
||||||
(and (list? b)
|
(and (list? b)
|
||||||
|
@ -932,7 +932,7 @@
|
||||||
(define unspecific (signature unspecific %unspecific))
|
(define unspecific (signature unspecific %unspecific))
|
||||||
(define any (signature any %any))
|
(define any (signature any %any))
|
||||||
|
|
||||||
;; aus collects/lang/private/teach.ss
|
;; aus collects/lang/private/teach.rkt
|
||||||
|
|
||||||
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||||
;; dots (.. and ... and .... and ..... and ......)
|
;; dots (.. and ... and .... and ..... and ......)
|
||||||
|
|
|
@ -36,7 +36,7 @@
|
||||||
|
|
||||||
(require mzlib/pconvert-prop)
|
(require mzlib/pconvert-prop)
|
||||||
|
|
||||||
(require "convert-explicit.ss")
|
(require "convert-explicit.rkt")
|
||||||
|
|
||||||
(require (only-in mrlib/syntax-browser render-syntax/snip))
|
(require (only-in mrlib/syntax-browser render-syntax/snip))
|
||||||
|
|
||||||
|
@ -53,7 +53,7 @@
|
||||||
(define generic-proc
|
(define generic-proc
|
||||||
(procedure-rename void '?))
|
(procedure-rename void '?))
|
||||||
|
|
||||||
;; adapted from collects/drscheme/private/main.ss
|
;; adapted from collects/drracket/private/main.rkt
|
||||||
(preferences:set-default 'drscheme:deinprogramm:last-set-teachpacks
|
(preferences:set-default 'drscheme:deinprogramm:last-set-teachpacks
|
||||||
'()
|
'()
|
||||||
(lambda (x)
|
(lambda (x)
|
||||||
|
@ -168,7 +168,7 @@
|
||||||
(define/override (on-execute settings run-in-user-thread)
|
(define/override (on-execute settings run-in-user-thread)
|
||||||
(let ([drs-namespace (current-namespace)]
|
(let ([drs-namespace (current-namespace)]
|
||||||
[scheme-test-module-name
|
[scheme-test-module-name
|
||||||
((current-module-name-resolver) '(lib "test-engine/scheme-tests.ss") #f #f)]
|
((current-module-name-resolver) '(lib "test-engine/scheme-tests.rkt") #f #f)]
|
||||||
[scheme-signature-module-name
|
[scheme-signature-module-name
|
||||||
((current-module-name-resolver) '(lib "deinprogramm/signature/signature-german.rkt") #f #f)])
|
((current-module-name-resolver) '(lib "deinprogramm/signature/signature-german.rkt") #f #f)])
|
||||||
(run-in-user-thread
|
(run-in-user-thread
|
||||||
|
@ -211,7 +211,7 @@
|
||||||
)))
|
)))
|
||||||
(super on-execute settings run-in-user-thread)
|
(super on-execute settings run-in-user-thread)
|
||||||
|
|
||||||
;; DeinProgramm addition, copied from language.ss
|
;; DeinProgramm addition, copied from language.rkt
|
||||||
(run-in-user-thread
|
(run-in-user-thread
|
||||||
(lambda ()
|
(lambda ()
|
||||||
(global-port-print-handler
|
(global-port-print-handler
|
||||||
|
@ -261,7 +261,7 @@
|
||||||
(define drscheme-inspector (current-inspector))
|
(define drscheme-inspector (current-inspector))
|
||||||
|
|
||||||
;; FIXME: brittle, mimics drscheme-secrets
|
;; FIXME: brittle, mimics drscheme-secrets
|
||||||
;; as declared in lang/htdp-langs.ss.
|
;; as declared in lang/htdp-langs.rkt.
|
||||||
;; Is it even needed for DeinProgramm langs?
|
;; Is it even needed for DeinProgramm langs?
|
||||||
;; Only used by htdp/hangman teachpack.
|
;; Only used by htdp/hangman teachpack.
|
||||||
(define (ensure-drscheme-secrets-declared drs-namespace)
|
(define (ensure-drscheme-secrets-declared drs-namespace)
|
||||||
|
@ -278,13 +278,13 @@
|
||||||
|
|
||||||
|
|
||||||
;; {
|
;; {
|
||||||
;; all this copied from collects/drscheme/private/language.ss
|
;; all this copied from collects/drracket/private/language.rkt
|
||||||
|
|
||||||
;; stepper-convert-value : TST settings -> TST
|
;; stepper-convert-value : TST settings -> TST
|
||||||
(define (stepper-convert-value value settings)
|
(define (stepper-convert-value value settings)
|
||||||
(define ((leave-snips-alone-hook sh) expr basic-convert sub-convert)
|
(define ((leave-snips-alone-hook sh) expr basic-convert sub-convert)
|
||||||
(if (or (is-a? expr snip%)
|
(if (or (is-a? expr snip%)
|
||||||
;; FIXME: internal in language.ss (to-snip-value? expr)
|
;; FIXME: internal in language.rkt (to-snip-value? expr)
|
||||||
)
|
)
|
||||||
expr
|
expr
|
||||||
(sh expr basic-convert sub-convert)))
|
(sh expr basic-convert sub-convert)))
|
||||||
|
@ -723,7 +723,7 @@
|
||||||
(string-append no-ext-name ".scm")]
|
(string-append no-ext-name ".scm")]
|
||||||
[(file-exists? no-ext-name)
|
[(file-exists? no-ext-name)
|
||||||
no-ext-name]
|
no-ext-name]
|
||||||
[else (error 'deinprogramm-lang.ss "could not find language filename ~s" no-ext-name)])]
|
[else (error 'deinprogramm-lang.rkt "could not find language filename ~s" no-ext-name)])]
|
||||||
[base-dir (let-values ([(base _1 _2) (split-path full-name)]) base)]
|
[base-dir (let-values ([(base _1 _2) (split-path full-name)]) base)]
|
||||||
[stx
|
[stx
|
||||||
(call-with-input-file full-name
|
(call-with-input-file full-name
|
||||||
|
@ -768,7 +768,7 @@
|
||||||
(let ([reader (get-reader)] ;; DeinProgramm addition:
|
(let ([reader (get-reader)] ;; DeinProgramm addition:
|
||||||
;; needed for test boxes; see
|
;; needed for test boxes; see
|
||||||
;; the code in
|
;; the code in
|
||||||
;; collects/drscheme/private/language.ss
|
;; collects/drracket/private/language.rkt
|
||||||
[start? #t]
|
[start? #t]
|
||||||
[done? #f])
|
[done? #f])
|
||||||
(λ ()
|
(λ ()
|
||||||
|
@ -1130,7 +1130,7 @@
|
||||||
|
|
||||||
;; make-print-convert-hook:
|
;; make-print-convert-hook:
|
||||||
;; simple-settings -> (TST (TST -> TST) (TST -> TST) -> TST)
|
;; simple-settings -> (TST (TST -> TST) (TST -> TST) -> TST)
|
||||||
;; this code copied from various locations in language.ss and rep.ss
|
;; this code copied from various locations in language.rkt and rep.rkt
|
||||||
(define (make-print-convert-hook simple-settings)
|
(define (make-print-convert-hook simple-settings)
|
||||||
(lambda (exp basic-convert sub-convert)
|
(lambda (exp basic-convert sub-convert)
|
||||||
(cond
|
(cond
|
||||||
|
@ -1370,7 +1370,7 @@
|
||||||
(add-deinprogramm-language
|
(add-deinprogramm-language
|
||||||
(instantiate (make-deinprogramm-language% 'write 'explicit) ()
|
(instantiate (make-deinprogramm-language% 'write 'explicit) ()
|
||||||
(one-line-summary "Die Macht der Abstraktion - Anfänger")
|
(one-line-summary "Die Macht der Abstraktion - Anfänger")
|
||||||
(module '(lib "deinprogramm/DMdA-beginner.ss"))
|
(module '(lib "deinprogramm/DMdA-beginner.rkt"))
|
||||||
(manual #"DMdA-beginner")
|
(manual #"DMdA-beginner")
|
||||||
(language-position (list (string-constant teaching-languages)
|
(language-position (list (string-constant teaching-languages)
|
||||||
"DeinProgramm" "Die Macht der Abstraktion - Anfänger"))
|
"DeinProgramm" "Die Macht der Abstraktion - Anfänger"))
|
||||||
|
@ -1379,13 +1379,13 @@
|
||||||
(sharing-printing #f)
|
(sharing-printing #f)
|
||||||
(abbreviate-cons-as-list #t)
|
(abbreviate-cons-as-list #t)
|
||||||
(allow-sharing? #f)
|
(allow-sharing? #f)
|
||||||
(reader-module '(lib "DMdA-beginner-reader.ss" "deinprogramm"))
|
(reader-module '(lib "DMdA-beginner-reader.rkt" "deinprogramm"))
|
||||||
(stepper:supported #t)))
|
(stepper:supported #t)))
|
||||||
|
|
||||||
(add-deinprogramm-language
|
(add-deinprogramm-language
|
||||||
(instantiate (make-deinprogramm-language% 'write 'explicit) ()
|
(instantiate (make-deinprogramm-language% 'write 'explicit) ()
|
||||||
(one-line-summary "Die Macht der Abstraktion")
|
(one-line-summary "Die Macht der Abstraktion")
|
||||||
(module '(lib "deinprogramm/DMdA-vanilla.ss"))
|
(module '(lib "deinprogramm/DMdA-vanilla.rkt"))
|
||||||
(manual #"DMdA-vanilla")
|
(manual #"DMdA-vanilla")
|
||||||
(language-position (list (string-constant teaching-languages)
|
(language-position (list (string-constant teaching-languages)
|
||||||
"DeinProgramm" "Die Macht der Abstraktion"))
|
"DeinProgramm" "Die Macht der Abstraktion"))
|
||||||
|
@ -1394,13 +1394,13 @@
|
||||||
(sharing-printing #f)
|
(sharing-printing #f)
|
||||||
(abbreviate-cons-as-list #t)
|
(abbreviate-cons-as-list #t)
|
||||||
(allow-sharing? #f)
|
(allow-sharing? #f)
|
||||||
(reader-module '(lib "DMdA-vanilla-reader.ss" "deinprogramm"))
|
(reader-module '(lib "DMdA-vanilla-reader.rkt" "deinprogramm"))
|
||||||
(stepper:supported #t)))
|
(stepper:supported #t)))
|
||||||
|
|
||||||
(add-deinprogramm-language
|
(add-deinprogramm-language
|
||||||
(instantiate (make-deinprogramm-language% 'write 'explicit) ()
|
(instantiate (make-deinprogramm-language% 'write 'explicit) ()
|
||||||
(one-line-summary "Die Macht der Abstraktion mit Zuweisungen")
|
(one-line-summary "Die Macht der Abstraktion mit Zuweisungen")
|
||||||
(module '(lib "deinprogramm/DMdA-assignments.ss"))
|
(module '(lib "deinprogramm/DMdA-assignments.rkt"))
|
||||||
(manual #"DMdA-assignments")
|
(manual #"DMdA-assignments")
|
||||||
(language-position (list (string-constant teaching-languages)
|
(language-position (list (string-constant teaching-languages)
|
||||||
"DeinProgramm" "Die Macht der Abstraktion mit Zuweisungen"))
|
"DeinProgramm" "Die Macht der Abstraktion mit Zuweisungen"))
|
||||||
|
@ -1409,14 +1409,14 @@
|
||||||
(sharing-printing #t)
|
(sharing-printing #t)
|
||||||
(abbreviate-cons-as-list #t)
|
(abbreviate-cons-as-list #t)
|
||||||
(allow-sharing? #t)
|
(allow-sharing? #t)
|
||||||
(reader-module '(lib "DMdA-assignments-reader.ss" "deinprogramm"))
|
(reader-module '(lib "DMdA-assignments-reader.rkt" "deinprogramm"))
|
||||||
(stepper:supported #f)
|
(stepper:supported #f)
|
||||||
(debugger:supported #t)))
|
(debugger:supported #t)))
|
||||||
|
|
||||||
(add-deinprogramm-language
|
(add-deinprogramm-language
|
||||||
(instantiate (make-deinprogramm-language% 'write 'datum) ()
|
(instantiate (make-deinprogramm-language% 'write 'datum) ()
|
||||||
(one-line-summary "Die Macht der Abstraktion - fortgeschritten")
|
(one-line-summary "Die Macht der Abstraktion - fortgeschritten")
|
||||||
(module '(lib "deinprogramm/DMdA-advanced.ss"))
|
(module '(lib "deinprogramm/DMdA-advanced.rkt"))
|
||||||
(manual #"DMdA-advanced")
|
(manual #"DMdA-advanced")
|
||||||
(language-position (list (string-constant teaching-languages)
|
(language-position (list (string-constant teaching-languages)
|
||||||
"DeinProgramm" "Die Macht der Abstraktion - fortgeschritten"))
|
"DeinProgramm" "Die Macht der Abstraktion - fortgeschritten"))
|
||||||
|
@ -1425,6 +1425,6 @@
|
||||||
(sharing-printing #t)
|
(sharing-printing #t)
|
||||||
(abbreviate-cons-as-list #t)
|
(abbreviate-cons-as-list #t)
|
||||||
(allow-sharing? #t)
|
(allow-sharing? #t)
|
||||||
(reader-module '(lib "DMdA-advanced-reader.ss" "deinprogramm"))
|
(reader-module '(lib "DMdA-advanced-reader.rkt" "deinprogramm"))
|
||||||
(stepper:supported #f)
|
(stepper:supported #f)
|
||||||
(debugger:supported #t))))))
|
(debugger:supported #t))))))
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
#|
|
#|
|
||||||
|
|
||||||
The test suite for this code is in
|
The test suite for this code is in
|
||||||
plt/collects/tests/deinprogramm/image.ss
|
collects/tests/deinprogramm/image.rkt
|
||||||
|
|
||||||
|#
|
|#
|
||||||
|
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
|
|
||||||
(define name "DeinProgramm")
|
(define name "DeinProgramm")
|
||||||
|
|
||||||
(define tools '("deinprogramm-langs.ss"))
|
(define tools '("deinprogramm-langs.rkt"))
|
||||||
|
|
||||||
(define tool-icons '(("logo-small.png" "deinprogramm")))
|
(define tool-icons '(("logo-small.png" "deinprogramm")))
|
||||||
(define tool-names '("DeinProgramm"))
|
(define tool-names '("DeinProgramm"))
|
||||||
|
|
|
@ -1,13 +1,13 @@
|
||||||
(module line3d mzscheme
|
(module line3d mzscheme
|
||||||
(require "world.ss"
|
(require "world.rkt"
|
||||||
"define-record-procedures.ss")
|
"define-record-procedures.rkt")
|
||||||
(require (only "DMdA-vanilla.ss"
|
(require (only "DMdA-vanilla.rkt"
|
||||||
empty make-pair empty?
|
empty make-pair empty?
|
||||||
first rest))
|
first rest))
|
||||||
(provide make-vec3
|
(provide make-vec3
|
||||||
vec3-x
|
vec3-x
|
||||||
vec3-y
|
vec3-y
|
||||||
vec3-z
|
vec3-z
|
||||||
add-vec3
|
add-vec3
|
||||||
sub-vec3
|
sub-vec3
|
||||||
mult-vec3
|
mult-vec3
|
||||||
|
@ -56,5 +56,5 @@
|
||||||
render-scene
|
render-scene
|
||||||
)
|
)
|
||||||
|
|
||||||
(require (lib "include.ss"))
|
(require mzlib/include)
|
||||||
(include "line3d.scm"))
|
(include "line3d.scm"))
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
(module info (lib "infotab.ss" "setup")
|
(module info setup/infotab
|
||||||
(define name "DeinProgramm - QuickCheck")
|
(define name "DeinProgramm - QuickCheck")
|
||||||
|
|
||||||
(define compile-omit-files
|
(define compile-omit-files
|
||||||
|
|
|
@ -28,7 +28,7 @@
|
||||||
)
|
)
|
||||||
(require srfi/9
|
(require srfi/9
|
||||||
racket/promise
|
racket/promise
|
||||||
"random.ss")
|
"random.rkt")
|
||||||
|
|
||||||
(provide exn:assertion-violation?
|
(provide exn:assertion-violation?
|
||||||
exn:assertion-violation-who
|
exn:assertion-violation-who
|
||||||
|
|
|
@ -1,8 +1,5 @@
|
||||||
(module run-dmda-code mzscheme
|
(module run-dmda-code mzscheme
|
||||||
(require (lib "mred.ss" "mred")
|
(require mred/mred mzlib/class mzlib/match syntax/modread)
|
||||||
(lib "class.ss")
|
|
||||||
(lib "match.ss")
|
|
||||||
(lib "modread.ss" "syntax"))
|
|
||||||
|
|
||||||
(define (run-dmda-file filename)
|
(define (run-dmda-file filename)
|
||||||
(let ((p (open-input-graphical-file/fixed filename))
|
(let ((p (open-input-graphical-file/fixed filename))
|
||||||
|
@ -20,7 +17,7 @@
|
||||||
((?module ?name ?language ?body ...)
|
((?module ?name ?language ?body ...)
|
||||||
(syntax
|
(syntax
|
||||||
(?module ?name ?language
|
(?module ?name ?language
|
||||||
(require (lib "testing.ss" "htdp"))
|
(require (lib "testing.rkt" "htdp"))
|
||||||
?body ...)))))
|
?body ...)))))
|
||||||
(module-ized-code
|
(module-ized-code
|
||||||
(check-module-form pimped-code expected-module-name filename)))
|
(check-module-form pimped-code expected-module-name filename)))
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
|
|
||||||
;; Mon Mar 27 10:29:28 EST 2006: integrated Felix's mouse events
|
;; Mon Mar 27 10:29:28 EST 2006: integrated Felix's mouse events
|
||||||
;; Wed Jan 25 13:38:42 EST 2006: on-redraw: proc is now called on installation
|
;; Wed Jan 25 13:38:42 EST 2006: on-redraw: proc is now called on installation
|
||||||
;; Tue Jan 3 11:17:50 EST 2006: changed add-line behavior in world.ss
|
;; Tue Jan 3 11:17:50 EST 2006: changed add-line behavior in world.rkt
|
||||||
;; Sat Dec 10 19:39:03 EST 2005: fixed name, changed interface to on-key-event
|
;; Sat Dec 10 19:39:03 EST 2005: fixed name, changed interface to on-key-event
|
||||||
;; Fri Dec 9 21:39:03 EST 2005: remoevd (update ... produce ...); added on-redraw
|
;; Fri Dec 9 21:39:03 EST 2005: remoevd (update ... produce ...); added on-redraw
|
||||||
;; Thu Dec 1 17:03:03 EST 2005: fixed place-image; all coordinates okay now
|
;; Thu Dec 1 17:03:03 EST 2005: fixed place-image; all coordinates okay now
|
||||||
|
@ -11,13 +11,13 @@
|
||||||
mred
|
mred
|
||||||
mzlib/class
|
mzlib/class
|
||||||
htdp/error
|
htdp/error
|
||||||
"image.ss"
|
"image.rkt"
|
||||||
(prefix-in beg: lang/htdp-beginner)
|
(prefix-in beg: lang/htdp-beginner)
|
||||||
lang/prim
|
lang/prim
|
||||||
deinprogramm/signature/signature-syntax)
|
deinprogramm/signature/signature-syntax)
|
||||||
|
|
||||||
;; --- provide ---------------------------------------------------------------
|
;; --- provide ---------------------------------------------------------------
|
||||||
(provide (all-from-out "image.ss"))
|
(provide (all-from-out "image.rkt"))
|
||||||
|
|
||||||
(provide ;; forall(World):
|
(provide ;; forall(World):
|
||||||
big-bang ;; Number Number Number World -> true
|
big-bang ;; Number Number Number World -> true
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require "private/drsig.ss")
|
(require "private/drsig.rkt")
|
||||||
(provide drracket:tool^
|
(provide drracket:tool^
|
||||||
drracket:tool-exports^
|
drracket:tool-exports^
|
||||||
drscheme:tool^
|
drscheme:tool^
|
||||||
|
|
|
@ -1,13 +1,12 @@
|
||||||
|
|
||||||
(module compile-unit mzscheme
|
(module compile-unit mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/process
|
mzlib/process
|
||||||
mzlib/sendevent
|
mzlib/sendevent
|
||||||
"private/dirs.ss"
|
"private/dirs.rkt"
|
||||||
"private/stdio.rkt"
|
"private/stdio.rkt"
|
||||||
"private/cmdargs.ss")
|
"private/cmdargs.rkt")
|
||||||
|
|
||||||
(require "compile-sig.ss")
|
(require "compile-sig.rkt")
|
||||||
|
|
||||||
(provide dynext:compile@)
|
(provide dynext:compile@)
|
||||||
|
|
||||||
|
|
|
@ -1,11 +1,9 @@
|
||||||
|
|
||||||
(module compile mzscheme
|
(module compile mzscheme
|
||||||
(require mzlib/unit)
|
(require mzlib/unit)
|
||||||
|
|
||||||
(require "compile-sig.ss")
|
(require "compile-sig.rkt"
|
||||||
(require "compile-unit.ss")
|
"compile-unit.rkt")
|
||||||
|
|
||||||
(define-values/invoke-unit/infer dynext:compile@)
|
(define-values/invoke-unit/infer dynext:compile@)
|
||||||
|
|
||||||
(provide-signature-elements dynext:compile^))
|
(provide-signature-elements dynext:compile^))
|
||||||
|
|
||||||
|
|
|
@ -1,8 +1,7 @@
|
||||||
|
|
||||||
(module dynext-sig mzscheme
|
(module dynext-sig mzscheme
|
||||||
|
|
||||||
(require "compile-sig.ss" "link-sig.ss" "file-sig.ss")
|
(require "compile-sig.rkt" "link-sig.rkt" "file-sig.rkt")
|
||||||
|
|
||||||
(provide (all-from "compile-sig.ss")
|
(provide (all-from "compile-sig.rkt")
|
||||||
(all-from "link-sig.ss")
|
(all-from "link-sig.rkt")
|
||||||
(all-from "file-sig.ss")))
|
(all-from "file-sig.rkt")))
|
||||||
|
|
|
@ -1,8 +1,7 @@
|
||||||
|
|
||||||
(module dynext-unit mzscheme
|
(module dynext-unit mzscheme
|
||||||
|
|
||||||
(require "compile-unit.ss" "link-unit.ss" "file-unit.ss")
|
(require "compile-unit.rkt" "link-unit.rkt" "file-unit.rkt")
|
||||||
|
|
||||||
(provide (all-from "compile-unit.ss")
|
(provide (all-from "compile-unit.rkt")
|
||||||
(all-from "link-unit.ss")
|
(all-from "link-unit.rkt")
|
||||||
(all-from "file-unit.ss")))
|
(all-from "file-unit.rkt")))
|
||||||
|
|
|
@ -1,8 +1,7 @@
|
||||||
|
|
||||||
(module dynext mzscheme
|
(module dynext mzscheme
|
||||||
|
|
||||||
(require "compile.ss" "link.ss" "file.ss")
|
(require "compile.rkt" "link.rkt" "file.rkt")
|
||||||
|
|
||||||
(provide (all-from "compile.ss")
|
(provide (all-from "compile.rkt")
|
||||||
(all-from "link.ss")
|
(all-from "link.rkt")
|
||||||
(all-from "file.ss")))
|
(all-from "file.rkt")))
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang scheme/base
|
#lang scheme/base
|
||||||
|
|
||||||
(require scheme/unit "file-sig.ss")
|
(require scheme/unit "file-sig.rkt")
|
||||||
|
|
||||||
(provide dynext:file@)
|
(provide dynext:file@)
|
||||||
|
|
||||||
|
|
|
@ -1,9 +1,8 @@
|
||||||
|
|
||||||
(module file mzscheme
|
(module file mzscheme
|
||||||
(require mzlib/unit)
|
(require mzlib/unit)
|
||||||
|
|
||||||
(require "file-sig.ss")
|
(require "file-sig.rkt"
|
||||||
(require "file-unit.ss")
|
"file-unit.rkt")
|
||||||
|
|
||||||
(define-values/invoke-unit/infer dynext:file@)
|
(define-values/invoke-unit/infer dynext:file@)
|
||||||
|
|
||||||
|
|
|
@ -1,14 +1,13 @@
|
||||||
|
|
||||||
(module link-unit mzscheme
|
(module link-unit mzscheme
|
||||||
(require mzlib/unit
|
(require mzlib/unit
|
||||||
mzlib/process
|
mzlib/process
|
||||||
mzlib/sendevent
|
mzlib/sendevent
|
||||||
"private/dirs.ss"
|
"private/dirs.rkt"
|
||||||
"private/stdio.rkt"
|
"private/stdio.rkt"
|
||||||
"private/cmdargs.ss"
|
"private/cmdargs.rkt"
|
||||||
"filename-version.ss")
|
"filename-version.rkt")
|
||||||
|
|
||||||
(require "link-sig.ss")
|
(require "link-sig.rkt")
|
||||||
|
|
||||||
(provide dynext:link@)
|
(provide dynext:link@)
|
||||||
|
|
||||||
|
|
|
@ -1,9 +1,8 @@
|
||||||
|
|
||||||
(module link mzscheme
|
(module link mzscheme
|
||||||
(require mzlib/unit)
|
(require mzlib/unit)
|
||||||
|
|
||||||
(require "link-sig.ss")
|
(require "link-sig.rkt"
|
||||||
(require "link-unit.ss")
|
"link-unit.rkt")
|
||||||
|
|
||||||
(define-values/invoke-unit/infer dynext:link@)
|
(define-values/invoke-unit/infer dynext:link@)
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/base
|
#lang scheme/base
|
||||||
|
|
||||||
(require "dynext.ss")
|
(require "dynext.rkt")
|
||||||
(provide (all-from-out "dynext.ss"))
|
(provide (all-from-out "dynext.rkt"))
|
||||||
|
|
|
@ -7,25 +7,25 @@
|
||||||
(provide (all-from filename) ...))]))
|
(provide (all-from filename) ...))]))
|
||||||
|
|
||||||
(require/provide
|
(require/provide
|
||||||
"private/interface.ss"
|
"private/interface.rkt"
|
||||||
|
|
||||||
"private/aligned-pasteboard.ss"
|
"private/aligned-pasteboard.rkt"
|
||||||
"private/verthoriz-alignment.ss"
|
"private/verthoriz-alignment.rkt"
|
||||||
"private/grid-alignment.ss"
|
"private/grid-alignment.rkt"
|
||||||
"private/snip-wrapper.ss"
|
"private/snip-wrapper.rkt"
|
||||||
|
|
||||||
"private/on-show-editor.ss"
|
"private/on-show-editor.rkt"
|
||||||
|
|
||||||
"private/button-snip.ss"
|
"private/button-snip.rkt"
|
||||||
"private/embedded-message.ss"
|
"private/embedded-message.rkt"
|
||||||
"private/fixed-width-label-snip.ss"
|
"private/fixed-width-label-snip.rkt"
|
||||||
"private/lines.ss"
|
"private/lines.rkt"
|
||||||
|
|
||||||
"private/stretchable-editor-snip.ss"
|
"private/stretchable-editor-snip.rkt"
|
||||||
"private/tabbable-text.ss"
|
"private/tabbable-text.rkt"
|
||||||
"private/grey-editor.ss"
|
"private/grey-editor.rkt"
|
||||||
"private/single-line-text.ss"
|
"private/single-line-text.rkt"
|
||||||
"private/cue-text.ss"
|
"private/cue-text.rkt"
|
||||||
|
|
||||||
"private/snip-lib.ss")
|
"private/snip-lib.rkt")
|
||||||
)
|
)
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/base
|
#lang scheme/base
|
||||||
|
|
||||||
(require "embedded-gui.ss")
|
(require "embedded-gui.rkt")
|
||||||
(provide (all-from-out "embedded-gui.ss"))
|
(provide (all-from-out "embedded-gui.rkt"))
|
||||||
|
|
|
@ -13,12 +13,12 @@
|
||||||
mred
|
mred
|
||||||
mzlib/etc
|
mzlib/etc
|
||||||
mrlib/click-forwarding-editor
|
mrlib/click-forwarding-editor
|
||||||
"on-show-pasteboard.ss"
|
"on-show-pasteboard.rkt"
|
||||||
"really-resized-pasteboard.ss"
|
"really-resized-pasteboard.rkt"
|
||||||
"interface.ss"
|
"interface.rkt"
|
||||||
"locked-pasteboard.ss"
|
"locked-pasteboard.rkt"
|
||||||
"suppress-modify-editor.ss"
|
"suppress-modify-editor.rkt"
|
||||||
"on-show-editor.ss")
|
"on-show-editor.rkt")
|
||||||
|
|
||||||
(define aligned-pasteboard%
|
(define aligned-pasteboard%
|
||||||
(class* (click-forwarding-editor-mixin
|
(class* (click-forwarding-editor-mixin
|
||||||
|
|
|
@ -6,8 +6,8 @@
|
||||||
mred
|
mred
|
||||||
mzlib/contract
|
mzlib/contract
|
||||||
|
|
||||||
"interface.ss"
|
"interface.rkt"
|
||||||
"snip-lib.ss")
|
"snip-lib.rkt")
|
||||||
|
|
||||||
(provide/contract
|
(provide/contract
|
||||||
(vacuous-max (() (listof number?) . ->* . (number?)))
|
(vacuous-max (() (listof number?) . ->* . (number?)))
|
||||||
|
|
|
@ -6,7 +6,7 @@
|
||||||
mred
|
mred
|
||||||
mzlib/class
|
mzlib/class
|
||||||
mzlib/etc
|
mzlib/etc
|
||||||
"snip-wrapper.ss")
|
"snip-wrapper.rkt")
|
||||||
|
|
||||||
(provide
|
(provide
|
||||||
text-button-snip%
|
text-button-snip%
|
||||||
|
|
|
@ -5,7 +5,7 @@
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/etc
|
mzlib/etc
|
||||||
framework
|
framework
|
||||||
"interface.ss")
|
"interface.rkt")
|
||||||
|
|
||||||
(provide dllist-mixin dllist% head% tail%)
|
(provide dllist-mixin dllist% head% tail%)
|
||||||
|
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
(require
|
(require
|
||||||
mred
|
mred
|
||||||
mzlib/class
|
mzlib/class
|
||||||
"snip-wrapper.ss")
|
"snip-wrapper.rkt")
|
||||||
|
|
||||||
(provide embedded-message%)
|
(provide embedded-message%)
|
||||||
|
|
||||||
|
|
|
@ -12,14 +12,14 @@
|
||||||
mzlib/etc
|
mzlib/etc
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/match
|
mzlib/match
|
||||||
(prefix a: "alignment.ss")
|
(prefix a: "alignment.rkt")
|
||||||
mrlib/click-forwarding-editor
|
mrlib/click-forwarding-editor
|
||||||
|
|
||||||
"on-show-pasteboard.ss"
|
"on-show-pasteboard.rkt"
|
||||||
"really-resized-pasteboard.ss"
|
"really-resized-pasteboard.rkt"
|
||||||
"interface.ss"
|
"interface.rkt"
|
||||||
"snip-lib.ss"
|
"snip-lib.rkt"
|
||||||
"alignment-helpers.ss")
|
"alignment-helpers.rkt")
|
||||||
|
|
||||||
(provide grid-alignment%)
|
(provide grid-alignment%)
|
||||||
|
|
||||||
|
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user