Skip to content

[jsligo] Fix nested polymorphic functions

type:fixed

Fix handling for e_let_in in JsLIGO abstractor

Changelog details: Fixed handling for nested generic functions in JsLIGO

const id : <P>(x : P) => P = (x : P) => {
    const id_1 : <Q>(y : Q) => Q = (y : Q) => {
        let id_2 : <R>(z : R) => R = (z : R) => {
            let z = z;
            return z;
        };
        let y = y;
        return id_2(y);
    }
    return id_1(x);
};

Merge request reports