rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

move write_term_to_chars/3 to src/prolog/lib/charsio.pl

Browse Source
This commit is contained in:
Mark Thom
2020-04-12 14:42:39 -06:00
parent 0380d70a46
commit f2cf0ec459
2 changed files with 24 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/prolog/lib/charsio.pl Normal file
View File

@@ -0,0 +1,23 @@
:- module(charsio, [write_term_to_chars/3]).
write_term_to_chars(_, Options, _) :-
var(Options), throw(error(instantiation_error, write_term_to_chars/3)).
write_term_to_chars(Term, Options, Chars) :-
'$skip_max_list'(_, -1, Options, Options0),
( var(Options0) ->
throw(error(instantiation_error, write_term_to_chars/3))
; var(Term) ->
throw(error(instantiation_error, write_term_to_chars/3))
; nonvar(Chars) ->
throw(error(uninstantiation_error(Chars), write_term_to_chars/3))
; Options0 == [] ->
true
;
throw(error(type_error(list, Options), write_term_to_chars/3))
),
builtins:inst_member_or(Options, ignore_ops(IgnoreOps), ignore_ops(false)),
builtins:inst_member_or(Options, numbervars(NumberVars), numbervars(false)),
builtins:inst_member_or(Options, quoted(Quoted), quoted(false)),
builtins:inst_member_or(Options, variable_names(VarNames), variable_names([])),
builtins:inst_member_or(Options, max_depth(MaxDepth), max_depth(0)),
'$write_term_to_chars'(Term, IgnoreOps, NumberVars, Quoted, VarNames, MaxDepth, Chars).

26
src/prolog/lib/iso_ext.pl
View File

@@ -7,8 +7,7 @@
call_with_inference_limit/3, forall/2, maybe/0, call_with_inference_limit/3, forall/2, maybe/0,
partial_string/1, partial_string/3, partial_string/1, partial_string/3,
partial_string_tail/2, set_random/1, partial_string_tail/2, set_random/1,
setup_call_cleanup/3, variant/2, setup_call_cleanup/3, variant/2]).
write_term_to_chars/3]).
forall(Generate, Test) :- forall(Generate, Test) :-
\+ (Generate, \+ Test). \+ (Generate, \+ Test).
@@ -176,26 +175,3 @@ partial_string_tail(String, Tail) :-
'$partial_string_tail'(String, Tail) '$partial_string_tail'(String, Tail)
; throw(error(type_error(partial_string, String), partial_string_tail/2)) ; throw(error(type_error(partial_string, String), partial_string_tail/2))
). ).
write_term_to_chars(_, Options, _) :-
var(Options), throw(error(instantiation_error, write_term_to_chars/3)).
write_term_to_chars(Term, Options, Chars) :-
'$skip_max_list'(_, -1, Options, Options0),
( var(Options0) ->
throw(error(instantiation_error, write_term_to_chars/3))
; var(Term) ->
throw(error(instantiation_error, write_term_to_chars/3))
; nonvar(Chars) ->
throw(error(uninstantiation_error(Chars), write_term_to_chars/3))
; Options0 == [] ->
true
;
throw(error(type_error(list, Options), write_term_to_chars/3))
),
builtins:inst_member_or(Options, ignore_ops(IgnoreOps), ignore_ops(false)),
builtins:inst_member_or(Options, numbervars(NumberVars), numbervars(false)),
builtins:inst_member_or(Options, quoted(Quoted), quoted(false)),
builtins:inst_member_or(Options, variable_names(VarNames), variable_names([])),
builtins:inst_member_or(Options, max_depth(MaxDepth), max_depth(0)),
'$write_term_to_chars'(Term, IgnoreOps, NumberVars, Quoted, VarNames, MaxDepth, Chars).