Support selective field import for types.

[q-uint]

Module A

// moduleA.mo
module {
    public type Workday = {#mon; #tue; #wed; #thu; #fri};
    public type Weekday = Workday or {#sat; #sun};
};

Module B

// moduleB.mo
import { Weekday } = "moduleA";

let x : Weekday = #sat;

Error

moduleB.mo:1.10-1.17: type error [M0119], object field Weekday is not contained in expected type
  module {}

Solution (but not desired)

import A "moduleA";

let x : A.Weekday = #sat;

[ggreif]

Correct. Selective import of types from modules is not supported yet (see #3076). We don't even have a syntax for it, so you'll have to stick to the workaround you are applying above.

We don't have an ETA for when this will be fixed.

My hunch is that it will look like

import { type Weekday } = "moduleA";

when done. Thanks for the report!