So far I have assumed that Inf, -Infand NaN are of type Num. Hoever S02 says in the section on Immutable Types:
Int Perl integer (allows Inf/NaN, arbitrary precision, etc.)
Which opens up the question: what exactly is the type of Inf etc.? If it's Num, an Int can't hold it. If it's an Int, a Num can't hold it. If it's a separate type, that should be specced explicitly.
So far I have assumed that
Inf
,-Inf
andNaN
are of type Num. Hoever S02 says in the section on Immutable Types:Which opens up the question: what exactly is the type of Inf etc.? If it's Num, an Int can't hold it. If it's an Int, a Num can't hold it. If it's a separate type, that should be specced explicitly.