From 5a5a992cc6ff392459aa7fb950ad58311b2e860d Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 15 Feb 2011 22:46:59 +0000 Subject: [PATCH] more encoding stuff. --- pl/consult.yap | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/pl/consult.yap b/pl/consult.yap index da063fe82..f41ce329c 100755 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -635,14 +635,14 @@ remove_from_path(New) :- '$check_path'(New,Path), % 7-bit ASCII as America originally intended '$valid_encoding'(ascii, 2). % Ye europeaners made it 8 bits -'$valid_encoding'(iso_latin_1, 1). +'$valid_encoding'(iso_latin_1, 3). % UTF-8: default 8 bits but 80 extends to 16bits -'$valid_encoding'(utf8, 8). +'$valid_encoding'(utf8, 5). % UNICODE: 16 bits throughout, the way it was supposed to be! -'$valid_encoding'(unicode_be, 16). -'$valid_encoding'(unicode_le, 32). +'$valid_encoding'(unicode_be, 6). +'$valid_encoding'(unicode_le, 7). % whatever the system tell us to do. -'$valid_encoding'(text, 4). +'$valid_encoding'(text, 8). '$default_encoding'(DefCode) :- nonvar(DefCode), !, '$encoding'('$stream'(0),DefCode),