diff --git a/collects/drscheme/private/prefs-contract.ss b/collects/drscheme/private/prefs-contract.ss new file mode 100644 index 00000000..cb648dd5 --- /dev/null +++ b/collects/drscheme/private/prefs-contract.ss @@ -0,0 +1,16 @@ +#lang scheme/base + +(require (for-syntax scheme/base) + framework/framework) + +(provide (rename-out [-preferences:get preferences:get]) + preferences:get-drscheme:large-letters-font) + +(define (preferences:get-drscheme:large-letters-font) + (preferences:get 'drscheme:large-letters-font)) + +(define-syntax (-preferences:get stx) + (syntax-case stx (quote) + [(_ (quote sym)) + (with-syntax ([nm (datum->syntax stx (string->symbol (string-append "preferences:get" "-" (symbol->string (syntax-e #'sym)))))]) + (syntax/loc stx (nm)))])) \ No newline at end of file diff --git a/collects/typed-scheme/lang/reader.ss b/collects/typed-scheme/lang/reader.ss index 554ba602..0a919940 100644 --- a/collects/typed-scheme/lang/reader.ss +++ b/collects/typed-scheme/lang/reader.ss @@ -1,13 +1,8 @@ -#lang scheme/base -(require (prefix-in r: "../typed-reader.ss") - (only-in syntax/module-reader wrap-read-all)) +#lang s-exp syntax/module-reader -(define (*read in modpath line col pos) - (wrap-read-all 'typed-scheme in r:read modpath #f line col pos)) +typed-scheme -(define (*read-syntax src in modpath line col pos) - (wrap-read-all - 'typed-scheme in (lambda (in) (r:read-syntax src in)) - modpath src line col pos)) +#:read r:read +#:read-syntax r:read-syntax -(provide (rename-out [*read read] [*read-syntax read-syntax])) +(require (prefix-in r: "../typed-reader.ss"))