alternatives for showing internal type names

iu-parfunc · Feb 21, 2024 · 6062341 · 6062341
1 parent 86c50d6
commit 6062341
Show file tree

Hide file tree

Showing 10 changed files with 9,501 additions and 7 deletions.
diff --git a/gibbon-compiler/examples/layout_bench/ir.log b/gibbon-compiler/examples/layout_bench/ir.log
diff --git a/gibbon-compiler/examples/layout_bench/layout1ContentSearchRunPipeline.hs b/gibbon-compiler/examples/layout_bench/layout1ContentSearchRunPipeline.hs
@@ -18,4 +18,5 @@ gibbon_main =
        keyword :: Vector Char  
        keyword = "a"
        newblgs = emphKeywordInContent keyword blogs
-   in printPacked newblgs
+   --in printPacked newblgs
+   in printBlog newblgs
diff --git a/gibbon-compiler/examples/layout_bench/manyFuncsGlobal.ans b/gibbon-compiler/examples/layout_bench/manyFuncsGlobal.ans
@@ -1 +1 @@
-(Layout4  ->i  ->i  ->i (TagList (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Nil_v_1132))))))))))))  ->i (Content (Plain (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131 (Emph (Cons_v_1131 (Emph (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))) (Nil_v_1131))) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector)  ->r (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131 (Emph (Cons_v_1131 (Emph (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))) (Nil_v_1131))) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))))))))))))))))))))))))))))))))))))))))))))))))))))) (Layout4  ->i  ->i  ->i (TagList (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Nil_v_1132))))))))))))  ->i (Content (Plain (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131 (Emph (Cons_v_1131 (Emph (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))) (Nil_v_1131))) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))))))))))))))))))))))))))))))))))))))))))))))))))))) (End)  ->i  ->i  ->i (Header Vector)  ->i  ->i  ->i (ID 9)  ->i  ->i  ->i (Author Vector)  ->i  ->i  ->i (Date Vector))  ->i  ->i  ->i (Header Vector)  ->i  ->i  ->i (ID 8)  ->i  ->i  ->i (Author Vector)  ->i  ->i  ->i (Date Vector))'#()
+(Layout4198  ->i  ->i  ->i (TagList203 (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Nil128_v1293))))))))))))  ->i (Content204 (Plain209 (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292 (Emph212 (Cons129_v1292 (Emph212 (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))) (Nil128_v1292))) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector)  ->r (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292 (Emph212 (Cons129_v1292 (Emph212 (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))) (Nil128_v1292))) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))))))))))))))))))))))))))))))))))))))))))))))))))))) (Layout4198  ->i  ->i  ->i (TagList203 (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Nil128_v1293))))))))))))  ->i (Content204 (Plain209 (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292 (Emph212 (Cons129_v1292 (Emph212 (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))) (Nil128_v1292))) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))))))))))))))))))))))))))))))))))))))))))))))))))))) (End194)  ->i  ->i  ->i (Header208 Vector)  ->i  ->i  ->i (ID207 9)  ->i  ->i  ->i (Author206 Vector)  ->i  ->i  ->i (Date205 Vector))  ->i  ->i  ->i (Header208 Vector)  ->i  ->i  ->i (ID207 8)  ->i  ->i  ->i (Author206 Vector)  ->i  ->i  ->i (Date205 Vector))'#()
diff --git a/gibbon-compiler/examples/layout_bench/manyFuncsLocal.ans b/gibbon-compiler/examples/layout_bench/manyFuncsLocal.ans
@@ -1 +1 @@
-(Layout4  ->i  ->i  ->i (TagList (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Nil_v_1132))))))))))))  ->i (Content (Plain (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131 (Emph (Cons_v_1131 (Emph (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))) (Nil_v_1131))) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))))))))))))))))))))))))))))))))))))))))))))))))))))) (Layout4  ->i  ->i  ->i (TagList (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Nil_v_1132))))))))))))  ->i (Content (Plain (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131 (Emph (Cons_v_1131 (Emph (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))) (Nil_v_1131))) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector)  ->r (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131 (Emph (Cons_v_1131 (Emph (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))) (Nil_v_1131))) (Cons_v_1131  ->i (Str Vector) (Cons_v_1131  ->i (Str Vector) (Nil_v_1131))))))))))))))))))))))))))))))))))))))))))))))))))))) (End)  ->i  ->i  ->i (Header Vector)  ->i  ->i  ->i (ID 9)  ->i  ->i  ->i (Author Vector)  ->i  ->i  ->i (Date Vector))  ->i  ->i  ->i (Header Vector)  ->i  ->i  ->i (ID 8)  ->i  ->i  ->i (Author Vector)  ->i  ->i  ->i (Date Vector))'#()
+(Layout4198  ->i  ->i  ->i (TagList203 (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Nil128_v1293))))))))))))  ->i (Content204 (Plain209 (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292 (Emph212 (Cons129_v1292 (Emph212 (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))) (Nil128_v1292))) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))))))))))))))))))))))))))))))))))))))))))))))))))))) (Layout4198  ->i  ->i  ->i (TagList203 (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Nil128_v1293))))))))))))  ->i (Content204 (Plain209 (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292 (Emph212 (Cons129_v1292 (Emph212 (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))) (Nil128_v1292))) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector)  ->r (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292 (Emph212 (Cons129_v1292 (Emph212 (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))) (Nil128_v1292))) (Cons129_v1292  ->i (Str211 Vector) (Cons129_v1292  ->i (Str211 Vector) (Nil128_v1292))))))))))))))))))))))))))))))))))))))))))))))))))))) (End194)  ->i  ->i  ->i (Header208 Vector)  ->i  ->i  ->i (ID207 9)  ->i  ->i  ->i (Author206 Vector)  ->i  ->i  ->i (Date205 Vector))  ->i  ->i  ->i (Header208 Vector)  ->i  ->i  ->i (ID207 8)  ->i  ->i  ->i (Author206 Vector)  ->i  ->i  ->i (Date205 Vector))'#()
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		(Layout4 ->i ->i ->i (TagList (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Nil_v_1132)))))))))))) ->i (Content (Plain (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 (Emph (Cons_v_1131 (Emph (Cons_v_1131 ->i (Str Vector) (Nil_v_1131))) (Nil_v_1131))) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) ->r (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 (Emph (Cons_v_1131 (Emph (Cons_v_1131 ->i (Str Vector) (Nil_v_1131))) (Nil_v_1131))) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Nil_v_1131))))))))))))))))))))))))))))))))))))))))))))))))))))) (Layout4 ->i ->i ->i (TagList (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Cons_v_1132 Vector (Nil_v_1132)))))))))))) ->i (Content (Plain (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 (Emph (Cons_v_1131 (Emph (Cons_v_1131 ->i (Str Vector) (Nil_v_1131))) (Nil_v_1131))) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Cons_v_1131 ->i (Str Vector) (Nil_v_1131))))))))))))))))))))))))))))))))))))))))))))))))))))) (End) ->i ->i ->i (Header Vector) ->i ->i ->i (ID 9) ->i ->i ->i (Author Vector) ->i ->i ->i (Date Vector)) ->i ->i ->i (Header Vector) ->i ->i ->i (ID 8) ->i ->i ->i (Author Vector) ->i ->i ->i (Date Vector))'#()
		(Layout4198 ->i ->i ->i (TagList203 (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Nil128_v1293)))))))))))) ->i (Content204 (Plain209 (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 (Emph212 (Cons129_v1292 (Emph212 (Cons129_v1292 ->i (Str211 Vector) (Nil128_v1292))) (Nil128_v1292))) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) ->r (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 (Emph212 (Cons129_v1292 (Emph212 (Cons129_v1292 ->i (Str211 Vector) (Nil128_v1292))) (Nil128_v1292))) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Nil128_v1292))))))))))))))))))))))))))))))))))))))))))))))))))))) (Layout4198 ->i ->i ->i (TagList203 (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Cons129_v1293 Vector (Nil128_v1293)))))))))))) ->i (Content204 (Plain209 (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 (Emph212 (Cons129_v1292 (Emph212 (Cons129_v1292 ->i (Str211 Vector) (Nil128_v1292))) (Nil128_v1292))) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Cons129_v1292 ->i (Str211 Vector) (Nil128_v1292))))))))))))))))))))))))))))))))))))))))))))))))))))) (End194) ->i ->i ->i (Header208 Vector) ->i ->i ->i (ID207 9) ->i ->i ->i (Author206 Vector) ->i ->i ->i (Date205 Vector)) ->i ->i ->i (Header208 Vector) ->i ->i ->i (ID207 8) ->i ->i ->i (Author206 Vector) ->i ->i ->i (Date205 Vector))'#()