changed layout benches to print the blogs in a way that's independent…

… of internal type names
iu-parfunc · Feb 21, 2024 · c6b38d2 · c6b38d2
1 parent 6062341
commit c6b38d2
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 5,337 deletions.
diff --git a/gibbon-compiler/examples/layout_bench/Basics.hs b/gibbon-compiler/examples/layout_bench/Basics.hs
@@ -588,6 +588,8 @@ printID id = case id of
 
 printBlog :: Blog -> () 
 printBlog blog = case blog of 
+                    End -> let _ = printsym (quote "Fin")
+                           in ()
                     Layout1 header id author date content tags rst -> let _ = printsym (quote "Layout1 ")
                                                                           _ = printHeader header
                                                                           _ = printID id 

diff --git a/gibbon-compiler/examples/layout_bench/manyFuncs.hs b/gibbon-compiler/examples/layout_bench/manyFuncs.hs
@@ -47,4 +47,4 @@ gibbon_main =
        newblgs   = emphKeywordInContent keyword blogs
        newblgs'  = emphKeywordInTag keyword newblgs 
        newblgs'' = filterByKeywordInTagList keyword newblgs'
-   in printPacked newblgs''
+   in printBlog newblgs''