| <html> | |
| <import src="resources/does-not-export.sky" as="hello" /> | |
| <import src="../resources/dump-as-text.sky" /> | |
| <p id="result">FAIL - Script did not execute</p> | |
| <script> | |
| import "dart:sky"; | |
| void main() { | |
| document.getElementById("result").textContent = "PASS"; | |
| } | |
| </script> | |
| </html> |