Tomas Grosup
Tomas Grosup
The empty .err files can be removed.
/azp run
(auto merge had some error, merged manually)
This was fixed by #17048 right?
The call stack points to this line: https://github.com/dotnet/interactive/blob/3ff59f4fbb7af49dd3d71aeb2db16f65f9f91c97/src/Microsoft.DotNet.Interactive.FSharp/FSharpScriptHelpers.fs#L46 (it is in the interactive repo, but the same file exists in test utilities in this repo) With stdin define like this...
@PawelStadnicki Pawel, I do not have full understanding of how you are linking things together. But do you have an option of changing the default input reader like this https://learn.microsoft.com/en-us/dotnet/api/system.console.setin?view=net-8.0...
This could certainly work. Also, the retrieval of `Process` info could be made lazy to avoid this particular occurrence of the exception. However, there might be a lot of "next...
Still a draft, or ready for review?
Thanks @safesparrow , that is indeed an incorrect usage of the `reportTime` call. An entry should be done when the activity starts, and the coverage of the blocks/phases should be...
I would choose Option 1 here (was chosen in the past), and be careful not to use it for FSharp.Core