Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/fsharp/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181

Warning: file_get_contents(/data/phpspider/zhask/data//catemap/3/xpath/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
F# 创建FsiEvaluationSession时指定fsi.exe的路径_F#_F# Interactive - Fatal编程技术网

F# 创建FsiEvaluationSession时指定fsi.exe的路径

F# 创建FsiEvaluationSession时指定fsi.exe的路径,f#,f#-interactive,F#,F# Interactive,如文件所述,数组allArgs中指定fsi.exe路径的第一个参数将被忽略: let argv = [| "C:\\fsi.exe" |] let allArgs = Array.append argv [|"--noninteractive"|] let fsiConfig = FsiEvaluationSession.GetDefaultConfiguration() let fsiSession = FsiEvaluationSession.Create(fsiConfig, allAr

如文件所述,数组
allArgs
中指定fsi.exe路径的第一个参数将被忽略:

let argv = [| "C:\\fsi.exe" |]
let allArgs = Array.append argv [|"--noninteractive"|]

let fsiConfig = FsiEvaluationSession.GetDefaultConfiguration()
let fsiSession = FsiEvaluationSession.Create(fsiConfig, allArgs, inStream, outStream, errStream)
是否仍要指定此参数,即指定在计算期间要使用的fsi.exe的位置


我之所以要这样做,是为了能够针对FSharp.Compiler.Tools nuget包中包含的特定版本的fsi.exe

fsi.exe
根本不使用。这都是一个库。谢谢-知道这一点真的很有用。
fsi.exe
根本不用。这都是一个图书馆。谢谢你——知道这一点真的很有用。