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

make current_stream file name ISO friendly.

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-02-26 11:43:05 +00:00
parent 69b6f47b73
commit 59759cc88e
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
C/iopreds.c
View File

@ -2386,6 +2386,9 @@ p_open (void)
st->linecount = 1;
st->linepos = 0;
st->u.file.name = Yap_LookupAtom (Yap_FileNameBuf);
if (IsAtomTerm(Deref(ARG6)))
st->u.file.user_name = Deref(ARG6);
else
st->u.file.user_name = file_name;
st->stream_putc = FilePutc;
st->stream_wputc = put_wchar;
@ -3201,10 +3204,7 @@ StreamName(int i)
if (Stream[i].status & InMemory_Stream_f)
return(MkAtomTerm(AtomCharsio));
else {
if (yap_flags[LANGUAGE_MODE_FLAG] == ISO_CHARACTER_ESCAPES) {
return(Stream[i].u.file.user_name);
} else
return(MkAtomTerm(Stream[i].u.file.name));
}
}