accordproject · jeromesimeon · Dec 22, 2018 · Dec 22, 2018 · Dec 22, 2018
diff --git a/backends/javascript/ergo-runtime.js b/backends/javascript/ergo-runtime.js
@@ -417,7 +417,8 @@ function deref(receiver, member) {
             ans = left(ans);
         return ans;
     }
-    return undefined;
+    // Treat a missing field as a field containing null
+    return null;
 }
 function looksLikeRelationship(v) {
     // As the name suggests, this is only heuristic.  We call it a relationship if it has two or three members.

diff --git a/mechanization/Version.v b/mechanization/Version.v
@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.5.7"%string.
+    Definition ergo_version := "0.5.8"%string.
 
 End Version.
 
diff --git a/packages/ergo-cli/lib/ergoc-lib.js b/packages/ergo-cli/lib/ergoc-lib.js
diff --git a/packages/ergo-cli/lib/ergotop-lib.js b/packages/ergo-cli/lib/ergotop-lib.js
diff --git a/packages/ergo-compiler/lib/ergo-core.js b/packages/ergo-compiler/lib/ergo-core.js