[m-rev.] diff: fix foreign erlang type
Zoltan Somogyi
zoltan.somogyi at runbox.com
Wed Mar 15 09:58:05 AEDT 2017
--- a/tests/valid_seq/exported_foreign_type_2.m
+++ b/tests/valid_seq/exported_foreign_type_2.m
@@ -11,7 +11,7 @@
where equality is int_equals, comparison is int_compare.
:- pragma foreign_type("Java", t, "Integer")
where equality is int_equals, comparison is int_compare.
-:- pragma foreign_type("Erlang", t, "int")
+:- pragma foreign_type("Erlang", t, "")
where equality is int_equals, comparison is int_compare.
:- pred int_equals(t::in, t::in) is semidet.
More information about the reviews
mailing list