diff --git a/tests/hard_coded/intermod_foreign_type.m b/tests/hard_coded/intermod_foreign_type.m index d80b13949..c65de2590 100644 --- a/tests/hard_coded/intermod_foreign_type.m +++ b/tests/hard_coded/intermod_foreign_type.m @@ -3,17 +3,18 @@ %---------------------------------------------------------------------------% :- module intermod_foreign_type. - :- interface. :- import_module io. :- pred main(io::di, io::uo) is det. +%---------------------------------------------------------------------------% +%---------------------------------------------------------------------------% + :- implementation. :- import_module intermod_foreign_type_helper_1. -:- import_module std_util. main(!IO) :- C = new(4, 5), diff --git a/tests/hard_coded/intermod_foreign_type_helper_1.m b/tests/hard_coded/intermod_foreign_type_helper_1.m index 4e59b966c..665957430 100644 --- a/tests/hard_coded/intermod_foreign_type_helper_1.m +++ b/tests/hard_coded/intermod_foreign_type_helper_1.m @@ -17,8 +17,6 @@ :- implementation. -:- import_module std_util. - :- pragma foreign_decl("C#", " public class coord { public int x; @@ -51,7 +49,11 @@ public class coord { %---------------------------------------------------------------------------% -% Mercury implementation +% C# implementation. + +:- pragma foreign_type("C#", coord, "coord"). + +% Mercury implementation. :- type coord ---> coord(x :: int, y :: int).