diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix create_prolog_flag to guess domain (idea from Jan Wielemaker).

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-12-06 00:49:51 +00:00
parent df2b11a6ec
commit 1be390d31a
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pl/directives.yap
View File

@ -1092,14 +1092,14 @@ create_prolog_flag(Name, Value, Options) :-
'$check_flag_options'(O, _, _, G) :- '$check_flag_options'(O, _, _, G) :-
var(O), var(O),
'$do_error'(instantiation_error,G). '$do_error'(instantiation_error,G).
'$check_flag_options'([], term, read_write, _) :- !. '$check_flag_options'([], _, read_write, _) :- !.
'$check_flag_options'([O1|Os], Domain, RW, G) :- !, '$check_flag_options'([O1|Os], Domain, RW, G) :- !,
'$check_flag_optionsl'([O1|Os], Domain, RW, G). '$check_flag_optionsl'([O1|Os], Domain, RW, G).
'$check_flag_options'(O, _, _, G) :- '$check_flag_options'(O, _, _, G) :-
'$do_error'(type_error(list),G). '$do_error'(type_error(list),G).
'$check_flag_optionsl'([], term, read_write, G). '$check_flag_optionsl'([], _, read_write, G).
'$check_flag_optionsl'([V|Os], Domain, RW, G) :- '$check_flag_optionsl'([V|Os], Domain, RW, G) :-
var(V), var(V),
'$do_error'(instantiation_error,G). '$do_error'(instantiation_error,G).
@ -1156,6 +1156,9 @@ create_prolog_flag(Name, Value, Options) :-
'$check_flag_value'(Value, _, G) :- '$check_flag_value'(Value, _, G) :-
\+ ground(Value), !, \+ ground(Value), !,
'$do_error'(instantiation_error,G). '$do_error'(instantiation_error,G).
'$check_flag_value'(Value, Domain, G) :-
var(Domain), !,
'$flag_domain_from_value'(Value, Domain).
'$check_flag_value'(_, term, _) :- !. '$check_flag_value'(_, term, _) :- !.
'$check_flag_value'(Value, atom, _) :- '$check_flag_value'(Value, atom, _) :-
atom(Value), !. atom(Value), !.
@ -1168,6 +1171,14 @@ create_prolog_flag(Name, Value, Options) :-
'$check_flag_value'(Value, Domain, G) :- '$check_flag_value'(Value, Domain, G) :-
'$do_error'(domain_error(Domain,Value),G). '$do_error'(domain_error(Domain,Value),G).
'$flag_domain_from_value'(true, boolean) :- !.
'$flag_domain_from_value'(false, boolean) :- !.
'$flag_domain_from_value'(Value, integer) :- integer(Value), !.
'$flag_domain_from_value'(Value, float) :- float(Value), !.
'$flag_domain_from_value'(Value, atom) :- atom(Value), !.
'$flag_domain_from_value'(_, term).
'$expects_dialect'(swi) :- '$expects_dialect'(swi) :-
eraseall('$dialect'), eraseall('$dialect'),
recorda('$dialect',swi,_), recorda('$dialect',swi,_),