2

当我尝试用

m: stringmap(list(string)) = StringMap.empty()

我收到此错误:

Function was found of type ordered_map(string, 'a, String.order) but application expects it to be of type  -> 'b.

我很感激任何提示/帮助找出我的代码有什么问题。TIA,

——
巴曼

4

1 回答 1

1

你可能想这样写:

m: stringmap(list(string)) = StringMap.empty

-> 'bStringMap.empty()的是你引用的类型错误,这与你的强制不兼容。

于 2011-10-19T07:45:28.253 回答