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