| 14 Dec 2025 |
 piegames | If I die before finishing fixing this stupid language, my ghost will haunt Eelco personally forever until he repents for his sins | 16:59:06 |
| piegames | deprecation noises | 16:59:59 |
 K900 | This is beautiful | 17:00:00 |
 helle (just a stray cat girl) | Eelco shakes very painful fist | 17:01:15 |
 kloenk | psychic damage noises | 17:01:29 |
 0x4fbb09 it/its ⛯✇ΘΔ | ... what's with this
# nix-instantiate --parse -E "01.4"
{
"_type": "ExprCall",
"args": [
{
"_type": "ExprLiteral",
"value": 0.4,
"valueType": "Float"
}
],
"fun": {
"_type": "ExprLiteral",
"value": 1,
"valueType": "Int"
}
}
... why is that not just a float literal with value 1.4
| 19:09:30 |
| piegames | Quick poll: should function application without spaces be allowed? foo"1"2 | 19:09:36 |
| piegames | In reply to @522_:catgirl.cloud
... what's with this
# nix-instantiate --parse -E "01.4"
{
"_type": "ExprCall",
"args": [
{
"_type": "ExprLiteral",
"value": 0.4,
"valueType": "Float"
}
],
"fun": {
"_type": "ExprLiteral",
"value": 1,
"valueType": "Int"
}
}
... why is that not just a float literal with value 1.4
Because it parses as fucking 01 .4 | 19:10:03 |
| 0x4fbb09 it/its ⛯✇ΘΔ | lol | 19:10:18 |
| 0x4fbb09 it/its ⛯✇ΘΔ | oh right it's presumably just not legal | 19:10:29 |
| 0x4fbb09 it/its ⛯✇ΘΔ | yeah | 19:10:35 |
| piegames | In reply to @522_:catgirl.cloud
lol Yeah because integers can have leading zeroes but not floats | 19:11:58 |
| piegames | So floats with leading zeros of course parse as fucking function application | 19:12:21 |
