aboutsummaryrefslogtreecommitdiff
path: root/src/scope.c
AgeCommit message (Collapse)Author
9 daysimplement enough type analysis for vector examplegncKimplul
+ Big commit, scary + Some details still a bit up in the air, mainly about move checking structure member access ('register' types are freely copied I guess, same as in rust? How about user types?)
2025-03-30WIP: rewrite C++ backend to be CKimplul
+ C allows for a bit more control, and we can manually handle closure contexts. For example `examples/fib.fwd` now works for effectively any `n`, pretty cool. + Fairly slow Fibonacci, I must admit. Initial profiling indicates it's mainly due to branch mispredictions, but I'll have to look into this a bit deeper. + The code is a bit hacked together, for now I'm more interested in getting things working, I'll worry about making things pretty later. + For testing, there's also initial support for modules, just so I can print stuff to the terminal + This commit is way too big, lol
2025-03-23start sketching out type systemKimplul
2025-03-22use maps in scopeKimplul
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.