s
А, соболезную тогда.
Size: a a a
2021 May 31
[
ну, если честно, то пока не так уж и больно, как могло бы показаться
[
К слову
gо
Но ты, того, не вызываешь функцию func
gо
Вместо этого ты вызываешь какую-то жесть типа
intToBool (prim__eq_String)[
к слову, как записать тело такой функции?
gо
f s = if s == "foo" then 42 else "bar"
gо
Хотя бы
[
попробовал уже
[
не робит
gо
И не заработает
[
> While processing right hand side of f. Can't find an implementation for Num (if s == fromString "foo" then Int else String).gо
Оно у тебя не тайпчекнется, потому что идрис не умеет сравнивать строки на тайплевеле
gо
Я ХЗ что за чёрную магию ты там попытался написать, но она тоже не работает, вестимо
[
да то же тело, что и у тебя
gо
Оно и у меня не скомпилируется
gо
Идрис не умеет в тайплевельные строки
[
понял
[
только целые числа что ли?