miginmrs

@evilebottnawi, shouldn't the devtoolNamespace be different for the new entry, to prevent collusion for browsers that keep a single source map for all threads (like chrome) ?

I think this error is required because to match `Lam f` with `Expr a`, `a` needs to be matched with some `b->c` which is not always the case. The compiler...

Function overloading provides a functional workaround. Since `depLikeFun` return type is dependent of its parameters type, the function type can be: ```ts { (str: "t"): number; (str: "f"): boolean; }...

@rubenpieters Thank you for the note, I didn't notice this before. By the way, I am still thinking for a workaround by the time the feature is implemented, it could...