get rid of spurious warning, add type error for skip_max_list

2018-05-21 16:20:08 -06:00
parent 4608c4fe58
commit b49c0f5d36
3 changed files with 22 additions and 2 deletions
--- a/src/prolog/machine/system_calls.rs
+++ b/src/prolog/machine/system_calls.rs
@@ -148,9 +148,14 @@ impl MachineState {
                } else {
                    self.fail = true;
                },
-            _ => {
+            Addr::HeapCell(_) | Addr::StackCell(..) => {
                let stub = MachineError::functor_stub(clause_name!("$skip_max_list"), 4);
                return Err(self.error_form(MachineError::instantiation_error(), stub));
+            },
+            addr => {
+                let stub = MachineError::functor_stub(clause_name!("$skip_max_list"), 4);
+                return Err(self.error_form(MachineError::type_error(ValidType::Integer, addr),
+                                           stub));
            }
        };