iacore comments

Results 421 comments of


                                            iacore

fix: #include <mutex> in mutex.cpp

> The actual issue is that Lean no longer builds with `LEAN_MULTI_THREAD=OFF` because `adopt_lock_t` doesn't exist, right? Correct > If that's the case, then we should add `adopt_lock_t` to the...

fix: LLVM backend: detect size_t from target triple

Should be good to go. @bollu About your comments on "void*", I assumed that is the target pointer size.

fix: LLVM backend: detect size_t from target triple

I added comments for fixing #2085.

fix: LLVM backend: detect size_t from target triple

rebased. You can squash this with the issue title as the commit message.

fix: LLVM backend: detect size_t from target triple

@bollu Thanks for the invite. I don't know anything about what to fix though. What commands I need to run to find tests that miscompile?

Unexpected delayed evaluation of higher-order functions

I'm using Idris 0.6.0-a84a5a32d (old version). Doesn't seem to be optimization. ``` Main> :di Ex2 Main.Ex2 Arguments [{arg:0}] Compile time tree: let f = versionB {arg:0} in \{lamc:0} => let...

Is there a test suite?

Thanks! I am trying to implement SPH in another language.

Implement Emoji Reactions

Calling this "Emoji" Reaction might be a misnomer. The reaction content can be any text, with (misskey extension) emoji replacement.

🐛 [Bug]: (c *fiber.Ctx).ClearCookie() does absolutely nothing

I think the problem is that when unsetting the cookie, the header looks like this: ``` Set-Cookie: KEY=; expires= ``` I remember that the other fields need to perfectly match...

Proposal: Zig ABI for language specific features

Optional types like `?i32` need stable ABI too, also `?[*c]i32` (0 is different from none). If would be nice if ABI for pass-by-value for struct is defined, unlike C. A...