| // { dg-additional-options "-fmodules-ts -fdump-lang-module" } | |
| import PiL; | |
| // Until the linkage is promoted, this won't link. | |
| int main () | |
| { | |
| int i = get (); | |
| if (i) | |
| return 1; | |
| int h = hwm (); | |
| if (h != 1) | |
| return 2; | |
| return 0; | |
| } | |
| // { dg-final { scan-lang-dump {Bindings '::counter'} module } } | |
| // { dg-final { scan-lang-dump {>Loading entity PiL\[0\] section:1} module } } |