From af75ceeec37a1c8629b23b351ba16add05e7acad Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 9 Oct 2017 06:56:09 -0700
Subject: [PATCH] scribble/decode: fix problems with end-of-file section
starters
Closes #146
---
scribble-lib/scribble/decode.rkt | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/scribble-lib/scribble/decode.rkt b/scribble-lib/scribble/decode.rkt
index 463845b9..cf68d02c 100644
--- a/scribble-lib/scribble/decode.rkt
+++ b/scribble-lib/scribble/decode.rkt
@@ -258,9 +258,6 @@
[(list? (car l))
(loop (append (car l) (cdr l))
next? keys colls accum title tag-prefix tags vers style)]
- [(null? (cdr l))
- (loop null #f keys colls (cons (car l) accum) title tag-prefix tags
- vers style)]
[(part-index-decl? (car l))
(loop (cdr l) next? (cons (car l) keys) colls accum title tag-prefix
tags vers style)]
@@ -272,6 +269,9 @@
(loop (cdr l) next? keys colls accum title tag-prefix
(append tags (list (part-tag-decl-tag (car l))))
vers style)]
+ [(null? (cdr l))
+ (loop null #f keys colls (cons (car l) accum) title tag-prefix tags
+ vers style)]
[(and (pair? (cdr l))
(or (splice? (cadr l))
(list? (cadr l))))