newlines at EOFs
svn: r16630
This commit is contained in:
parent
daba183b08
commit
44d88cee6b
|
@ -82,4 +82,4 @@ and they all have good sample contracts. (It is amazing what we can do with kids
|
||||||
side-count?
|
side-count?
|
||||||
|
|
||||||
image-width
|
image-width
|
||||||
image-height)
|
image-height)
|
||||||
|
|
|
@ -143,4 +143,4 @@
|
||||||
|
|
||||||
(draw-next-state)
|
(draw-next-state)
|
||||||
(set-splash-event-callback eli-event)
|
(set-splash-event-callback eli-event)
|
||||||
(send splash-canvas refresh))
|
(send splash-canvas refresh))
|
||||||
|
|
|
@ -229,4 +229,4 @@
|
||||||
|
|
||||||
(drscheme:get/extend:extend-unit-frame make-new-unit-frame% #f)))
|
(drscheme:get/extend:extend-unit-frame make-new-unit-frame% #f)))
|
||||||
|
|
||||||
|#
|
|#
|
||||||
|
|
|
@ -5468,4 +5468,4 @@
|
||||||
(o x x x o o x x x o o x x o o x x o o x)
|
(o x x x o o x x x o o x x o o x x o o x)
|
||||||
(o o o o x x x x o o o x x x o o x x o o)))
|
(o o o o x x x x o o o x x x o o x x o o)))
|
||||||
|
|
||||||
))
|
))
|
||||||
|
|
|
@ -14477,4 +14477,4 @@
|
||||||
(12)
|
(12)
|
||||||
(7)
|
(7)
|
||||||
()
|
()
|
||||||
()))))))
|
()))))))
|
||||||
|
|
|
@ -38,4 +38,4 @@ The cols and rows types are specified in sig.ss
|
||||||
((1) (2 2) (1 1) (1) (2 2) (1)))
|
((1) (2 2) (1 1) (1) (2 2) (1)))
|
||||||
|
|
||||||
)
|
)
|
||||||
)
|
)
|
||||||
|
|
|
@ -79,4 +79,4 @@ The cols and rows types are specified in sig.ss
|
||||||
(2 4 2) (2 5) (5) (3) (3)))
|
(2 4 2) (2 5) (5) (3) (3)))
|
||||||
|
|
||||||
)
|
)
|
||||||
)
|
)
|
||||||
|
|
|
@ -44,4 +44,4 @@
|
||||||
(traces/ps reductions (term (- (* (sqrt 36) (/ 1 2)) (+ 1 2)))
|
(traces/ps reductions (term (- (* (sqrt 36) (/ 1 2)) (+ 1 2)))
|
||||||
traces-file)
|
traces-file)
|
||||||
|
|
||||||
(printf "Traces are in ~a~n" traces-file)
|
(printf "Traces are in ~a~n" traces-file)
|
||||||
|
|
|
@ -29,4 +29,4 @@
|
||||||
|
|
||||||
(test--> test2
|
(test--> test2
|
||||||
(term ((cont hole) (explode)))
|
(term ((cont hole) (explode)))
|
||||||
(term okay))
|
(term okay))
|
||||||
|
|
|
@ -1,2 +1,2 @@
|
||||||
#lang s-exp syntax/module-reader
|
#lang s-exp syntax/module-reader
|
||||||
scheme/exists/lang
|
scheme/exists/lang
|
||||||
|
|
|
@ -112,4 +112,4 @@
|
||||||
(timer "slightly more than power of 10" iter k (order-of-magnitude qqq)))
|
(timer "slightly more than power of 10" iter k (order-of-magnitude qqq)))
|
||||||
(error 'test-3 "~s" k)))))
|
(error 'test-3 "~s" k)))))
|
||||||
|
|
||||||
|#
|
|#
|
||||||
|
|
|
@ -195,4 +195,4 @@
|
||||||
(list (make-element 'italic (list i)))])]
|
(list (make-element 'italic (list i)))])]
|
||||||
[(eq? i 'rsquo) (list 'prime)]
|
[(eq? i 'rsquo) (list 'prime)]
|
||||||
[else (list i)])))
|
[else (list i)])))
|
||||||
c))))
|
c))))
|
||||||
|
|
|
@ -7,4 +7,4 @@
|
||||||
(define-syntax (id stx)
|
(define-syntax (id stx)
|
||||||
(if (identifier? stx)
|
(if (identifier? stx)
|
||||||
#'(force val)
|
#'(force val)
|
||||||
(raise-syntax-error #f "bad syntax" stx)))))
|
(raise-syntax-error #f "bad syntax" stx)))))
|
||||||
|
|
|
@ -277,4 +277,4 @@ layer is a style for the hyperlink.}
|
||||||
|
|
||||||
@compat[] An alias for @scheme[content->string].
|
@compat[] An alias for @scheme[content->string].
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -9,4 +9,4 @@
|
||||||
|
|
||||||
(+ 6 7)
|
(+ 6 7)
|
||||||
|
|
||||||
(+ 7 8)
|
(+ 7 8)
|
||||||
|
|
|
@ -274,4 +274,4 @@
|
||||||
[expanded-thunk
|
[expanded-thunk
|
||||||
(lambda () (expand-teaching-program p2 read-syntax namespace-spec teachpack-specs #f module-id enable-testing?))])
|
(lambda () (expand-teaching-program p2 read-syntax namespace-spec teachpack-specs #f module-id enable-testing?))])
|
||||||
(display (expanded-thunk))
|
(display (expanded-thunk))
|
||||||
(test-sequence/core render-settings show-lambdas-as-lambdas? expanded-thunk '() (box #f)))])
|
(test-sequence/core render-settings show-lambdas-as-lambdas? expanded-thunk '() (box #f)))])
|
||||||
|
|
|
@ -6,4 +6,4 @@
|
||||||
;; evaluates a postfix sequence of items, using a stack
|
;; evaluates a postfix sequence of items, using a stack
|
||||||
(define (post-eval)
|
(define (post-eval)
|
||||||
(match '(1 2)
|
(match '(1 2)
|
||||||
[(list (? number? #{stack : (Listof Number)}) ...) 3]))
|
[(list (? number? #{stack : (Listof Number)}) ...) 3]))
|
||||||
|
|
|
@ -20,4 +20,4 @@
|
||||||
(λ (env)
|
(λ (env)
|
||||||
((f env) (x env))))
|
((f env) (x env))))
|
||||||
|
|
||||||
(ap (pure id) (pure 4))
|
(ap (pure id) (pure 4))
|
||||||
|
|
|
@ -10,4 +10,4 @@
|
||||||
(require 'm)
|
(require 'm)
|
||||||
(f 1))
|
(f 1))
|
||||||
|
|
||||||
(require 'mm)
|
(require 'mm)
|
||||||
|
|
|
@ -46,4 +46,4 @@
|
||||||
(case (length (syntax->list #'(x ...)))
|
(case (length (syntax->list #'(x ...)))
|
||||||
[(1) (err "can only annotate identifiers with types" #'i)]
|
[(1) (err "can only annotate identifiers with types" #'i)]
|
||||||
[(0) (err "missing type")]
|
[(0) (err "missing type")]
|
||||||
[else (err "bad syntax (multiple types after identifier)")])]))
|
[else (err "bad syntax (multiple types after identifier)")])]))
|
||||||
|
|
|
@ -95,4 +95,4 @@
|
||||||
(define LatentFilterSet/c
|
(define LatentFilterSet/c
|
||||||
(flat-named-contract
|
(flat-named-contract
|
||||||
'LatentFilterSet
|
'LatentFilterSet
|
||||||
(λ (e) (or (LFilterSet? e)))))
|
(λ (e) (or (LFilterSet? e)))))
|
||||||
|
|
|
@ -16,4 +16,4 @@
|
||||||
(define (write/bytes v)
|
(define (write/bytes v)
|
||||||
(define by (open-output-bytes))
|
(define by (open-output-bytes))
|
||||||
(write v by)
|
(write v by)
|
||||||
(get-output-bytes by))
|
(get-output-bytes by))
|
||||||
|
|
|
@ -12,4 +12,4 @@
|
||||||
(provide/contract
|
(provide/contract
|
||||||
[non-empty-string/c contract?]
|
[non-empty-string/c contract?]
|
||||||
[path-element? contract?]
|
[path-element? contract?]
|
||||||
[port-number? contract?])
|
[port-number? contract?])
|
||||||
|
|
|
@ -17,4 +17,4 @@
|
||||||
|
|
||||||
(provide/contract
|
(provide/contract
|
||||||
[network-error ((symbol? string?) (listof any/c) . ->* . (void))]
|
[network-error ((symbol? string?) (listof any/c) . ->* . (void))]
|
||||||
[exn->string ((or/c exn? any/c) . -> . string?)])
|
[exn->string ((or/c exn? any/c) . -> . string?)])
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
#lang setup/infotab
|
#lang setup/infotab
|
||||||
(define scribblings
|
(define scribblings
|
||||||
'(("scribblings/unstable.scrbl" (multi-page) (experimental))))
|
'(("scribblings/unstable.scrbl" (multi-page) (experimental))))
|
||||||
|
|
|
@ -16,4 +16,4 @@
|
||||||
#f)])]))
|
#f)])]))
|
||||||
|
|
||||||
(provide/contract
|
(provide/contract
|
||||||
[list-prefix? (list? list? . -> . boolean?)])
|
[list-prefix? (list? list? . -> . boolean?)])
|
||||||
|
|
|
@ -41,4 +41,4 @@
|
||||||
[(same) "."]
|
[(same) "."]
|
||||||
[(up) ".."]
|
[(up) ".."]
|
||||||
[else (error 'maybe-join-params
|
[else (error 'maybe-join-params
|
||||||
"bad value from path/param-path: ~e" s)])))))
|
"bad value from path/param-path: ~e" s)])))))
|
||||||
|
|
|
@ -50,4 +50,4 @@
|
||||||
[path-without-base (path-string? path-string? . -> . (listof path-element?))]
|
[path-without-base (path-string? path-string? . -> . (listof path-element?))]
|
||||||
[strip-prefix-ups ((listof path-element?) . -> . (listof path-element?))]
|
[strip-prefix-ups ((listof path-element?) . -> . (listof path-element?))]
|
||||||
[directory-part (path-string? . -> . path?)]
|
[directory-part (path-string? . -> . path?)]
|
||||||
[build-path-unless-absolute (path-string? path-string? . -> . path?)])
|
[build-path-unless-absolute (path-string? path-string? . -> . path?)])
|
||||||
|
|
|
@ -13,4 +13,4 @@
|
||||||
[r list?])
|
[r list?])
|
||||||
boolean?]{
|
boolean?]{
|
||||||
True if @scheme[l] is a prefix of @scheme[r].
|
True if @scheme[l] is a prefix of @scheme[r].
|
||||||
}
|
}
|
||||||
|
|
|
@ -8,4 +8,4 @@
|
||||||
|
|
||||||
@local-table-of-contents[]
|
@local-table-of-contents[]
|
||||||
|
|
||||||
@include-section["net/url.scrbl"]
|
@include-section["net/url.scrbl"]
|
||||||
|
|
|
@ -37,4 +37,4 @@
|
||||||
@defproc[(strip-prefix-ups [p (listof path-element?)])
|
@defproc[(strip-prefix-ups [p (listof path-element?)])
|
||||||
(listof path-element?)]{
|
(listof path-element?)]{
|
||||||
Removes all the prefix @scheme[".."]s from @scheme[p].
|
Removes all the prefix @scheme[".."]s from @scheme[p].
|
||||||
}
|
}
|
||||||
|
|
|
@ -19,4 +19,4 @@
|
||||||
(provide/contract
|
(provide/contract
|
||||||
[lowercase-symbol! ((or/c string? bytes?) . -> . symbol?)]
|
[lowercase-symbol! ((or/c string? bytes?) . -> . symbol?)]
|
||||||
[read/string (string? . -> . serializable?)]
|
[read/string (string? . -> . serializable?)]
|
||||||
[write/string (serializable? . -> . string?)])
|
[write/string (serializable? . -> . string?)])
|
||||||
|
|
|
@ -14,4 +14,4 @@
|
||||||
unstable/list
|
unstable/list
|
||||||
unstable/path
|
unstable/path
|
||||||
unstable/string
|
unstable/string
|
||||||
unstable/net/url))
|
unstable/net/url))
|
||||||
|
|
|
@ -85,4 +85,4 @@ user-content
|
||||||
|
|
||||||
This allows you to do the same thing but is safer and more efficient: safer because there is no way to include templates that are not named by the programmer and more efficient because all the templates are compiled (and optimized) with the rest of the code.
|
This allows you to do the same thing but is safer and more efficient: safer because there is no way to include templates that are not named by the programmer and more efficient because all the templates are compiled (and optimized) with the rest of the code.
|
||||||
|
|
||||||
If you insist on dynamicism, there is always @scheme[eval].
|
If you insist on dynamicism, there is always @scheme[eval].
|
||||||
|
|
Loading…
Reference in New Issue
Block a user