ditto-lang/ditto

Erase private type aliases from exports

Opened this issue · 0 comments

Similar to #157, but for type alias.

In this case we don't need to raise an error, we should just erase the alias from the relevant export.

For example:

module Example exports (
    five,  -- should have type `Float` because `Double` isn't exported
);

type Double = Float;

five : Double = 5.0;