Правильно я понимаю что это баг гхц? {-# LANGUAGE UndecidableInstances, UndecidableSuperClasses,

Question

Правильно я понимаю что это баг гхц? {-# LANGUAGE UndecidableInstances, UndecidableSuperClasses,

ConstraintKinds, FlexibleInstances, GADTs, QuantifiedConstraints #-}

class c => Hold c
instance c => Hold c

data Dict c = c => Dict

anythingDict :: Dict c
anythingDict = go
where
go :: (Hold c => c) => Dict c
go = Dict

Дает зацикленный словарь (8.10.4 и 9.0.1)

Rec {
$dHold_rxi :: forall {c :: Constraint}. Hold c
$dHold_rxi = $dHold_rxi
end Rec }

anythingDict :: forall (c :: Constraint). Dict c
anythingDict = \ (@c) -> Dict ($dHold_rxi `cast` <Co:2>)

Доки к UndecidableInstances и UndecidableSuperClasses говорят что они may result in non-termination of the typechecker, а про нонтерминэйшн в рантайме не говорят.

#haskell #programming #russian

0

12.04.2021

1 ответов

13 просмотров

Oleksij Kyslytsja · Accepted Answer

Заинтересовался вопросом, шо такое ConstraintKinds, в hackage прописана ссылка на репозиторий, а там This library is depricated in favor of my subhask library. Это что значит? Использование данного экстеншина на свой страх и риск? В репозитории последнее изменение лет 7 назад сделано. Но в хакадже ограничения по base от 3 до 5 версий и пишут скачивался архив 19 раз за последний месяц, то есть используется оно

169 похожих чатов

Правильно я понимаю что это баг гхц? {-# LANGUAGE UndecidableInstances, UndecidableSuperClasses,

1 ответов

Похожие вопросы