aboutsummaryrefslogtreecommitdiff
path: root/src/debug.c
AgeCommit message (Collapse)Author
2025-01-04initial move checkingKimplul
+ Missing implementations for most things, but it already highlights an oversight in my initial plan, namely that currently, a function might call multiple of its closures, meaning that a closure wouldn't be allowed to move a value. I'm debating whether to check that only one closure from a parameter list is called at a time or if I should do what Hylo does and add in some kind of 'subscript' that's like a function but has slightly different rules?
2025-01-01run formatterKimplul
2024-12-28enough type checking for all examples to passKimplul
2024-12-20add enough type checking to compile uniq.fwdKimplul
2024-12-03initial commitKimplul
+ Lots of code copied from ek, so didn't have to start from scratch, but might mean there are some quirks here and there that made sense in ek but not necessarily here.