-- Test to check whether importing a single module which doesn't import any other modules works as
-- expeced

import b

x : N
x = 3 + y