Talk:Z13524

Босьтӧма Wikifunctionsысь
Последнее сообщение: 1 месяц назад от GrounderUK в теме «Disconnected»

not allowed?

I thought leading zeroes weren't allowed, and hence should fail the validator? --99of9 (talk) 00:10, 5 March 2024 (UTC)Ответить

Numerically speaking, it doesn't really matter that 01 is just a weird way of writing 1; the value is the same either way. Arlo Barnes (talk) 04:05, 5 March 2024 (UTC)Ответить
Yes the value is the same, I'm not worried about that. But if I understand right, once the Wikifunctions:Type_proposals/Natural_number#Validator is implemented, I think it will not be possible to make a test like this, because it will not be possible to make a "01" natural number. --99of9 (talk) 04:10, 5 March 2024 (UTC)Ответить
+1: Not sure what this test is supposed to say. It only proves the current internal implementation of numbers is wrong/incomplete, nothing more. In this way, we could write a test that "the natural number XXX is equal to the natural number 0XXX". With the expected result of... what? That does not make sense, XXX is not a valid natural number. And neither is 01. --Mormegil (talk) 10:44, 17 March 2024 (UTC)Ответить

Disconnected

See phab:T360385. Please feel free to reconnect at any time, but be aware of the possible performance implications. GrounderUK (talk) 23:12, 18 April 2024 (UTC)Ответить