Permalink
Browse files

A long overdue scan to eliminate files without terminating newlines.

(DrRacket should really do that.)
  • Loading branch information...
elibarzilay committed Jun 28, 2011
1 parent a38f384 commit 40124a0619da5e187d95aeb1dde237f05d6f9c6b
Showing 437 changed files with 621 additions and 652 deletions.
@@ -21,6 +21,3 @@ Neil, would it be okay with you if I provide your csv package from the core:
 (require (planet neil/csv:1:2/csv))
If so, could you send me your sources? Thanks -- Matthias
-
-
-
@@ -1,4 +1,4 @@
#lang racket/base
;; this is here as a backwards compatibility file to provide the snipclass
(require mrlib/image-core)
-(provide snip-class)
+(provide snip-class)
@@ -320,4 +320,4 @@
(number? mode))
(check-arg fn-name (image-color? color) 'image-color i color)]
[(eq? mode 'outline)
- (void)]))
+ (void)]))
@@ -8,4 +8,4 @@
(define (tee tag x)
(printf "~a ~s\n" tag x)
- x)
+ x)
@@ -562,4 +562,4 @@
(L (rest history) (world-transition world (first history))))))
(show (text (format "creating ~a" ANIMATED-GIF-FILE) 18 'red))
(create-animated-gif rate (reverse bmps))
- (show (draw worldN)))))))
+ (show (draw worldN)))))))
@@ -12,4 +12,4 @@
(see-full-rectangle 3 2:rectangle)
-(see-full-rectangle 3 1:rectangle)
+(see-full-rectangle 3 1:rectangle)
@@ -23,4 +23,4 @@
(on-tick suivant 1)
(on-draw dessiner SIZE SIZE))))
-(animation2)
+(animation2)
@@ -38,4 +38,4 @@
number-of-png)))
(create-n-images 3 3 "images3/")
-(create-n-images 0 0 "images0/")
+(create-n-images 0 0 "images0/")
@@ -39,4 +39,4 @@
#<procedure:set-draw#!>
1
#<procedure:handler> ...)
-|#
+|#
@@ -61,25 +61,24 @@
(define-clause on-mouse (proc world-nat-nat-mouse->world))
(define-clause on-tick (proc world->world))
)
-
-(module utest scheme
+(module utest scheme
(require 'clauses (for-syntax 'clauses syntax/parse) (for-template 'clauses))
-
+
(define-syntax (big-bang stx)
(syntax-parse stx
[(big-bang world0:expr
(~or (~optional otk:on-tick-clause)
- (~optional omc:on-mouse-clause))
+ (~optional omc:on-mouse-clause))
...)
#`(printf "~s\n"
'(bb world0
#,(if (attribute omc) "mouse" "no mouse")
#,(if (attribute otk) "tick" "no tick")))]))
-
+
(big-bang 0)
(big-bang 1 (on-tick +) (on-mouse -))
(big-bang 2 (on-tick +))
(big-bang 3 (on-mouse +))
)
-(require 'utest)
+(require 'utest)
@@ -16,4 +16,4 @@
(prefix-toplevels p))]))
(provide/contract
- [alpha-vary-ctop (compilation-top? . -> . compilation-top?)])
+ [alpha-vary-ctop (compilation-top? . -> . compilation-top?)])
@@ -110,4 +110,4 @@ Here's the idea:
[("-e" "--exclude-modules") mod
"Exclude a module from being batched"
(current-excluded-modules (set-add (current-excluded-modules) mod))]
- #:args (filename) (main filename))
+ #:args (filename) (main filename))
@@ -275,4 +275,4 @@
first-update)
(provide/contract
- [gc-toplevels (compilation-top? . -> . compilation-top?)])
+ [gc-toplevels (compilation-top? . -> . compilation-top?)])
@@ -170,4 +170,4 @@
(provide/contract
[merge-compilation-top (-> get-modvar-rewrite/c
compilation-top?
- compilation-top?)])
+ compilation-top?)])
@@ -31,4 +31,4 @@
#t))]))
(provide/contract
- [wrap-in-kernel-module (symbol? symbol? lang-info/c module-path-index? compilation-top? . -> . compilation-top?)])
+ [wrap-in-kernel-module (symbol? symbol? lang-info/c module-path-index? compilation-top? . -> . compilation-top?)])
@@ -28,4 +28,4 @@
[MODULE-PATHS (parameter/c (or/c false/c hash?))]
[current-module-path (parameter/c path-string?)]
[mpi->path! (module-path-index? . -> . (or/c symbol? path?))]
- [mpi->path* (module-path-index? . -> . (or/c symbol? path?))])
+ [mpi->path* (module-path-index? . -> . (or/c symbol? path?))])
@@ -186,4 +186,4 @@
[get-modvar-rewrite/c contract?]
[current-excluded-modules (parameter/c set?)]
[nodep-file (-> path-string?
- (values compilation-top? lang-info/c module-path-index? get-modvar-rewrite/c))])
+ (values compilation-top? lang-info/c module-path-index? get-modvar-rewrite/c))])
@@ -77,4 +77,4 @@
(values (unconstrained-domain-> any/c)
(unconstrained-domain-> any/c)))]
[lang-info/c contract?]
- [build-compiled-path ((or/c path-string? (symbols 'relative) false/c) path-string? . -> . (or/c path-string? (symbols 'same 'up)))])
+ [build-compiled-path ((or/c path-string? (symbols 'relative) false/c) path-string? . -> . (or/c path-string? (symbols 'same 'up)))])
@@ -40,4 +40,4 @@
[print-questions ((listof question/c) . -> . void)]
[eval-program (program/c . -> . void)]
[eval-top-level-statement (statement/c . -> . void)]
- [eval-statement (statement/c . -> . (or/c void (listof question/c)))])
+ [eval-statement (statement/c . -> . (or/c void (listof question/c)))])
@@ -1,3 +1,3 @@
#lang setup/infotab
(define scribblings '(["scribblings/datalog.scrbl" (multi-page) (language)]))
-(define compile-omit-paths '("tests"))
+(define compile-omit-paths '("tests"))
@@ -7,4 +7,4 @@
'(#(datalog/lang/configure-runtime configure #f))]
[else
default])))
-(provide get-info)
+(provide get-info)
@@ -19,4 +19,4 @@
(define (this-read-syntax [src #f] [in (current-input-port)])
(compile-program
(parameterize ([current-source-name src])
- (parse-program in)))))
+ (parse-program in)))))
@@ -3,4 +3,4 @@
"stx.rkt")
(provide make-theory
theory/c
- (all-from-out "stx.rkt"))
+ (all-from-out "stx.rkt"))
@@ -79,4 +79,4 @@
[parse-literal (input-port? . -> . literal?)]
[parse-clause (input-port? . -> . clause?)]
[parse-statement (input-port? . -> . statement/c)]
- [parse-program (input-port? . -> . program/c)])
+ [parse-program (input-port? . -> . program/c)])
@@ -88,4 +88,4 @@
[format-retraction (retraction? . -> . doc?)]
[format-query (query? . -> . doc?)]
[format-statement (statement/c . -> . doc?)]
- [format-program (program/c . -> . doc?)])
+ [format-program (program/c . -> . doc?)])
@@ -14,4 +14,4 @@
[env/c contract?]
[empty-env (-> env/c)]
[lookup ((env/c symbol?) (term/c) . ->* . (or/c false/c term/c))]
- [extend (env/c symbol? term/c . -> . void)])
+ [extend (env/c symbol? term/c . -> . void)])
@@ -33,14 +33,14 @@
[#\" (token-STRING (list->string (get-string-token input-port)))]
[#\( (token-LPAREN)]
[#\, (token-COMMA)]
- [#\) (token-RPAREN)]
+ [#\) (token-RPAREN)]
[#\. (token-DOT)]
[#\~ (token-TILDE)]
[#\? (token-QMARK)]
[#\= (token-EQUAL)]
["!=" (token-NEQUAL)]
[(eof) (token-EOF)]))
-(provide dtokens dpunct
+(provide dtokens dpunct
line-break id-chars variable-re identifier-re comment-re
- dlexer)
+ dlexer)
@@ -17,4 +17,4 @@
(define dot ".")
(define (nest n d) d)
(define char string)
-(define doc? string?)
+(define doc? string?)
@@ -72,4 +72,4 @@
[subst-term (env/c term/c . -> . term/c)]
[subst-clause (env/c clause? . -> . clause?)]
[rename-clause (clause? . -> . clause?)]
- [rename-question (question/c . -> . question/c)])
+ [rename-question (question/c . -> . question/c)])
@@ -56,4 +56,4 @@
(provide/contract
[unify (question/c question/c . -> . (or/c false/c env/c))]
[unify-terms (env/c (listof term/c) (listof term/c) . -> . (or/c false/c env/c))]
- [unify-term (env/c term/c term/c . -> . (or/c false/c env/c))])
+ [unify-term (env/c term/c term/c . -> . (or/c false/c env/c))])
@@ -102,4 +102,4 @@
[make-literal-tbl (-> literal-tbl/c)]
[literal-tbl-find (literal-tbl/c question/c . -> . (or/c false/c any/c))]
[literal-tbl-replace! (literal-tbl/c question/c any/c . -> . void)]
- [mem-literal (question/c (listof question/c) . -> . boolean?)])
+ [mem-literal (question/c (listof question/c) . -> . boolean?)])
@@ -149,4 +149,4 @@
[make-theory (-> theory/c)]
[assume! (theory/c safe-clause? . -> . void)]
[retract! (theory/c clause? . -> . void)]
- [prove (theory/c question/c . -> . (listof question/c))])
+ [prove (theory/c question/c . -> . (listof question/c))])
@@ -176,4 +176,4 @@ Another important reference is
@link["http://portal.acm.org/citation.cfm?id=227597"]{Tabled Evaluation with Delaying for General Logic Programs} by W. Chen and D. S. Warren.
Datalog is described in
@link["http://doi.ieeecomputersociety.org/10.1109/69.43410"]{What You Always Wanted to Know About Datalog (And Never Dared to Ask)}
-by Stefano Ceri, Georg Gottlob, and Letizia Tanca.
+by Stefano Ceri, Georg Gottlob, and Letizia Tanca.
@@ -83,4 +83,4 @@ External queries invalidate Datalog's guaranteed termination. For example, this
(add1 X :- Z)
(loop Z)))
(? (loop 1)))
- ]
+ ]
@@ -47,4 +47,4 @@
(except-out (all-from-out racket/base)
#%top-interaction
#%module-begin)
- ! ~ ? :-)
+ ! ~ ? :-)
@@ -1,2 +1,2 @@
(module reader syntax/module-reader
- #:language 'datalog/sexp/lang)
+ #:language 'datalog/sexp/lang)
@@ -51,4 +51,4 @@
delimiter-stack
closed?)])))))
-(provide repl-submit?)
+(provide repl-submit?)
@@ -33,4 +33,4 @@
[(:or "!=" #\= #\? #\~ #\. #\, ":-") (syn-val lexeme 'parenthesis #f start-pos end-pos)]
[(eof) (syn-val lexeme 'eof #f start-pos end-pos)]
[#\" ((colorize-string start-pos) input-port)]
- [any-char (syn-val lexeme 'error #f start-pos end-pos)]))
+ [any-char (syn-val lexeme 'error #f start-pos end-pos)]))
@@ -104,4 +104,4 @@
set-syncheck-mode
get-syncheck-mode
- update-menu-status)
+ update-menu-status)
Oops, something went wrong.

0 comments on commit 40124a0

Please sign in to comment.