// { dg-module-do run }
// { dg-additional-options "-fmodules-ts -fno-inline" }
export module Foo;
// { dg-module-cmi Foo }
int Frob (int i)
{
return i;
}
export int j = Frob (5);
// { dg-module-do run }
// { dg-additional-options "-fmodules-ts -fno-inline" }
export module Foo;
// { dg-module-cmi Foo }
int Frob (int i)
{
return i;
}
export int j = Frob (5);