1 // { dg-additional-options {-fmodules-ts -fpreprocessed} } 2 module; 3 4 ; export module Hello; // { dg-error "global module fragment" } 5 // { dg-error "after a module interface" "" { target *-*-* } .-1 } 6 // { dg-error "not name a type" "" { target *-*-* } .-2 } 7 // { dg-message "not recognized as a module control-line" "" { target *-*-* } .-3 } 8 9 void SayHello (); 10