# HG changeset patch # User Karn Kallio # Date 1311494767 16200 # Node ID 7eea7ff1904ce776c4c44a6baea357499e7eb906 # Parent a40cf9c8d615616d7d84abfff501583e91f36548 Handle case of finish on self-closing tag. diff -r a40cf9c8d615 -r 7eea7ff1904c src/ur/feed.ur --- a/src/ur/feed.ur Tue Jul 19 09:29:34 2011 -0400 +++ b/src/ur/feed.ur Sun Jul 24 03:36:07 2011 -0430 @@ -373,6 +373,11 @@ recur xml acc (if cont then state else p.Initial)) | Some (data, cont) => acc <- f data acc; + state <- return (if ended then + Option.get p.Initial (p.ExitTag state) + else + state); + recur xml acc (if cont then state else p.Initial) end in