Я написал функцию, и, например, у меня есть следующая строка (это только часть из функции):
up (St(d)::Dt::St(c)::[rp]) = Pr (Sym(d), Sym(c))
Pr
, Sym
, St
, Dt
- все типы данных;d
и c
являются строками.
Когда я запускаю функцию up
, для аргументов ([St("hello"),Dt,St("hi"),rp]),
выводится val it =Pr(Sym(#), Sym(#))
вместо val it = Pr(Sym("hello"), Sym("hi"))
.Зачем?Спасибо.