f# - F# 中的类型提供程序和静态参数

Question

我有一个库 Library_1，它可以正确编译并定义提供的类型:

type modelforexcel =  FSharpx.ExcelFile<@"template.xls", "Brokernet", true>

当我将此库包含在另一个项目 Library_2 中时，编译器提示它无法在新 Library_2 项目的根目录中找到任何“Brokernet.template.xls”。

Error   4   'C:\Library_2\template.xls' could not be found. Check the spelling of the file name, and verify that the file location is correct.

我希望该类型引用原始的“Brokernet.template.xls”，所以我试图提供它的完整路径，但是

type modelforexcel =  
   FSharpx.ExcelFile<__SOURCE_DIRECTORY__+@"Brokernet.template.xls", "Brokernet", true>

不起作用，因为我猜它不是文字 (?) 但是“显然”定义这个文字也不起作用

[<Literal>]
let a = __SOURCE_DIRECTORY__+@"Brokernet.template.xls"

有什么方法可以定义这样的“动态文字”吗？

编辑

有趣的是，如果我在第一个库的模块中定义我的类型

module Load =
   [<Literal>]
   let a = @"Brokernet.template.xls"
   type modelforexcel =  FSharpx.ExcelFile< a , "Brokernet", true>

然后在第二个库中使用第一个库时不会“重新生成”类型，并且类型提供者不会提示第二个库的根目录中缺少文件。

这揭示了 F# 编译模型的深刻见解，这可能是大师们最能揭示的。我只是说，作为一个粗鲁的人，“代码在模块中”

PS:我想这又是一个可以通过适当的分阶段编译解决的问题。

Answer 1

如评论中所示，使用相对路径，例如@"..\Library_1\Brokernet.template.xls" 解决了这个问题。