[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