Anatolii
выполнять
Donat
ох, а я не хотел проект создавать
Anatolii
ну того проекта которому нужна эта зависимость
Anatolii
а где он тебе ошибку выдал?
Donat
хотел небольшой скрипт написать и использовать runhaskell
Anatolii
это у какой-то либы тогда зависимость?
Donat
я пытался обновить пакет stack install turtle-1.3.1
Anatolii
а тебе прямо последняя версия нужна?
Anatolii
https://www.stackage.org/package/turtle
Anatolii
на стэкэдже она 1.2.8
Donat
мне просто хотелось использовать последнюю версию optparse-applicative
Donat
в более старой сломано что-то
Anatolii
минутку
Anatolii
сейчас попробую поиграться у себя
Anatolii
#!/usr/bin/env stack -- stack --resolver nightly-2017-01-31 --install-ghc runghc --package turtle
Anatolii
вот такую верхушку скрипта сделай
Anatolii
тогда поидее он подтянет тебе 1.3.1 тертла
Donat
спасибо, попробую
Anatolii
он при запуске подтянет ghc новый
Anatolii
ну и пакет уже будет доступен
Anatolii
ghc новый будет долговато тянуться
Anatolii
вот тут подробнее расписано https://docs.haskellstack.org/en/stable/GUIDE/#script-interpreter
Donat
ура, помогло!
Anatolii
отлично:)
Anonymous
Тут есть храбрецы, которые пытались писать на f* или idris? Полистал доку по f* - ничего не понял, зачем так сложно и тд?
Anonymous
Тут бы с монадками разобраться ...
Anonymous
Я не говорю что легко. Это просто на ступень выше (и на самом деле в чем-то проще).
Anonymous
Да я откуда знаю, куча вариантов эффектов, доказательство теорем какое-то хитрое. Глаза разбегаются.
Anonymous
Слишком много смысла в слишком маленьком коде, наверно.
Нурлан
или это вы так f-sharp пишите?
Evgeniy
https://fstar-lang.org
Vladislav
https://fstar-lang.org
dependent types, ура! Только зачем там еще refinement types запихнули тогда?
Alexey
Новый ноутбуко-юпитеро-подобный проект. https://github.com/theam/haskell-do
Dmitry
а кто-нибудь собирал telegram-api с более-менее свежим lts?
Dmitry
In the dependencies for telegram-api-0.6.0.0: aeson-0.11.2.1 must match ==1.0.* (latest applicable is 1.0.2.1) http-client-0.4.31.1 must match >=0.5 && <0.6 (latest applicable is 0.5.5) servant-0.8.1 must match >=0.9 && <0.10 (latest applicable is 0.9.1.1) servant-client-0.8.1 must match >=0.9 && <0.10 (latest applicable is 0.9.1.1)
Dmitry
что-то напрягающая тема, особенно вот это вот aeson-0.11.2.1 must match ==1.0.* (latest applicable is 1.0.2.1)
Dmitry
т.е просто взять и открутить зависимости не получится?
Berkus
а просто поставить более новые?
Berkus
latest applicable вроде подходят под рестрикшены
Berkus
#!/usr/bin/env stack -- stack --resolver nightly-2017-01-31 --install-ghc runghc --package turtle
вот тут выше было как прикрутить к stack нужные версии
Dmitry
там какие-то вылазят зависимости от libstdc++-dev неизвестной версии
igo
а кто-нибудь собирал telegram-api с более-менее свежим lts?
брал nightly, с lts там проблемы какие-то.
Dmitry
с найтли собралось, действительно. wtf...
Нурлан
Телеграмм что на Haskell?
Berkus
клиенты всякие бывают
Alexey
А такое в кабал-файле написать: , aeson >= 1?
Alexey
Если полагаться на lts, то он всё ещё полагается на младшие версии, но если явно в кабале написать, что нужен именно 1, то вряд ли что-то рассыпется.
Alexey
У меня не рассыпается. Все пакеты без указания версии, значит, как в lts, а только aeson >= 1. И всё работает.
Alexander
а кто-нибудь собирал telegram-api с более-менее свежим lts?
В таких случаях обычно cabal download, патч и использование, и кабал инстал и стек умеют, ну и issue на гитхаб
Dmitry
дело в не телеграмме
Dmitry
походу, double-conversion сломан в lts
Alexander
Я бы сказал что могу посмотреть, но точно не найду времени
Dmitry
у меня и мои проекты поломались
Dmitry
double-conversion-2.0.2.0
Alexander
Выкинуть lts предлагали?
Dmitry
Process exited with code: ExitFailure 1 Logs have been written to: /home/dmz/me/aol/aol-web-frontpage/.stack-work/logs/double-conversion-2.0.2.0.log Configuring double-conversion-2.0.2.0... Cabal-simple_mPHDZzAJ_1.24.0.0_ghc-8.0.1: Missing dependency on a foreign library: * Missing C library: stdc++
Dmitry
и что делать?
Dmitry
ну с найтли все работает, но как-то это
Dmitry
неэнтерпрайзно
Alexander
Поставить stdc++?
Alexander
libstdc++ пакет в убунтах, например
Dmitry
хаха. я поставил по моему все какие мог
Dmitry
там куча версий, пока не нашел правильную
Dmitry
в возможно, что установка очередной версии затирает старую, я не знаю
Alexander
А они видны при сборке?
Dmitry
Dmitry
вроде у bos где-т в гитхабе упоминается фикс проблемы
Dmitry
https://github.com/bos/double-conversion/commit/81d53e299f8569249387ecfc949a69ff55ecfe48
Dmitry
но только 13-ое декабря
Dmitry
ну не знаю, видны или нет. если не находит, значит не видны
Dmitry
но раньше-то все работало, и в найтли работает
Dmitry
о чем это говорит?
Dmitry
т.е наверное надо посмотреть версию duble-conversion в найтли и в lts-7.18
Dmitry
понять разницу
Dmitry
посмотреть дифф
Dmitry
и сделать что?
Dmitry
на кой черт вообще в нашем уютненьком потребовались какие-то плюсовые либы? я вот давно заметил, что плюсы это как симптомы какого-т заболевания, я не знаю, шанкры. как только появились плюсы - жди проблем при сборке