A long overdue scan to eliminate files without terminating newlines.

(DrRacket should really do that.)

original commit: 40124a0619da5e187d95aeb1dde237f05d6f9c6b

collects/datalog/eval.rkt

@@ -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)))])

collects/datalog/info.rkt

@@ -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"))

collects/datalog/lang/lang-info.rkt

@@ -7,4 +7,4 @@
        '(#(datalog/lang/configure-runtime configure #f))]
       [else
        default])))
-(provide get-info)
+(provide get-info)

collects/datalog/lang/reader.rkt

@@ -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)))))

collects/datalog/main.rkt

@@ -3,4 +3,4 @@
          "stx.rkt")
 (provide make-theory
          theory/c
-         (all-from-out "stx.rkt"))
+         (all-from-out "stx.rkt"))

collects/datalog/parse.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)])

collects/datalog/pretty.rkt

@@ -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?)])

collects/datalog/private/env.rkt

@@ -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)])

collects/datalog/private/lex.rkt

@@ -33,7 +33,7 @@
    [#\" (token-STRING (list->string (get-string-token input-port)))]
    [#\( (token-LPAREN)]
    [#\, (token-COMMA)]
-   [#\) (token-RPAREN)]   
+   [#\) (token-RPAREN)]
    [#\. (token-DOT)]
    [#\~ (token-TILDE)]
    [#\? (token-QMARK)]
@@ -41,6 +41,6 @@
    ["!=" (token-NEQUAL)]
    [(eof) (token-EOF)]))
 
-(provide dtokens dpunct 
+(provide dtokens dpunct
          line-break id-chars variable-re identifier-re comment-re
-         dlexer)
+         dlexer)

collects/datalog/private/pprint.rkt

@@ -17,4 +17,4 @@
 (define dot ".")
 (define (nest n d) d)
 (define char string)
-(define doc? string?)
+(define doc? string?)

collects/datalog/private/subst.rkt

@@ -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)])

collects/datalog/private/unify.rkt

@@ -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))])

collects/datalog/private/variant.rkt

@@ -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?)])

collects/datalog/runtime.rkt

@@ -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))])

collects/datalog/scribblings/datalog.scrbl

@@ -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.

collects/datalog/scribblings/racket.scrbl

@@ -83,4 +83,4 @@ External queries invalidate Datalog's guaranteed termination. For example, this
                  (add1 X :- Z)
                  (loop Z)))
           (? (loop 1)))
- ]
+ ]

collects/datalog/sexp/lang.rkt

@@ -47,4 +47,4 @@
          (except-out (all-from-out racket/base)
                      #%top-interaction
                      #%module-begin)
-         ! ~ ? :-)
+         ! ~ ? :-)

collects/datalog/sexp/lang/reader.rkt

@@ -1,2 +1,2 @@
 (module reader syntax/module-reader
-  #:language 'datalog/sexp/lang)
+  #:language 'datalog/sexp/lang)

collects/datalog/tool/submit.rkt

@@ -51,4 +51,4 @@
                    delimiter-stack
                    closed?)])))))
 
-(provide repl-submit?)
+(provide repl-submit?)

collects/datalog/tool/syntax-color.rkt

@@ -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)]))

collects/tests/datalog/ast.rkt

@@ -77,4 +77,4 @@
     (test-false "lit" (clause-equal? (make-clause #f (make-literal #f 'lit1 empty) (list (make-literal #f 'lit1 empty)))
                                      (make-clause #f (make-literal #f 'lit1 empty) empty)))
     (test-false "lit" (clause-equal? (make-clause #f (make-literal #f 'lit1 empty) (list (make-literal #f 'lit1 empty)))
-                                     (make-clause #f (make-literal #f 'lit1 empty) (list (make-literal #f 'lit2 empty))))))))
+                                     (make-clause #f (make-literal #f 'lit1 empty) (list (make-literal #f 'lit2 empty))))))))

collects/tests/datalog/eval.rkt

@@ -35,4 +35,4 @@
    "eval"
    
    (test-examples (build-path here "examples"))
-   (test-examples (build-path here "paren-examples"))))
+   (test-examples (build-path here "paren-examples"))))

collects/tests/datalog/examples/ancestor.rkt

@@ -9,4 +9,4 @@ ancestor(A, B) :-
 parent(john, douglas).
 parent(bob, john).
 parent(ebbon, bob).
-ancestor(A, B)?
+ancestor(A, B)?

collects/tests/datalog/examples/empty.rkt

@@ -1 +1 @@
-#lang datalog
+#lang datalog

collects/tests/datalog/examples/sym.rkt

@@ -5,4 +5,4 @@ sym(b).
 sym(c).
 perm(X,Y) :- sym(X), sym(Y), X != Y.
 
-perm(X,Y)?
+perm(X,Y)?

collects/tests/datalog/main.rkt

@@ -42,4 +42,4 @@
   
   (test-case "Racket Interop"
              (parameterize ([current-output-port stdout])
-               (dynamic-require racket-mod #f)))))
+               (dynamic-require racket-mod #f)))))

collects/tests/datalog/paren-examples/add1.rkt

@@ -7,4 +7,4 @@
 
 (? (add2 1 3))
 
-(? (add1 X :- 1))
+(? (add1 X :- 1))

collects/tests/datalog/paren-examples/bidipath.rkt

@@ -12,4 +12,4 @@
 (! (:- (path X Y)
        (path X Z)
        (edge Z Y)))
-(? (path X Y))
+(? (path X Y))

collects/tests/datalog/paren-examples/empty.rkt

@@ -1 +1 @@
-#lang datalog/sexp
+#lang datalog/sexp

collects/tests/datalog/paren-examples/req.rkt

@@ -1,4 +1,4 @@
 #lang datalog/sexp
 (require racket/math)
 
-(? (sqr 4 :- X))
+(? (sqr 4 :- X))

collects/tests/datalog/paren-examples/revpath.rkt

@@ -9,4 +9,4 @@
 (! (:- (path X Y)
        (path X Z)
        (edge Z Y)))
-(? (path X Y))
+(? (path X Y))

collects/tests/datalog/paren-examples/sym.rkt

@@ -8,4 +8,4 @@
        (sym Y)
        (!= X Y)))
 
-(? (perm X Y))
+(? (perm X Y))

collects/tests/datalog/paren-examples/true.rkt

@@ -1,3 +1,3 @@
 #lang datalog/sexp
 (! true)
-(? true)
+(? true)

collects/tests/datalog/parse.rkt

@@ -51,4 +51,4 @@
     "statement"
     (test-not-false "assertion" (assertion? (parse-statement (open-input-string "parent(john, douglas)."))))
     (test-not-false "retraction" (retraction? (parse-statement (open-input-string "parent(john, douglas)~"))))
-    (test-not-false "query" (query? (parse-statement (open-input-string "parent(john, douglas)?")))))))
+    (test-not-false "query" (query? (parse-statement (open-input-string "parent(john, douglas)?")))))))

collects/tests/datalog/pretty.rkt

@@ -46,4 +46,4 @@ parent(bob, john)~
 parent(A, B)?
 ancestor(A, B)?
 END
-                )))
+                )))

collects/tests/datalog/private/env.rkt

@@ -19,4 +19,4 @@
                 (lookup (extend (extend (empty-env) 'v1 t1)
                                 'v1 t1)
                         'v1)
-                t1)))
+                t1)))

collects/tests/datalog/private/lex.rkt

@@ -35,4 +35,4 @@
    (test-lexer "    =" 'EQUAL #f)
    (test-lexer "% 12453\n=" 'EQUAL #f)
    
-   ))
+   ))

collects/tests/datalog/private/subst.rkt

@@ -111,4 +111,4 @@
                        (first
                         (clause-body
                          (rename-clause (make-clause #f (make-literal #f 'lit (list (make-constant #f 'v1)))
-                                                     (list (make-literal #f 'lit (list (make-variable #f 'v1)))))))))))))))
+                                                     (list (make-literal #f 'lit (list (make-variable #f 'v1)))))))))))))))

collects/tests/datalog/private/unify.rkt

@@ -51,4 +51,4 @@
     (test-false "lit/lit" (unify (make-literal #f 'lit1 empty) (make-literal #f 'lit2 empty)))
     (test-equal? "con/con" (unify (make-literal #f 'lit1 (list (make-constant #f 'k1)))
                                   (make-literal #f 'lit1 (list (make-constant #f 'k1))))
-                 (empty-env)))))
+                 (empty-env)))))

collects/tests/datalog/private/variant.rkt

@@ -56,4 +56,4 @@
                                                   (make-literal #f 'lit1 (list (make-variable #f 'v1)))))
       
       (test-not-false "var (dif name)" (literal-hash-equal? (make-literal #f 'lit1 (list (make-variable #f 'v2))) 
-                                                            (make-literal #f 'lit1 (list (make-variable #f 'v1)))))))))
+                                                            (make-literal #f 'lit1 (list (make-variable #f 'v1)))))))))

collects/tests/datalog/racket.rkt

@@ -81,4 +81,4 @@
        (hasheq 'A 'ebbon 'B 'john)
        (hasheq 'A 'ebbon 'B 'douglas))
  
- )
+ )

collects/tests/datalog/tool/syntax-color.rkt

@@ -35,4 +35,4 @@
    (test-color "\"fo\\\"o\"" 'string)
    (test-color "\"fo\no\"" 'string)
    (test-color "\"foo" 'error)
-   (test-color ":" 'error)))
+   (test-color ":" 'error)))