Andrii Kurdiumov

After applying https://github.com/FStarLang/FStar/pull/2528 For example I open `src/fstar/FStar.CheckedFiles.fst`. then in the `F* Language Server` output I receive following message ``` [E] Failed to load deps. Recursive dependency on module ~/FStar/src/basic/FStar.Options.fst...

Here the output for troubleshooting when open file `src/basic/FStar.Const.fst` ``` The cycle contains a subset of the modules in: /home/kant/FStar/ulib/FStar.Set.fst

For information, the VSCode extension pass root directory and all subdirectories to `--lsp` mode.

Personally I'm opt-in for even longer compilation times if that would be opt-in. Even via some "hack" because I want use stryker for checking completeness of tests, so waiting of...

Would be great to have this PR landed, to make NativeAOT experience more pleasant. And soon we will have WASI-SDK in .NET 8 where size would matter a bit more.

The problem even more interesting right now. I see inconsistency of the configuation `pa11y` and `pa11y-ci`. - `pa11y` require `chromeLaunchConfig` to be on the root. - `pa11y-ci` look at `chromeLaunchConfig`...

@jkotas @MichalStrehovsky It is still not clear how COM can be implemented into CoreRT. SharpGenTools seems to be useful for CppCodeGen, but not for RiyJit codegeneration. 1. As the @tijoytom...

> Yes, generating the interop marshaling code using build-time tooling is the way to solve this. Does this code can be part of CoreRT tooling? or it is assumed that...

@jkotas I trying to understand what do you think needed for COM support in CoreRT. I see https://github.com/dotnet/runtime/issues/1845 and other issues which you mention landed in .NET 5. I imagine...

@jkotas @AaronRobinsonMSFT 1. And here my first question. I copy `IExternalObject` from the original proposal, trim it to support just IUnknown interface. Then I return that instance from `CreateObject`. Application...