changeset 22:923e097e9ba3

Simplify Reddit example
author Adam Chlipala <adam@chlipala.net>
date Sat, 29 Sep 2012 10:32:44 -0400
parents 7275f59cab61
children e1e451cf85bb
files tests/reddit.ur
diffstat 1 files changed, 10 insertions(+), 13 deletions(-) [+]
line wrap: on
line diff
--- a/tests/reddit.ur	Sat Sep 29 10:30:00 2012 -0400
+++ b/tests/reddit.ur	Sat Sep 29 10:32:44 2012 -0400
@@ -2,20 +2,17 @@
     doc <- Feed.fetch "http://www.reddit.com/?limit=30";
 
     acc <- Feed.app' (Feed.tree (Feed.tagAOR "div" {DataUps = "data-ups", Class = "class"} {Style = "style"})
-                                (Feed.tagAO "a" {Class = "class", Style = "style", Href = "href"}))
+                                (Feed.tagAOR "a" {Href = "href", Class = "class"} {Style = "style"}))
            (fn (div, a) (count, list) =>
-               return (case a.Href of
-                           None => (count, list)
-                         | Some link =>
-                           if count >= 30
-                              || not (String.isPrefix {Full = div.Class, Prefix = " thing "})
-                              || Option.isSome (String.sindex {Haystack = div.Class, Needle = "promoted"})
-                              || div.Style = Some "display:none"
-                              || a.Class <> Some "title "
-                              || a.Style = Some "display:none" then
-                               (count, list)
-                           else
-                               (count + 1, link :: list)))
+               return (if count >= 30
+                          || not (String.isPrefix {Full = div.Class, Prefix = " thing "})
+                          || Option.isSome (String.sindex {Haystack = div.Class, Needle = "promoted"})
+                          || div.Style = Some "display:none"
+                          || a.Class <> "title "
+                          || a.Style = Some "display:none" then
+                           (count, list)
+                       else
+                           (count + 1, a.Href :: list)))
            doc (0, []);
 
     return <xml><body>