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

Merge pull request #1065 from aarroyoc/pio-string

Browse Source 
Disable check of atom and leverage to open/4 the domain_error
This commit is contained in:
Mark Thom
2021-11-03 13:27:45 -02:30
committed by GitHub
parent 7c5c700bb8 6a0f638d40
commit 67ef5fe8e6
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/pio.pl
View File

@@ -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) ->