György Kurucz

Allow trailing commas in the list syntax

9

- [X] I have read [CONTRIBUTING.md](../../CONTRIBUTING.md). - [X] I have checked that there is no existing PR/issue about my proposal. ## Summary Trailing commas should be allowed in the list...

`CertiCoq FFI` produces bad C code

5

## Environment certicoq commit a426ffe04b38e8f3d23bde5be4fc6a315fa8485c Alpine linux 3.16.2 ## Steps to reproduce (This actual test input is not relevant, `CertiCoq FFI` generates incorrect output on any type class I tried.)...

Footnote in a footnote appears before other footnotes

6

goldmark has [https://github.com/yuin/goldmark/discussions](Discussions) in github. You should post only issues here. Feature requests and questions should be posted at discussions. - [ ] goldmark is fully compliant with the CommonMark....

I think the main question here is the shape of the API we want to expose to lua. As a conversation starter, here is my PoC implementation that mostly just...

`wl_list_insert` was being called twice, corrupting the linked list.

Upstream is removing wlr_output_layout_move, this is now required to build with wlroots master. (Along with #71 of course.) See: https://gitlab.freedesktop.org/wlroots/wlroots/-/commit/097ea84cda70a71ad8ea5940b3b3d277167424e5

Wlroots does not call `wl_list_remove(&destroy.listener_list)` after the destroy signal fires. It is the responsibility of the subscriber to handle their own wl_listener being left with an invalid link. This was...

Luajit 2.1 now includes everything we need. See: https://github.com/LuaJIT/LuaJIT/commit/de97b9d52bbc42effeaf1180764053a912526873 and https://github.com/LuaJIT/LuaJIT/issues/325 Tested building with luajit `2.1.0.beta3.r471.g505e2c03-1`: `PKG_CONFIG_PATH='/usr/lib/wlroots0.15/pkgconfig' meson setup build -Dlua-pkg=luajit`

Hi! I am a happy user of this project, and it would be even better if I didn't have to compile it for myself :) Any chance you could start...

Fixes #178