LV
Так что боюсь, проблема в определении safety
Size: a a a
2021 February 18
AP
Я подозреваю, что проблема в том, что у модуля Prelude.Liquid.Num из liquid-base статус None по мнению Safe Haskell. При том что весь код модуля – импорт GHC.Num, который объявлен Trustworthy....
Я не специалист, но как я сказал, я бы поднял ишуй в гитхабе liquid-base
LV
Я не специалист, но как я сказал, я бы поднял ишуй в гитхабе liquid-base
Ну да, я про то, что заодно надо и людей, отвечающих за safety inference пнуть на этот счёт :) Совершенно безобидные модули почему-то получают статус None
LV
Знать бы ещё, кто за это отвечает....
LV
А так конечно это можно со стороны liquid-base исправить, везде расставив
{-# LANGUAGE Trustworthy #-}AP
Ну да, я про то, что заодно надо и людей, отвечающих за safety inference пнуть на этот счёт :) Совершенно безобидные модули почему-то получают статус None
А, понял. Ну на трекере ГХЦ народ разберётся кто ответственный, так что можно и туда ишуй тиснуть. Там конечно больше шансов, что только самому править надо :-)
AP
В смысле запилить патч в сейфти инференс
AP
А так конечно это можно со стороны liquid-base исправить, везде расставив
{-# LANGUAGE Trustworthy #-}Для них это может быть вполне разумным изменением, учитывая направленность ликвида на корректность. Так что с этой стороны более реалистично звучит. Но менее правильно да :-)
LV
А, понял. Ну на трекере ГХЦ народ разберётся кто ответственный, так что можно и туда ишуй тиснуть. Там конечно больше шансов, что только самому править надо :-)
Уф, проект собрала, пойду заниматься социально-важной работой :)
IR
вообще не представляю, что этот скрипт делает
засовывает все ссылки в sqlite по которому zeal потом ходит
JS
засовывает все ссылки в sqlite по которому zeal потом ходит
а, теперь понял. меня упоминания двух SQL в одном файле смутили
JS
но для хаддока его уже готовые инструменты
IR
работают?
JS
пока нет. буду завтра допиливать их
MK
Уф, проект собрала, пойду заниматься социально-важной работой :)
А что ты пытаешься с ликвидом вообще сделать?
LV
А что ты пытаешься с ликвидом вообще сделать?
Доказывать на нём non-interference для eccrypto
MK
Красиво!
LV
Красиво!
Будет круто если получится, да)
2021 February 19
ЗП
c линейными типами больше нельзя wildcards делать?)
то есть по факту все конструкторы должны быть сматчены
то есть по факту все конструкторы должны быть сматчены
VZ
Где-то на Гитлабе был тикет про то, чтобы промоутить Double или Float, и там еще Эйзенберг комментил, что это проблемно из-за плохого поведения проверки на равенство