include should only import values that provide export

[sorawee]

Consider a module named foobar.arr with the following code:

provide { foo: foo } end
provide-types { Foo :: Foo }

data Foo: foo end
data Bar: bar end

Currently, if we call include foobar, Pyret will throw an error that bar is not found. Seems like include will import all values in the module without respecting the provide statement.

[jpolitz]

Making a note that 2a98466e99222ce6833703547f5bb93b733a6ce1 addresses this, along with some other commits on the better-exports branch.

[schanzer]

Now that better-exports has been merged, is this still open?

[schanzer]

@sorawee is this closeable?

[sorawee]

Yup