Given a structure like the gist above, I get an error like this:
Error compiling dartdevc module:_test|web/main.ddc.js [error] Undefined name 'platform'. (/web/main.dart, line 10, col 9) Please fix all errors before compiling (warnings are okay).
So it doesn’t appear that anything is actually being exported.
Note that in this scenario the
platform.dart file does live in a separate module – so it could be an error on the analysis summary side of things. It does work in my IDE and I can click through to the definition (it goes to the default.dart import).