DEV Community


Discussion on: Emulating TypeScript union types with ReasonML

yawaramin profile image
Yawar Amin Author

Hmm, I still don't see how that could happen though 🤔 at some point in the code we would call icons(something) where something is a polymorphic variant tag. At that point the typechecker would step in to point out if you called it with icons(`arrowDown) which is not handled by the icons function (assuming the typo in its definition). You wouldn't be calling the icons function with a string, it's not stringly typed.

Thread Thread
citizen428 profile image
Michael Kohl

Yup, sorry, the string was a mistake, should have been `arrowDown.

I guess I was thinking too much about a hypothetical case that is either extremely unlikely or impossible, so thanks for taking the time and patiently explaining 😀