Konstantin A. Olkhovskiy

Results 72 issues of Konstantin A. Olkhovskiy

This PR is a part of effort to address #1075. Scope of this PR is limited to only introduce the new IR type. Most of the work presented in this...

js_of_ocaml is a really cool compiler! I'm fascinated with that it can do. Yet it targets only one language - JavaScript, while it's certainly feasible to target more languages with...

enhancement

Are there any caveats for enabling `with-js-error` optimization by default? According to [this SO answer](https://stackoverflow.com/questions/35306496/performance-hit-of-newing-up-error-object-in-modern-node-js) perf hit for capturing the stack is quite affordable. It's quite hard to debug exceptions...

enhancement

I'm trying to use `go-sync` as a library and run into random corruption of patched files. Looking at hex diff, pattern is always the same - patched file size gets...

Is there any particular reason why `CreateSigningKeyImportBlob` works only with RSA keys? [createPublicPrivateSign](https://github.com/google/go-tpm-tools/blob/642b7ac44712feb17ad7357c5445f2551816911e/server/key_conversion.go#L80) allows the key to be only RSA. Probably support for exporting ECC parameters can be added there?

good first issue

`amc` uses gigabytes of memory to compile ~1k sloc codebase. I didn't run into this issue with 0.7. My VM has 4 GB of ram. It does not seem to...

bug

I'm following code in 'exception.ml' and try to create my own exception, but run into an error. This is relevant part of my source file: ``` open import "prelude.ml" type...

bug
Yet Another Module System
Resolve

There is a screenshot in readme showing custom diff, but I can't seem to find an API for that in master. I'm writing a lot of tests which use sexp...

I'm trying to leverage dune toplevel integration (docs: https://dune.readthedocs.io/en/stable/toplevel-integration.html), my project is using lwt, and somewhere in the middle of generated output from dune top there is the following line:...

Is eio library supposed to be bound to OCaml native applications only? Let's assume that JSOO gets support for effects [1] - will it be possible to have eio compile...