Dave Thomas

There the typed and untyped last, the typed AST is not user constructible so it only really leaves the untyped one, which also has an entry path into the compiler...

@yatli Have a look at Myriad, I recently updated the readme to be a little more descriptive.

@yatli Technically it takes an AST as input, then creates an AST fragment from it then translates that to source code, which is included in your project. It could take...

I have removed all versions of dotnet with the uninstall tool then solely installed dotnet 6.0.202

``` "tools": { "paket": { "version": "7.1.5", "commands": [ "paket" ] }, ```

Also tried on all versions of `paket 6.x`, all exhibit same error.

I updated my runtimes to: `framework: net60, netstandard21, netcoreapp31` but only for compatibility for those using myriad from those targets, nothing I need is tied to those.

@baronfel I have the myriad CLI set as: `net6.0;netcoreapp3.1` I guess the netcoreapp3.1 is only needed for older consumers of the CLI tool. I forget the details after a few...

Sorry no, I’ve used F* a little bit but not done anything than skim the compiler code. Sent from my iPhone > On 12 Feb 2022, at 11:17, Gauthier Segay...

You can use wrk to profile, I too got a ton of errors like above: ``` wrk -t12 -c900 -d10s http://127.0.0.1:8086/ ``` I actually get pretty poor performance on libuv...