From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 2 Mar 2020 06:21:35 +0000 (-0700)
Subject: switch to representation error for partial strings (#267)
X-Git-Tag: v0.8.119~63
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2d3ce32314896fad07faecb7696bf9febf7611f9;p=scryer-prolog.git

switch to representation error for partial strings (#267)
---

diff --git a/src/prolog/machine/system_calls.rs b/src/prolog/machine/system_calls.rs
index 7a94db03..4fc92ed8 100644
--- a/src/prolog/machine/system_calls.rs
+++ b/src/prolog/machine/system_calls.rs
@@ -944,9 +944,8 @@ impl MachineState {
                         }
                         None => {
                             let stub = MachineError::functor_stub(clause_name!("partial_string"), 3);
-                            let err = MachineError::type_error(
-                                ValidType::Character,
-                                Addr::Con(Constant::Char('\u{0}')),
+                            let err = MachineError::representation_error(
+                                RepFlag::Character,
                             );
 
                             return Err(self.error_form(err, stub));