From 9089ecf10d2fdb4b47cbc58968c68480835b2760 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Fri, 30 Aug 2013 13:37:10 -0400 Subject: [PATCH] switch to read-html-as-xml for local files --- pkgs/htdp-pkgs/htdp-lib/2htdp/batch-io.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/htdp-pkgs/htdp-lib/2htdp/batch-io.rkt b/pkgs/htdp-pkgs/htdp-lib/2htdp/batch-io.rkt index 7d6332cf55..e683fcfbd0 100644 --- a/pkgs/htdp-pkgs/htdp-lib/2htdp/batch-io.rkt +++ b/pkgs/htdp-pkgs/htdp-lib/2htdp/batch-io.rkt @@ -329,8 +329,8 @@ ;; Symbol String [XML -> XML] -> Xexpr ;; read an Xexpr from a file that contains one XML element (define (read-xexpr-aux tag f fix-up) - (define raw (read-from-file-or-device f read-xml/element)) - (check-result 'read-plain-xexpr xexpr? 'xexpr (xml->xexpr (fix-up raw)))) + (define raw (read-from-file-or-device f read-html-as-xml #;read-xml/element)) + (check-result 'read-plain-xexpr xexpr? 'xexpr (xml->xexpr (fix-up (first raw))))) ;; Symbol String [XML -> XML] -> Xexpr (define (read-xexpr/web-aux tag url:string fix-up)