I
Ну тут не совсем ясно, ты передаёшь функцию, которая возвращает строку или кортеж строк типа
Size: a a a
2021 January 21
I
И компилятор сходит с ума немного
I
Мб с актив паттернами тоже есть похожие примеры, которые ломают общий кейс
g
Какая ошибка?
I
Какая ошибка?
Ожидалась тупля с 3 элементами, а получили с двумя
I
Тоже самое если матчить 4 элемента, не важно
I
Все такие конструкции должны быть взяты в скобки в середине
I
Иначе ожидалась тупля Х, а получили тупля 2
I
g
Да, первый кейс норм.
Ты в рантайме проверил?
I
В идентификатор
y должен кортеж целиком матчиться.let inline (|Eq|_|) v2 v1 = if v1 = v2 then Some() else None
let inline (|Exactly3|_|) lst =
match lst with
| [ x, y, z ] -> Some (x, y, z)
| _ -> None
let test() lst =
match lst with
| Exactly3 (x, Eq 50 as y, z) -> ()
| _ -> ()
let inline (|Exactly3|_|) lst =
match lst with
| [ x, y, z ] -> Some (x, y, z)
| _ -> None
let test() lst =
match lst with
| Exactly3 (x, Eq 50 as y, z) -> ()
| _ -> ()
I
Минимальное репро
I
Тут ошибка
g
Я проверил. Посмотри на возвращаемый тип.
https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AbEAzAzgHwxgBcACASwDsMqZSAKfAUQEd8B9fASlIDcAmPgEZSAXgrZhYvoOIALGJVIBlCAFsY9HjAy46AOQiUYAWABQ5omSo1jDZggCGYYhgCe/Dt1K6yo86SBpGqOxGByPrhkAO7k8gFB+KQA2qQIaKRupAC6pHAAfCrqdPTpmVwJgUnseYWGxuaWJKTEMFFakX6VwaHhnaSx8WZBpElMTi7ugvSspCiCjrhpGbMArAAMpIvltQxlbhXDiaQ1BaTYjuQYgxEARACSagAOELi45MBEt0A
https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AbEAzAzgHwxgBcACASwDsMqZSAKfAUQEd8B9fASlIDcAmPgEZSAXgrZhYvoOIALGJVIBlCAFsY9HjAy46AOQiUYAWABQ5omSo1jDZggCGYYhgCe/Dt1K6yo86SBpGqOxGByPrhkAO7k8gFB+KQA2qQIaKRupAC6pHAAfCrqdPTpmVwJgUnseYWGxuaWJKTEMFFakX6VwaHhnaSx8WZBpElMTi7ugvSspCiCjrhpGbMArAAMpIvltQxlbhXDiaQ1BaTYjuQYgxEARACSagAOELi45MBEt0A