Having fun implementing a language server for pasko!

#pascal #pasko #lsp #compilers

Visited Meralco Liwanag Park last night with my partner before I left for #NewYear

#christmas #couples #lights #pasko #philippines #tootSEA

Tab support in the diagnostics! 🙌

#pasko #compiler #pascal

For pasko I chose to implement sets in two ways (and the runtime picks the best representation at any given moment): a bitfield for values [0..255] (using 4 uint64_t) or a (dynamic) array of sorted integers.

This posed some challenges in how to represent this in the debugger. But I've been able to have gdb show something reasonable, using the power of DWARF expressions.

This is very cool 😃

#pasko #compilers #debugger #gdb

Managed to have local variables using cranelift but I hit a limitation of debuggers and DWARF and formal parameters found in registers.

I may try consider pessimising the code when enabling debug support if I don't manage to identify the call sites.

#pasko #cranelift #debugging #compilers

Woah!

(I need to improve the locations, it jumps like crazy all around the place 😅 . The garbled terminal is caused by gdb's tui not liking input / output)

#pasko #debugging #debugger #gdb #cranelift

Kaj enirinte en la tombon, ili vidis junulon sidantan ĉe la dekstra flanko, vestitan per blanka robo; kaj ili miregis. Sed li diris al ili: »Ne miregu; vi serĉas Jesuon, la Nazaretanon, la krucumitan: li leviĝis; li ne estas ĉi tie; jen la loko, kien oni metis lin!«

—Marko, 16:5. Feliĉan Paskon! :gutkato_anĝelo:

#lang_eo #Biblio #Kristo #kristanismo #Pasko

Feliĉan Paskon al ĉiuj, kiuj festas ĝin!

Vivu nia belega planedo kaj la homaro en paco!

#esperanto #lang_eo #pasko #Easter #paco #peace