From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 2 Dec 2017 21:28:27 +0000 (-0700)
Subject: extend false cases for is
X-Git-Tag: v0.8.110~665
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c4cb3574ba63d5369728a086b0cecc7bac60f126;p=scryer-prolog.git

extend false cases for is
---

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index 10aee83d..aa573b92 100644
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -386,7 +386,7 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker>
                                 code.push(is_call!(temp_v!(1)));
                             },
                             _ => {
-                                return Err(ParserError::from(ArithmeticError::InvalidTerm));
+                                code.push(fail!());
                             }
                         }
                     },