Daniil Kisel

[ GHC backend ] Optional COMPILE pragma type synonym arity annotation

2

Compiled type synonyms use the same arguments on both sides of `=`, which can lead to errors when using partially applied. Removing arguments allows [this](https://gist.github.com/KislyjKisel/23aa50525628d8b877517321f8d3b9c8) (Haskell's type constructor class instances)...

When trying to re-declare a definition from other module. ```agda module A where open import Agda.Builtin.List using (List) postulate Functor : (Set -> Set) -> Set {-# FOREIGN GHC data...

Incorrect accessors generated in the presence of an anonymous union containing nested structures

2

C definition: https://github.com/blend2d/blend2d/blob/597ea5d5c35c6d3dfdc2329316f1d8ba25929404/src/blend2d/format.h#L118-L141 ```lisp (let ((format (autowrap:alloc 'format-info))) (format t "DEPTH ~a~%" (format-info.depth& format)) (format t "FLAGS ~a~%" (format-info.flags& format)) (format t "SIZES ~a~%" (format-info.sizes[]& format)) (format t "R-SIZE ~a~%"...

Empty enums by themselves cause errors in C compiler. But for enum used in a typedef before its definition (`typedef enum SomeFlags SomeFlags;`) `c2ffi` produces enum declaration with `"fields": []`....

Tested with the referenced structure - accessors return correct addresses. A simple local project using `cl-sdl2` runs normally.

Calling `SDL_DestroyWindow` on a popup while handling mouse button event on a parent window causes [assertion](https://github.com/libsdl-org/SDL/blob/a9a51cebde21fb198abc661f1d57f48d40eb2327/src/events/SDL_keyboard.c#L908) failure in `SDL_SetKeyboardFocus`. MRE: ```c #include int main(int argc, char** argv) { SDL_Init(SDL_INIT_VIDEO); SDL_Window*...