From a371c3ffcf2f269fc5a188cf4dee0e5acb72ac32 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@hashcollision.org>
Date: Wed, 27 Mar 2013 16:37:50 -0600
Subject: [PATCH] correcting the repl to use the loadAndInvoke method.

---
 whalesong/repl-prototype/htdocs/repl.js | 26 +++++++++++--------------
 1 file changed, 11 insertions(+), 15 deletions(-)

diff --git a/whalesong/repl-prototype/htdocs/repl.js b/whalesong/repl-prototype/htdocs/repl.js
index 6e3b625..492bb42 100644
--- a/whalesong/repl-prototype/htdocs/repl.js
+++ b/whalesong/repl-prototype/htdocs/repl.js
@@ -65,21 +65,17 @@ jQuery(document).ready(function() {
         // We then want to initialize the language module.
         var initializeLanguage = function(afterLanguageInitialization) {
             // Load up the language.
-            M.modules['whalesong/wescheme/lang/semantics.rkt'] =
-                M.installedModules['whalesong/wescheme/lang/semantics.rkt']();
-            
-            var semanticsModule =
-                M.modules['whalesong/wescheme/lang/semantics.rkt'];
-            semanticsModule.invoke(
-                M,
-                function() {
-                    M.params.currentNamespace = semanticsModule.getExports();
-                    afterLanguageInitialization();
-                },
-                function(M, err) {
-                    // Nothing should work if we can't get this to work.
-                    alert("uh oh!: language could not be loaded.");
-                });
+            M.loadAndInvoke('whalesong/wescheme/lang/semantics.rkt',
+                            function() {
+                                var semanticsModule =
+                                    M.modules['whalesong/wescheme/lang/semantics.rkt'];
+                                M.params.currentNamespace = semanticsModule.getExports();
+                                afterLanguageInitialization();
+                            },
+                            function(err) {
+                                // Nothing should work if we can't get this to work.
+                                alert("uh oh!: language could not be loaded.");
+                            });
         };
         repl.attr('disabled', 'true');
         repl.val('Please wait, initializing...');