load async

jpyamamoto · Oct 21, 2023 · bbde6ca · bbde6ca
1 parent b303afe
commit bbde6ca
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/alonzo/index.html b/alonzo/index.html
@@ -149,7 +149,7 @@ <h3>Herramientas:</h3>
       </ul>
     </section>
 
-    <script language="javascript" src="/interpreters.js" defer></script>
-    <script type="module" src="/main.js"></script>
+    <script language="javascript" src="/interpreters.js"></script>
+    <script type="module" src="/main.js" async defer></script>
   </body>
 </html>
diff --git a/alonzo/main.js b/alonzo/main.js
@@ -180,12 +180,20 @@ window.addEventListener('load', () => {
   const outputArea = outputSection.getElementsByTagName('code')[0];
   const exampleButton = document.getElementById('example');
 
-  const INTERPRETERS = {
+  let INTERPRETERS = {
     'untyped': window.untyped,
     'typed': window.typed,
     'systemf': window.systemF,
   };
 
+  setTimeout(function() {
+    INTERPRETERS = {
+      'untyped': window.untyped,
+      'typed': window.typed,
+      'systemf': window.systemF,
+    };
+  }, 1000);
+
   document.getElementById('reset').addEventListener('click', () => {
     flask.updateCode('');
   });