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

Disable check of atom and leverage to open/4 the domain_error

Browse Source
This commit is contained in:
Adrián Arroyo Calle
2021-10-29 23:51:30 +02:00
parent ca62e54652
commit 2480c6633c
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/pio.pl
View File

@@ -6,7 +6,7 @@
:- use_module(library(error)). :- use_module(library(error)).
:- use_module(library(freeze)). :- use_module(library(freeze)).
:- use_module(library(iso_ext), [setup_call_cleanup/3, partial_string/3]). :- use_module(library(iso_ext), [setup_call_cleanup/3, partial_string/3]).
:- use_module(library(lists), [member/2]). :- use_module(library(lists), [member/2, maplist/2]).
:- use_module(library(format), [format/3]). :- use_module(library(format), [format/3]).
:- meta_predicate(phrase_from_file(2, ?)). :- meta_predicate(phrase_from_file(2, ?)).
@@ -18,8 +18,6 @@ phrase_from_file(NT, File) :-
phrase_from_file(NT, File, Options) :- phrase_from_file(NT, File, Options) :-
( var(File) -> instantiation_error(phrase_from_file/3) ( var(File) -> instantiation_error(phrase_from_file/3)
; (\+ atom(File) ; File = []) ->
domain_error(source_sink, File, phrase_from_file/3)
; must_be(list, Options), ; must_be(list, Options),
( member(Var, Options), var(Var) -> instantiation_error(phrase_from_file/3) ( member(Var, Options), var(Var) -> instantiation_error(phrase_from_file/3)
; member(type(Type), Options) -> ; member(type(Type), Options) ->