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

ISO support (Paulo Moura).

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-10-21 00:26:40 +01:00
parent a4081673e5
commit ffb97269a0
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/atomic.c
View File

@ -506,7 +506,7 @@ p_number_chars( USES_REGS1 )
return Yap_unify( ARG1, tf ); return Yap_unify( ARG1, tf );
} }
/* error handling */ /* error handling */
if (LOCAL_Error_TYPE && Yap_HandleError( "atom_chars/2" )) { if (LOCAL_Error_TYPE && Yap_HandleError( "number_chars/2" )) {
goto restart_aux; goto restart_aux;
} }
return FALSE; return FALSE;

4
C/stdpreds.c
View File

@ -607,13 +607,13 @@ p_univ( USES_REGS1 )
if (IsNumTerm(twork)) { if (IsNumTerm(twork)) {
Term tt = TailOfTerm(t2); Term tt = TailOfTerm(t2);
if (IsVarTerm(tt) || tt != MkAtomTerm(AtomNil)) { if (IsVarTerm(tt) || tt != MkAtomTerm(AtomNil)) {
Yap_Error(TYPE_ERROR_ATOM, twork, "(=..)/2"); Yap_Error(TYPE_ERROR_ATOMIC, twork, "(=..)/2");
return (FALSE); return (FALSE);
} }
return (Yap_unify_constant(ARG1, twork)); return (Yap_unify_constant(ARG1, twork));
} }
if (!IsAtomTerm(twork)) { if (!IsAtomTerm(twork)) {
Yap_Error(TYPE_ERROR_ATOM, twork, "(=..)/2"); Yap_Error(TYPE_ERROR_ATOMIC, twork, "(=..)/2");
return (FALSE); return (FALSE);
} }
at = AtomOfTerm(twork); at = AtomOfTerm(twork);