diff options
Diffstat (limited to 'dev-lang/mercury/files')
| -rw-r--r-- | dev-lang/mercury/files/mercury-10.04.1-char-det-from-int.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dev-lang/mercury/files/mercury-10.04.1-char-det-from-int.patch b/dev-lang/mercury/files/mercury-10.04.1-char-det-from-int.patch new file mode 100644 index 000000000000..6440854baf8d --- /dev/null +++ b/dev-lang/mercury/files/mercury-10.04.1-char-det-from-int.patch @@ -0,0 +1,12 @@ +--- mercury-compiler-10.04.1.orig/configure 2010-08-29 19:27:34.000000000 +1200 ++++ mercury-compiler-10.04.1/configure 2010-09-12 12:59:51.000000000 +1200 +@@ -3412,7 +3412,8 @@ + Version >= 8, + ac(2) ^ elem(3, 5) = 17, + (1 .. 2) = [1, 2], +- Global = 561 ++ Global = 561, ++ char.det_from_int(255) = '\xFF\' + -> + trace [io(!S)] ( + io.print("Hello, world\n", !S) |