Update plts

ayazhafiz · Nov 14, 2023 · 773fd67 · 773fd67
1 parent b49a195
commit 773fd67
Show file tree

Hide file tree

Showing 26 changed files with 93 additions and 37 deletions.
diff --git a/_gatsby/slices/_gatsby-scripts-1.html b/_gatsby/slices/_gatsby-scripts-1.html
@@ -4,4 +4,4 @@
           >
             window.___chunkMapping="{\"app\":[\"/app-ecd620ff24c29127ccc4.js\"],\"component---src-pages-index-mdx\":[\"/component---src-pages-index-mdx-4760b6bfee29e49c10f2.js\"],\"component---src-pages-playground-co-lc-tsx\":[\"/component---src-pages-playground-co-lc-tsx-a5e4e4e9ee6ae2399f35.js\"],\"component---src-pages-playground-cor-compose-fx-tsx\":[\"/component---src-pages-playground-cor-compose-fx-tsx-e87aa66ef4a285312360.js\"],\"component---src-pages-playground-cor-easy-tags-tsx\":[\"/component---src-pages-playground-cor-easy-tags-tsx-aa2b1220070839547a3f.js\"],\"component---src-pages-playground-cor-refine-tsx\":[\"/component---src-pages-playground-cor-refine-tsx-47fe70072d861f133000.js\"],\"component---src-pages-playground-cor-uls-tsx\":[\"/component---src-pages-playground-cor-uls-tsx-14e2f02f13e4b8b16937.js\"],\"component---src-pages-playground-ft-tsx\":[\"/component---src-pages-playground-ft-tsx-14b3b6d5b2482446c2fb.js\"],\"component---src-pages-playground-gtlc-tsx\":[\"/component---src-pages-playground-gtlc-tsx-5c063c8313edd7ec6e1c.js\"],\"component---src-pages-playground-ho-21-tsx\":[\"/component---src-pages-playground-ho-21-tsx-246b9e647564b2bc4197.js\"],\"component---src-pages-playground-tal-tsx\":[\"/component---src-pages-playground-tal-tsx-378cfa16cad093bb5da0.js\"],\"component---src-pages-playground-tiger-tsx\":[\"/component---src-pages-playground-tiger-tsx-fa3243292f5523319bba.js\"]}";
           </script>
-        <script>window.___webpackCompilationHash="d7454456a4ca6e606d22";</script><script src="/plts/webpack-runtime-b5d2f80d64534358ac2e.js" async></script><script src="/plts/framework-17c6fd0db2b9e487b34d.js" async></script><script src="/plts/app-ecd620ff24c29127ccc4.js" async></script>
+        <script>window.___webpackCompilationHash="1abf6bf3f946f98e36fe";</script><script src="/plts/webpack-runtime-c6a50d49515701b642bc.js" async></script><script src="/plts/framework-17c6fd0db2b9e487b34d.js" async></script><script src="/plts/app-ecd620ff24c29127ccc4.js" async></script>
diff --git a/c01f44c9-9fd63ee083fd0cad24a1.js b/c01f44c9-9fd63ee083fd0cad24a1.js
diff --git a/c01f44c9-9fd63ee083fd0cad24a1.js.map b/c01f44c9-9fd63ee083fd0cad24a1.js.map
diff --git a/c01f44c9-eedc11c838313ae0c4af.js b/c01f44c9-eedc11c838313ae0c4af.js
diff --git a/c01f44c9-eedc11c838313ae0c4af.js.map b/c01f44c9-eedc11c838313ae0c4af.js.map
diff --git a/commons-7a4deab8ec5cc92b2a3c.js → commons-cbb16f1cc3b5d93ed22b.js b/commons-7a4deab8ec5cc92b2a3c.js → commons-cbb16f1cc3b5d93ed22b.js
diff --git a/commons-7a4deab8ec5cc92b2a3c.js.LICENSE.txt → commons-cbb16f1cc3b5d93ed22b.js.LICENSE.txt b/commons-7a4deab8ec5cc92b2a3c.js.LICENSE.txt → commons-cbb16f1cc3b5d93ed22b.js.LICENSE.txt
diff --git a/commons-7a4deab8ec5cc92b2a3c.js.map → commons-cbb16f1cc3b5d93ed22b.js.map b/commons-7a4deab8ec5cc92b2a3c.js.map → commons-cbb16f1cc3b5d93ed22b.js.map
diff --git a/index.html b/index.html
diff --git a/page-data/app-data.json b/page-data/app-data.json
@@ -1 +1 @@
-{"webpackCompilationHash":"d7454456a4ca6e606d22"}
+{"webpackCompilationHash":"1abf6bf3f946f98e36fe"}
diff --git a/page-data/sq/d/1214908427.json b/page-data/sq/d/1214908427.json
@@ -1 +1 @@
-{"data":{"allFile":{"nodes":[{"publicURL":"/plts/static/b69cf8b017ef757438e5372c9245ca89/basic-resolve.roc","relativePath":"experiments/uls/test/basic-resolve.roc"},{"publicURL":"/plts/static/f26d863ff1ca2dd907d96584e2c3991e/choice.roc","relativePath":"experiments/uls/test/choice.roc"},{"publicURL":"/plts/static/98eaf94b8fdaf18d241b063ce45b3456/generalized-alias.roc","relativePath":"experiments/uls/test/generalized-alias.roc"},{"publicURL":"/plts/static/07c287a3cb0f664e5d8b58aba290dd01/prototype-chain.roc","relativePath":"experiments/uls/test/prototype-chain.roc"},{"publicURL":"/plts/static/7ea2725f67b0a7caf6466103fe9780a0/multi-pattern-branch.roc","relativePath":"experiments/refine/test/multi-pattern-branch.roc"},{"publicURL":"/plts/static/423f9a20679b2f1fe5c72fc72d2898e2/refine-deep-nesting.roc","relativePath":"experiments/refine/test/refine-deep-nesting.roc"},{"publicURL":"/plts/static/60c4fded2c8e810eeec781db5a20cfa2/refine-larger.roc","relativePath":"experiments/refine/test/refine-larger.roc"},{"publicURL":"/plts/static/fdd33654dda14c92640e4b3e410fb5f7/refine-smaller.roc","relativePath":"experiments/refine/test/refine-smaller.roc"},{"publicURL":"/plts/static/d3c124c9309d160e59850679d9d2ce00/branch.roc","relativePath":"experiments/easy_tags/test/branch.roc"},{"publicURL":"/plts/static/8aa4c8c35d9c9d487ca8b63cf8289eb5/decision-tree.roc","relativePath":"experiments/refine/test/decision-tree.roc"},{"publicURL":"/plts/static/55785802121ba8684b2abf654ef8997a/inout.roc","relativePath":"experiments/compose_fx/test/inout.roc"}]}}}
+{"data":{"allFile":{"nodes":[{"publicURL":"/plts/static/b69cf8b017ef757438e5372c9245ca89/basic-resolve.roc","relativePath":"experiments/uls/test/basic-resolve.roc"},{"publicURL":"/plts/static/f26d863ff1ca2dd907d96584e2c3991e/choice.roc","relativePath":"experiments/uls/test/choice.roc"},{"publicURL":"/plts/static/98eaf94b8fdaf18d241b063ce45b3456/generalized-alias.roc","relativePath":"experiments/uls/test/generalized-alias.roc"},{"publicURL":"/plts/static/07c287a3cb0f664e5d8b58aba290dd01/prototype-chain.roc","relativePath":"experiments/uls/test/prototype-chain.roc"},{"publicURL":"/plts/static/8aa4c8c35d9c9d487ca8b63cf8289eb5/decision-tree.roc","relativePath":"experiments/refine/test/decision-tree.roc"},{"publicURL":"/plts/static/7ea2725f67b0a7caf6466103fe9780a0/multi-pattern-branch.roc","relativePath":"experiments/refine/test/multi-pattern-branch.roc"},{"publicURL":"/plts/static/60c4fded2c8e810eeec781db5a20cfa2/refine-larger.roc","relativePath":"experiments/refine/test/refine-larger.roc"},{"publicURL":"/plts/static/fdd33654dda14c92640e4b3e410fb5f7/refine-smaller.roc","relativePath":"experiments/refine/test/refine-smaller.roc"},{"publicURL":"/plts/static/4b73e59db55a05da02535e3c361bddbc/inout.roc","relativePath":"experiments/compose_fx/test/inout.roc"},{"publicURL":"/plts/static/423f9a20679b2f1fe5c72fc72d2898e2/refine-deep-nesting.roc","relativePath":"experiments/refine/test/refine-deep-nesting.roc"},{"publicURL":"/plts/static/d3c124c9309d160e59850679d9d2ce00/branch.roc","relativePath":"experiments/easy_tags/test/branch.roc"}]}}}
diff --git a/page-data/sq/d/2477728471.json b/page-data/sq/d/2477728471.json
@@ -1 +1 @@
-{"data":{"allFile":{"nodes":[{"publicURL":"/plts/static/ee670045dad854e2e30c3a67d8adea23/add.co","relativePath":"test/add.co"},{"publicURL":"/plts/static/41455d4f69dce3e111b4074d4f2afdbf/call.co","relativePath":"test/call.co"},{"publicURL":"/plts/static/d9ee34fb84174ebb6c8fc5f65c0ef30a/closure.co","relativePath":"test/closure.co"},{"publicURL":"/plts/static/04ac0e22b5e590e6c7b3a2dcbac3c5b7/conditional_dispatch.co","relativePath":"test/conditional_dispatch.co"},{"publicURL":"/plts/static/b4f9d035612ab4728e83a72469a0dec6/fiber.co","relativePath":"test/fiber.co"},{"publicURL":"/plts/static/c3d62d73081b6ad49f6e6be87e1e1dc6/readback_fiber.co","relativePath":"test/readback_fiber.co"},{"publicURL":"/plts/static/f55ee54dc4043441252e0c39cbb29329/readback_lambda_set.co","relativePath":"test/readback_lambda_set.co"},{"publicURL":"/plts/static/c2a4ceb8c63f48ce8b3173edcd9144e0/fib.co","relativePath":"test/fib.co"},{"publicURL":"/plts/static/0d561f27a4939a0c48cb87c435836c8c/recursive_call_fibonacci.co","relativePath":"test/recursive_call_fibonacci.co"},{"publicURL":"/plts/static/45ec0d603ace84bac1c3b92aa4eaf079/recursive_call_factorial.co","relativePath":"test/recursive_call_factorial.co"},{"publicURL":"/plts/static/f4f03efa85dc755631646d077f6149f4/recursive_closure.co","relativePath":"test/recursive_closure.co"},{"publicURL":"/plts/static/ebca15a960515cd24a1c86ae79e40e1a/resume_repeated.co","relativePath":"test/resume_repeated.co"},{"publicURL":"/plts/static/9eb49c0ba561d564475444908006b134/spawn_capturing.co","relativePath":"test/spawn_capturing.co"},{"publicURL":"/plts/static/c9e020e2d7e6e066bffe756420dc370b/sub.co","relativePath":"test/sub.co"},{"publicURL":"/plts/static/fb79be2b142fc28798e826215b6fc747/tco.co","relativePath":"test/tco.co"},{"publicURL":"/plts/static/8a8b87051e33c6e8a3d16f34b284e828/tuple.co","relativePath":"test/tuple.co"}]}}}
+{"data":{"allFile":{"nodes":[{"publicURL":"/plts/static/ee670045dad854e2e30c3a67d8adea23/add.co","relativePath":"test/add.co"},{"publicURL":"/plts/static/41455d4f69dce3e111b4074d4f2afdbf/call.co","relativePath":"test/call.co"},{"publicURL":"/plts/static/d9ee34fb84174ebb6c8fc5f65c0ef30a/closure.co","relativePath":"test/closure.co"},{"publicURL":"/plts/static/04ac0e22b5e590e6c7b3a2dcbac3c5b7/conditional_dispatch.co","relativePath":"test/conditional_dispatch.co"},{"publicURL":"/plts/static/c2a4ceb8c63f48ce8b3173edcd9144e0/fib.co","relativePath":"test/fib.co"},{"publicURL":"/plts/static/b4f9d035612ab4728e83a72469a0dec6/fiber.co","relativePath":"test/fiber.co"},{"publicURL":"/plts/static/c3d62d73081b6ad49f6e6be87e1e1dc6/readback_fiber.co","relativePath":"test/readback_fiber.co"},{"publicURL":"/plts/static/f55ee54dc4043441252e0c39cbb29329/readback_lambda_set.co","relativePath":"test/readback_lambda_set.co"},{"publicURL":"/plts/static/45ec0d603ace84bac1c3b92aa4eaf079/recursive_call_factorial.co","relativePath":"test/recursive_call_factorial.co"},{"publicURL":"/plts/static/0d561f27a4939a0c48cb87c435836c8c/recursive_call_fibonacci.co","relativePath":"test/recursive_call_fibonacci.co"},{"publicURL":"/plts/static/f4f03efa85dc755631646d077f6149f4/recursive_closure.co","relativePath":"test/recursive_closure.co"},{"publicURL":"/plts/static/ebca15a960515cd24a1c86ae79e40e1a/resume_repeated.co","relativePath":"test/resume_repeated.co"},{"publicURL":"/plts/static/9eb49c0ba561d564475444908006b134/spawn_capturing.co","relativePath":"test/spawn_capturing.co"},{"publicURL":"/plts/static/c9e020e2d7e6e066bffe756420dc370b/sub.co","relativePath":"test/sub.co"},{"publicURL":"/plts/static/fb79be2b142fc28798e826215b6fc747/tco.co","relativePath":"test/tco.co"},{"publicURL":"/plts/static/8a8b87051e33c6e8a3d16f34b284e828/tuple.co","relativePath":"test/tuple.co"}]}}}
diff --git a/playground/co_lc/index.html b/playground/co_lc/index.html
diff --git a/playground/cor/compose_fx/index.html b/playground/cor/compose_fx/index.html
diff --git a/playground/cor/easy_tags/index.html b/playground/cor/easy_tags/index.html
diff --git a/playground/cor/refine/index.html b/playground/cor/refine/index.html
diff --git a/playground/cor/uls/index.html b/playground/cor/uls/index.html
diff --git a/playground/ft/index.html b/playground/ft/index.html
diff --git a/playground/gtlc/index.html b/playground/gtlc/index.html
@@ -56,10 +56,10 @@
 </ul>
 </li>
 </ul>
-<p><a href="https://github.com/ayazhafiz/plts/blob/base/gtlc/parser.mly">Full Parser Specification</a></p></div></div></details></div><a href="https://github.com/ayazhafiz/plts/tree/base/gtlc" class="Link__StyledLink-sc-14289xe-0 eSZjAT">Source</a></div><select class="sc-eqUAAy crhJtK form-select"><option value="Infer">Infer</option><option value="Compiler IR">Compiler IR</option><option value="TypeScript">TypeScript</option><option value="C" selected="">C</option></select></div><div id="input-editor" class="Box-sc-g0xbh4-0 eObgGn"></div></div><div display="flex" height="100vh" class="Box-sc-g0xbh4-0 gtIEMg"><div style="display:flex" class="Box-sc-g0xbh4-0 jqRVUE"><div display="flex" class="Box-sc-g0xbh4-0 iCNGLU"><h1 class="Heading__StyledHeading-sc-1c1dgg0-0 jXhLjW">C</h1><span class="sc-fqkvVR bHnObs"><input id="optimize" type="checkbox" checked=""/><label for="optimize" class="sc-gEvEer gGPIhf">optimize</label></span><span class="sc-fqkvVR bHnObs"><label for="width" class="sc-gEvEer">width</label><span class="TextInputWrapper__TextInputBaseWrapper-sc-1mqhpbi-0 TextInputWrapper-sc-1mqhpbi-1 ezCnSt kMVClG TextInput-wrapper" aria-busy="false"><input type="number" id="width" min="0" max="120" data-component="input" class="UnstyledTextInput-sc-14ypya-0 kbCLEG" value="55"/></span></span><span class="sc-fqkvVR dcdJSO"><span class="Label__StyledLabel-sc-1dgcne-0 gPbyDt"><a href="https://github.com/ayazhafiz/plts/commit/4e948fd" class="sc-aXZVg iFjviq">4e948fd</a></span></span></div><div display="none" class="Box-sc-g0xbh4-0 iqxvIJ"><pre></pre></div><div display="flex" class="Box-sc-g0xbh4-0 bzniqP"><div display="flex" class="Box-sc-g0xbh4-0 dOJVfT"><div id="backend-editor1" class="Box-sc-g0xbh4-0 eObgGn"></div></div></div></div><div style="display:flex" class="Box-sc-g0xbh4-0 giOQJj"><div display="flex" class="Box-sc-g0xbh4-0 iCNGLU"><h1 class="Heading__StyledHeading-sc-1c1dgg0-0 jXhLjW">Execution (Clang 12.0.1, -O3)</h1><span class="sc-fqkvVR bHnObs"><label for="width" class="sc-gEvEer">width</label><span class="TextInputWrapper__TextInputBaseWrapper-sc-1mqhpbi-0 TextInputWrapper-sc-1mqhpbi-1 ezCnSt kMVClG TextInput-wrapper" aria-busy="false"><input type="number" id="width" min="0" max="120" data-component="input" class="UnstyledTextInput-sc-14ypya-0 kbCLEG" value="55"/></span></span></div><div display="none" class="Box-sc-g0xbh4-0 iqxvIJ"><pre></pre></div><div display="flex" class="Box-sc-g0xbh4-0 bzniqP"><div display="flex" class="Box-sc-g0xbh4-0 dOJVfT"><div id="backend-editor2" class="Box-sc-g0xbh4-0 eObgGn"></div></div></div></div></div></div></div></div></div><div id="gatsby-announcer" style="position:absolute;top:0;width:1px;height:1px;padding:0;overflow:hidden;clip:rect(0, 0, 0, 0);white-space:nowrap;border:0" aria-live="assertive" aria-atomic="true"></div></div><script id="gatsby-script-loader">/*<![CDATA[*/window.pagePath="/playground/gtlc/";/*]]>*/</script><!-- slice-start id="_gatsby-scripts-1" -->
+<p><a href="https://github.com/ayazhafiz/plts/blob/base/gtlc/parser.mly">Full Parser Specification</a></p></div></div></details></div><a href="https://github.com/ayazhafiz/plts/tree/base/gtlc" class="Link__StyledLink-sc-14289xe-0 eSZjAT">Source</a></div><select class="sc-eqUAAy crhJtK form-select"><option value="Infer">Infer</option><option value="Compiler IR">Compiler IR</option><option value="TypeScript">TypeScript</option><option value="C" selected="">C</option></select></div><div id="input-editor" class="Box-sc-g0xbh4-0 eObgGn"></div></div><div display="flex" height="100vh" class="Box-sc-g0xbh4-0 gtIEMg"><div style="display:flex" class="Box-sc-g0xbh4-0 jqRVUE"><div display="flex" class="Box-sc-g0xbh4-0 iCNGLU"><h1 class="Heading__StyledHeading-sc-1c1dgg0-0 jXhLjW">C</h1><span class="sc-fqkvVR bHnObs"><input id="optimize" type="checkbox" checked=""/><label for="optimize" class="sc-gEvEer gGPIhf">optimize</label></span><span class="sc-fqkvVR bHnObs"><label for="width" class="sc-gEvEer">width</label><span class="TextInputWrapper__TextInputBaseWrapper-sc-1mqhpbi-0 TextInputWrapper-sc-1mqhpbi-1 ezCnSt kMVClG TextInput-wrapper" aria-busy="false"><input type="number" id="width" min="0" max="120" data-component="input" class="UnstyledTextInput-sc-14ypya-0 kbCLEG" value="55"/></span></span><span class="sc-fqkvVR dcdJSO"><span class="Label__StyledLabel-sc-1dgcne-0 gPbyDt"><a href="https://github.com/ayazhafiz/plts/commit/6c1667d" class="sc-aXZVg iFjviq">6c1667d</a></span></span></div><div display="none" class="Box-sc-g0xbh4-0 iqxvIJ"><pre></pre></div><div display="flex" class="Box-sc-g0xbh4-0 bzniqP"><div display="flex" class="Box-sc-g0xbh4-0 dOJVfT"><div id="backend-editor1" class="Box-sc-g0xbh4-0 eObgGn"></div></div></div></div><div style="display:flex" class="Box-sc-g0xbh4-0 giOQJj"><div display="flex" class="Box-sc-g0xbh4-0 iCNGLU"><h1 class="Heading__StyledHeading-sc-1c1dgg0-0 jXhLjW">Execution (Clang 12.0.1, -O3)</h1><span class="sc-fqkvVR bHnObs"><label for="width" class="sc-gEvEer">width</label><span class="TextInputWrapper__TextInputBaseWrapper-sc-1mqhpbi-0 TextInputWrapper-sc-1mqhpbi-1 ezCnSt kMVClG TextInput-wrapper" aria-busy="false"><input type="number" id="width" min="0" max="120" data-component="input" class="UnstyledTextInput-sc-14ypya-0 kbCLEG" value="55"/></span></span></div><div display="none" class="Box-sc-g0xbh4-0 iqxvIJ"><pre></pre></div><div display="flex" class="Box-sc-g0xbh4-0 bzniqP"><div display="flex" class="Box-sc-g0xbh4-0 dOJVfT"><div id="backend-editor2" class="Box-sc-g0xbh4-0 eObgGn"></div></div></div></div></div></div></div></div></div><div id="gatsby-announcer" style="position:absolute;top:0;width:1px;height:1px;padding:0;overflow:hidden;clip:rect(0, 0, 0, 0);white-space:nowrap;border:0" aria-live="assertive" aria-atomic="true"></div></div><script id="gatsby-script-loader">/*<![CDATA[*/window.pagePath="/playground/gtlc/";/*]]>*/</script><!-- slice-start id="_gatsby-scripts-1" -->
           <script
             id="gatsby-chunk-mapping"
           >
             window.___chunkMapping="{\"app\":[\"/app-ecd620ff24c29127ccc4.js\"],\"component---src-pages-index-mdx\":[\"/component---src-pages-index-mdx-4760b6bfee29e49c10f2.js\"],\"component---src-pages-playground-co-lc-tsx\":[\"/component---src-pages-playground-co-lc-tsx-a5e4e4e9ee6ae2399f35.js\"],\"component---src-pages-playground-cor-compose-fx-tsx\":[\"/component---src-pages-playground-cor-compose-fx-tsx-e87aa66ef4a285312360.js\"],\"component---src-pages-playground-cor-easy-tags-tsx\":[\"/component---src-pages-playground-cor-easy-tags-tsx-aa2b1220070839547a3f.js\"],\"component---src-pages-playground-cor-refine-tsx\":[\"/component---src-pages-playground-cor-refine-tsx-47fe70072d861f133000.js\"],\"component---src-pages-playground-cor-uls-tsx\":[\"/component---src-pages-playground-cor-uls-tsx-14e2f02f13e4b8b16937.js\"],\"component---src-pages-playground-ft-tsx\":[\"/component---src-pages-playground-ft-tsx-14b3b6d5b2482446c2fb.js\"],\"component---src-pages-playground-gtlc-tsx\":[\"/component---src-pages-playground-gtlc-tsx-5c063c8313edd7ec6e1c.js\"],\"component---src-pages-playground-ho-21-tsx\":[\"/component---src-pages-playground-ho-21-tsx-246b9e647564b2bc4197.js\"],\"component---src-pages-playground-tal-tsx\":[\"/component---src-pages-playground-tal-tsx-378cfa16cad093bb5da0.js\"],\"component---src-pages-playground-tiger-tsx\":[\"/component---src-pages-playground-tiger-tsx-fa3243292f5523319bba.js\"]}";
           </script>
-        <script>window.___webpackCompilationHash="d7454456a4ca6e606d22";</script><script src="/plts/webpack-runtime-b5d2f80d64534358ac2e.js" async></script><script src="/plts/framework-17c6fd0db2b9e487b34d.js" async></script><script src="/plts/app-ecd620ff24c29127ccc4.js" async></script><!-- slice-end id="_gatsby-scripts-1" --></body></html>
+        <script>window.___webpackCompilationHash="1abf6bf3f946f98e36fe";</script><script src="/plts/webpack-runtime-c6a50d49515701b642bc.js" async></script><script src="/plts/framework-17c6fd0db2b9e487b34d.js" async></script><script src="/plts/app-ecd620ff24c29127ccc4.js" async></script><!-- slice-end id="_gatsby-scripts-1" --></body></html>