From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 12 Apr 2020 04:02:17 +0000 (-0600)
Subject: remove unnecessary use of partial_string in bimetatrans example
X-Git-Tag: v0.8.119~15
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=aedffb3cfebebb45a4ff14bd63c7c1058b2fefa2;p=scryer-prolog.git

remove unnecessary use of partial_string in bimetatrans example
---

diff --git a/src/prolog/examples/bimetatrans_ruleml.pl b/src/prolog/examples/bimetatrans_ruleml.pl
index ea56c2e2..d33b5bd8 100644
--- a/src/prolog/examples/bimetatrans_ruleml.pl
+++ b/src/prolog/examples/bimetatrans_ruleml.pl
@@ -1,7 +1,6 @@
 :- module(ruleml_xml_parser, [parse_ruleml/3]).
 
 :- use_module(library(dcgs)).
-:- use_module(library(iso_ext)).
 
 :- set_prolog_flag(double_quotes, chars).
 
@@ -781,11 +780,7 @@ ruleml_var_contents(Cs) -->
  *   constant_chars(+Type, +Constant, -Chars)
  */
 
-constant_chars(string, Constant, Chars) :-
-    (  var(Constant) ->
-       catch(partial_string(Chars, Constant, []), _, false)
-    ;  catch(partial_string(Constant, Chars, []), _, false)
-    ).
+constant_chars(string, Chars, Chars).
 constant_chars(number, Constant, Chars) :-
     catch(number_chars(Constant, Chars), _, false).
 constant_chars(symbol, Constant, Chars) :-