| // { dg-additional-options "-fmodules-ts --param lazy-modules=1 -fdump-lang-module" } |
| |
| import bob; |
| import stuart; |
| import kevin; |
| |
| int main () |
| { |
| stuart (); |
| bob (); |
| kevin (); |
| |
| return 0; |
| } |
| |
| // { dg-final { scan-lang-dump {Freezing 'bob.[^']*'} module } } |
| // { dg-final { scan-lang-dump {Freezing 'stuart.[^']*'} module } } |
| // { dg-final { scan-lang-dump {Freezing 'kevin.[^']*'} module } } |
| // { dg-final { scan-lang-dump {Defrosting 'bob.[^']*'} module } } |
| // { dg-final { scan-lang-dump {Defrosting 'stuart.[^']*'} module } } |
| // { dg-final { scan-lang-dump {Defrosting 'kevin.[^']*'} module } } |