Summary TGrid Version : 0.4.1 <stro

Compile error on Driver after upgrading the TypeScript to v3.9.2 about tgrid HOT 1 CLOSED

samchon commented on May 24, 2024 1

Compile error on Driver after upgrading the TypeScript to v3.9.2

from tgrid.

Comments (1)

samchon commented on May 24, 2024 1

I've fixed the error by shifting the Readonly type wrapper from Driver.Promisive to Driver. Therefore, the error has been fixed. From the [email protected] update, there would not be any error in the [email protected] environment.

By the way, there's not any difference between below two codes, but TypeScript v3.9.2 compiler draws different results. I need to study the detailed reason and write an issue to the TypeScript, with much easier sample code than below:

Before Patch - Be Compile Error

The Readonly type is wrapping the Driver.Promisive type from the inside.

export type Driver<Controller extends object, Parametric extends boolean = false> 
    = Driver.Promisive<Controller, Parametric>;

export namespace Driver
{
    export type Promisive<Instance extends object, UseParametric extends boolean = false> = Readonly<
    {
        [P in keyof Instance]: Instance[P] extends Function
            ? Functional<Instance[P], UseParametric> // function, its return type would be capsuled in the Promise
            : value_of<Instance[P]> extends object
                ? Instance[P] extends object
                   ? Promisive<Instance[P], UseParametric> // object would be promisified
                   : never // cannot be
                : never // atomic value
    } & IRemoteObject>;
}

After Patch - No Error

The Readonly type is wrapping Driver.Promisive type from the outside by the Driver type.

export type Driver<Controller extends object, Parametric extends boolean = false> 
    = Readonly<Driver.Promisive<Controller, Parametric>>;

export namespace Driver
{
    export type Promisive<Instance extends object, UseParametric extends boolean = false> = 
    {
        [P in keyof Instance]: Instance[P] extends Function
            ? Functional<Instance[P], UseParametric> // function, its return type would be capsuled in the Promise
            : value_of<Instance[P]> extends object
                ? Instance[P] extends object
                   ? Promisive<Instance[P], UseParametric> // object would be promisified
                   : never // cannot be
                : never // atomic value
    };
}