3 ms·
From your description, that sounds like the compiler accepting something that isn't correct. I'm more interested in the case(s?) mentioned where the types are c
by tom_ 8y ago
From your description, that sounds like the compiler accepting something that isn't correct. I'm more interested in the case(s?) mentioned where the types are correct and the compiler won't accept the code.
I will have a quick skim through the @types/ramda issues, thanks.
- maxhallinan 8y agoThe compiler was telling me that there was no field foo on props but there clearly was.
- pas 8y agoLack of inference is usually not considered a soundness issue.