whiley_test_file 0.6.2

======
>>> main.whiley
import other
public export method test():
    assume other::CONSTANT == 456
>>> other.whiley
public final int CONSTANT = 456
---