drcicero

icon company Software Technology @ TU Darmstadt icon location Germany icon location Human, mostly. Also: phd student. DR are my initials not my title. ❤️ programming languages

Results 3 issues of drcicero

Bug: Derive NoConfusion for this inductive seems almost correct, but forgets to apply an argument?

1 comment

`Derive NoConfusion` seems to fail for inductives with 1. at least one parameter 2. at least one index 3. recursive occurrence of the type with a different parameter For example,...

Link Library

7 comment

Hi, alloy sounds nice! I wonder, how does one link a library -- in particular, with gcc for example, I would add the flag `-lsqlite3` to link the library and...

simplify

Hi, I think using `extern_lib` instead of `target` we can avoid specifying `moreLinkArgs` and `extraDepTargets`; and using `buildO` we can avoid `buildFileAfterDep`.