delete unneeded `eof` rules

beautiful-racket-demo/basic-demo-2/lexer.rkt

@@ -7,7 +7,6 @@
 
 (define basic-lexer
   (lexer-srcloc
-   [(eof) (return-without-srcloc eof)]
    ["\n" (token 'NEWLINE lexeme)]
    [whitespace (token lexeme #:skip? #t)]
    [(from/stop-before "rem" "\n") (token 'REM lexeme)]

beautiful-racket-demo/basic-demo-2a/lexer.rkt

@@ -5,7 +5,6 @@
 
 (define basic-lexer
   (lexer-srcloc
-   [(eof) (return-without-srcloc eof)]
    ["\n" (token 'NEWLINE lexeme)]
    [whitespace (token lexeme #:skip? #t)]
    [(from/stop-before "rem" "\n") (token 'REM lexeme)]

beautiful-racket-demo/basic-demo-3/lexer.rkt

@@ -10,7 +10,6 @@
 
 (define basic-lexer
   (lexer-srcloc
-   [(eof) (return-without-srcloc eof)]
    ["\n" (token 'NEWLINE lexeme)]
    [whitespace (token lexeme #:skip? #t)]
    [(from/stop-before "rem" "\n") (token 'REM lexeme)]

beautiful-racket-demo/basic-demo-nth/tokenizer.rkt

@@ -10,7 +10,6 @@
 
 (define basic-lexer
   (lexer-src-pos
-   [(eof) eof]
    [whitespace (token 'WHITE lexeme #:skip? #t
                       #:position (pos lexeme-start)
                       #:line (line lexeme-start)

beautiful-racket-demo/basic-demo/lexer.rkt

@@ -5,7 +5,6 @@
 
 (define basic-lexer
   (lexer-srcloc
-   [(eof) (return-without-srcloc eof)]
    ["\n" (token 'NEWLINE lexeme)]
    [whitespace (token lexeme #:skip? #t)]
    [(from/stop-before "rem" "\n") (token 'REM lexeme)]

beautiful-racket-demo/bf-demo/reader.rkt

@@ -13,7 +13,6 @@
   (define (next-token)
     (define bf-lexer
       (lexer
-       [(eof) eof]
        [(char-set "><-.,+[]") lexeme]
        [any-char (next-token)]))
     (bf-lexer port))  

beautiful-racket-demo/bf-demo/test-tokenizer.rkt

@@ -10,8 +10,7 @@
      #;[(:: "#" (:* (complement "\n")) "\n") (token 'comment #:skip? #t)]
      [whitespace (token 'white #:skip? #t)]
      ;; treat other characters as comments
-     [(char-range #\nul #\~) (token 'ascii #:skip? #t)]
+     [(char-range #\nul #\~) (token 'ascii #:skip? #t)]))
-     [(eof) eof]))
   
   (define (next-token) (get-token ip))
   

beautiful-racket-demo/hdl-demo/tokenizer.rkt

@@ -7,7 +7,6 @@
   (define (next-token)
     (define get-token
       (lexer-src-pos
-       [(eof) eof]
        [(union
          (:seq "/*" (complement (:seq any-string "*/" any-string)) "*/")
          (:seq "//" (repetition 1 +inf.0 (char-complement #\newline)) #\newline))

beautiful-racket-demo/hdl-tst-demo/tokenizer.rkt

@@ -4,7 +4,6 @@
 
 (define hdl-test-lexer
   (lexer-srcloc
-   [(eof) eof]
    [(:or (from/to "/*" "*/")
          (from/to "//" #\newline)) (token 'COMMENT lexeme #:skip? #t)]
    [whitespace (token lexeme #:skip? #t)]

beautiful-racket-demo/jsonic-demo-2/tokenizer.rkt

@@ -18,7 +18,6 @@
   (define (next-token)
     (define jsonic-lexer
       (lexer
-       [(eof) eof]
        [(from/to "//" "\n") (next-token)]
        [(from/to "@$" "$@")
         (token 'SEXP-TOK (trim-ends "@$" lexeme "$@")

beautiful-racket-demo/jsonic-demo-3/tokenizer.rkt

@@ -18,7 +18,6 @@
   (define (next-token)
     (define jsonic-lexer
       (lexer
-       [(eof) eof]
        [(from/to "//" "\n") (next-token)]
        [(from/to "@$" "$@")
         (token 'SEXP-TOK (trim-ends "@$" lexeme "$@")

beautiful-racket-demo/jsonic-demo/tokenizer.rkt

@@ -5,7 +5,6 @@
   (define (next-token)
     (define jsonic-lexer
       (lexer
-       [(eof) eof]
        [(from/to "//" "\n") (next-token)]
        [(from/to "@$" "$@")
         (token 'SEXP-TOK (trim-ends "@$" lexeme "$@"))]

beautiful-racket-demo/txtadv-demo/tokenizer.rkt

@@ -7,7 +7,6 @@
   (define (next-token)
     (define get-token
       (lexer
-       [(eof) eof]
        [(union
          (:seq "/*" (complement (:seq any-string "*/" any-string)) "*/")
          (:seq "//" (repetition 1 +inf.0 (char-complement #\newline)) #\newline))