orklah / psalm-strict-types

Adds strict_types declaration when the file is provably safe
MIT License
16 stars 0 forks source link

Fixing typo #2

Closed ThomasLandauer closed 3 years ago

orklah commented 3 years ago

Thanks! But this is actually not a typo.

I meant the word provably to say that the logic was to check every possible way to break strict_types and only add the declaration when we could prove there was no risk.

It turned more complicated than I thought and there is some rare cases where this plugin could fail and add a strict declaration when the file is not completely compatible. However, the meaning was this one

ThomasLandauer commented 3 years ago

Sorry! "provable" indeed means "able to prove" ;-)