You're viewing the slime.global public feed.

Federated feed Local feed

mccmcc@mastodon.social
Oct 21, 2026, 1:55 PM
Currently drowning in a never-ending chain of writing basic "case" or "if" statements and getting unintelligible errors like "expected =>" on a => or "expected end of expression". Trying to not run to Mastodon for help on every one. Did encounter one thing that seems so actionable I'm considering filing it:
Why are members of the sequence "0..7" not Fin 8?
$let new = for [0..7] (\i => shiftL (the Bits64 1) (cast i)) "cast i" is highlighted saying that i (0..7) is an integer and "cast i" needs a Fin 64$
💬 1🔄 0⭐ 0

Replies

masto UI updatechyionchy@types.pl
Oct 21, 2026, 2:51 PM
@mcc because i doesn't know anything about what list was given, all it knows is that it's an Integer
you probably want
- to use allFins 8 for all the numbers in Fin 8
- to instead use something like iterateN to apply (fun x => shiftL x FZ) on l eight times and collect the intermediate results in a list
💬 0🔄 0⭐ 0