Где на хакадже взять констрейнт, что один тайплевел список есть

Question

Haskell

IC Rainbow

Где на хакадже взять констрейнт, что один тайплевел список есть

префикс другого?

upd: https://kseo.github.io/posts/2017-01-16-type-level-functions-using-closed-type-families.html

#haskell #programming #russian

0

02.03.2021

8 ответов

21 просмотр

IC Rainbow Автор вопроса

• Not enough descriptor sets bound Remaining descriptors: '[Env.Env] • In the expression: Pipeline.bind cb (Render.pSkySun fPipelines) ня. Но только в месте где оно требуется почему-то ругается на "Redundant constraint". :: ( dsl :< oldDsl, ... Но как так? Зачем?...

0

02.03.2021

IC Rainbow Автор вопроса

кана
впервые вижу такую ошибку

Да, это моя кастомная тайпфемеля кидает. Это она как раз поймала косяк и репортит. Но гхц при этом ругается в определении функции, где эта проверка используется.

0

02.03.2021

кана

IC Rainbow
• Not enough descriptor sets bound Remaining des...

:< ты сам определил? Выглядит как ошибка в нем

0

02.03.2021

IC Rainbow Автор вопроса

кана
:< ты сам определил? Выглядит как ошибка в нем

needMore :< '[] = TypeError (... а предупреждение от гхц, что этот констрейнт не используется

0

02.03.2021