Add uninstantiation_error/1 implementation

lindseyspratt · Sep 11, 2021 · 3734e70 · 3734e70
1 parent 9cbb91e
commit 3734e70
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 3 deletions.
diff --git a/docs/index_status.html b/docs/index_status.html
@@ -478,7 +478,7 @@ <h2>7.12.2 Error classification</h2>
                 <li>resource_error. <i>[not implemented]</i></li>
                 <li>syntax_error.</li>
                 <li>system_error. <i>[not implemented]</i></li>
-                <li>uninstantiation_error. <i>[not implemented]</i></li>
+                <li>uninstantiation_error.</li>
             </ol>
         </div>
         <div class="indexed" id="term-unification">

diff --git a/src/docs/content.index_status.template b/src/docs/content.index_status.template
@@ -117,7 +117,7 @@ The ProscriptLS aspiration includes implementing most of ISO Prolog and some add
                 <li>resource_error. <i>[not implemented]</i></li>
                 <li>syntax_error.</li>
                 <li>system_error. <i>[not implemented]</i></li>
-                <li>uninstantiation_error. <i>[not implemented]</i></li>
+                <li>uninstantiation_error.</li>
             </ol>
         </div>
         <div class="indexed" id="term-unification">

diff --git a/src/engine/foreign.js b/src/engine/foreign.js
@@ -3655,6 +3655,15 @@ function instantiation_error(v)
     return predicate_throw(ref);
 }
 
+function uninstantiation_error(got)
+{
+    var ftor = lookup_functor('uninstantiation_error', 1);
+    var ref = state.H ^ (TAG_STR << WORD_BITS);
+    memory[state.H++] = ftor;
+    memory[state.H++] = lookup_atom(got);
+    return predicate_throw(ref);
+}
+
 function domain_error(domain, got)
 {
     var ftor = lookup_functor('domain_error', 2);
@@ -3663,7 +3672,6 @@ function domain_error(domain, got)
     memory[state.H++] = lookup_atom(domain);
     memory[state.H++] = got;
     return predicate_throw(ref);
-
 }
 
 function format_error(message)