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