[m-rev.] trivial diff: add a test case for bug #115
Julien Fischer
jfischer at opturion.com
Mon Nov 30 16:49:12 AEDT 2015
Add a test case for bug #115.
tests/invalid/bug115.{m,err_exp}:
tests/invalid/Mmakefile:
As above. Note that the actual problem this tests for has been
fixed since we moved to use Unicode.
Julien.
diff --git a/tests/invalid/Mmakefile b/tests/invalid/Mmakefile
index 0e39d4e..613706c 100644
--- a/tests/invalid/Mmakefile
+++ b/tests/invalid/Mmakefile
@@ -60,6 +60,7 @@ SINGLEMODULE= \
bind_var_errors \
bug10 \
bug113 \
+ bug115 \
bug117 \
bug150 \
bug17 \
diff --git a/tests/invalid/bug115.err_exp b/tests/invalid/bug115.err_exp
new file mode 100644
index 0000000..6536db6
--- /dev/null
+++ b/tests/invalid/bug115.err_exp
@@ -0,0 +1,2 @@
+bug115.m:006: Syntax error: Illegal character 0xE8 (232) in input.
+bug115.m:014: Syntax error: Illegal character 0xE8 (232) in input.
diff --git a/tests/invalid/bug115.m b/tests/invalid/bug115.m
new file mode 100644
index 0000000..e06191d
--- /dev/null
+++ b/tests/invalid/bug115.m
@@ -0,0 +1,16 @@
+% The unquoted name below caused a segmentation fault in rotd-2009-11-05.
+%
+:- module bug115.
+:- interface.
+
+:- pred unquoted_dèja(int::in) is semidet.
+
+:- pred 'quoted_dèja'(int::in) is semidet.
+
+% comment dèja
+
+:- implementation.
+
+unquoted_dèja(5).
+
+'quoted_dèja'(5).
More information about the reviews
mailing list