diff --git a/C/errors.c b/C/errors.c index a00607c22..135ca68ac 100755 --- a/C/errors.c +++ b/C/errors.c @@ -1771,6 +1771,21 @@ Yap_Error(yap_error_number type, Term where, char *format,...) serious = TRUE; } break; + case TYPE_ERROR_STRING: + { + int i; + Term ti[2]; + + i = strlen(tmpbuf); + ti[0] = MkAtomTerm(AtomString); + ti[1] = where; + nt[0] = Yap_MkApplTerm(FunctorTypeError, 2, ti); + tp = tmpbuf+i; + psize -= i; + fun = FunctorError; + serious = TRUE; + } + break; case TYPE_ERROR_UBYTE: { int i; diff --git a/H/Yap.h b/H/Yap.h index cf0bbb445..3cb2965ea 100755 --- a/H/Yap.h +++ b/H/Yap.h @@ -547,6 +547,7 @@ typedef enum TYPE_ERROR_NUMBER, TYPE_ERROR_PREDICATE_INDICATOR, TYPE_ERROR_PTR, + TYPE_ERROR_STRING, TYPE_ERROR_UBYTE, TYPE_ERROR_UCHAR, TYPE_ERROR_VARIABLE,