当我尝试用
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,
——
巴曼
当我尝试用
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,
——
巴曼