точно у тебя ж hpack

угу, это все стэк ?

скорее hpack

стек-то ещё куда ни шло

стэк сейчас hpack по умолчанию предлагает

всегда знал что стек это плохо

блин на ноуте опять сдох телеграм и чтож такое

Это было бы замечательно:)

Да, можем поревьюить :)

Завтра скину

я заставил ту штуку скомпиляться

не ясно что с суперрекордом делать, который неиндуктивный нифига

как там явно показывать типы по очереди, чтобы дырки заполнять?

Привет, решил после раста вкатиться в haskell чтобы лучше понимать теркат и зачем нужны HKT

Ухты

Вопрос по stack dot- он умеет графы зависимостей для проектов с несколькими executables?

у меня в проекте их два, binary1 и binary2, команда stack dot binary2 всё равно строит граф для binary1

А если попробовать stack dot :binary2?

странно

может, 2 зависит от 1?

судя по справке, он должен отдельно с компонентом работать

executables в разных пакетах или в одном?

А если попробовать stack dot :binary2?

попробовал, не помогло

executables в разных пакетах или в одном?

в разных

Есть подозрение, что он строит один граф для проекта целиком

должен обрезать

вторая программа зависит от первого пакета?

кажется. он учитывает name из projectName.cabal

кажется. он учитывает name из projectName.cabal

конечно, как-то учитывает

вторая программа зависит от первого пакета?

нет. Два экзешника зависят от одной либы, экзешники друг от друга не зависят

строго говоря, нельзя зависеть от либы как компонента, только от пакета целиком

строго говоря, нельзя зависеть от либы как компонента, только от пакета целиком

да, неправильно выразился

нет, всё правильно, это очень тонкая тонкость

в таком случае да, оба экзешника завсят от всего пакета

если программа Б зависит от пакета А, то программы в пакете А тоже должны собираться для Б

или общая библиотека в третьем пакете?

Похоже, что таки не умеет. Цитата: Side note: When any exe component is specified, all of the package's executable components will be built. This is due to limitations in all currently released versions of Cabal. See issue#1046 https://docs.haskellstack.org/en/v1.7.1/build_command/#target-syntax

Похоже, что таки не умеет. Цитата: Side note: When any exe component is specified, all of the package's executable components will be built. This is due to limitations in all currently released versions of Cabal. See issue#1046 https://docs.haskellstack.org/en/v1.7.1/build_command/#target-syntax

разные пакеты

name: projectName library: ... executables: binary1: dependencies: - projectName - optparse-applicative binary2: dependencies: - shake - projectName

выдержка из package.yaml

name: projectName library: ... executables: binary1: dependencies: - projectName - optparse-applicative binary2: dependencies: - shake - projectName

ты выше говорил, что разные пакеты

ты выше говорил, что разные пакеты

значит, я неправильно понял вопрос

и перепутал модули и пакеты =|

вряд ли модули

проект (stack.yaml) состоит из пакетов (package.yaml | *.cabal)

пакет — из компонентов

компонент = библиотека | программа | тест

у тебя здесь один проект, один пакет, 3 компонента

а собирать одну программу из пакета Кабал не умеет

поэтому граф для binary2 включает и binary1

Спасибо, теперь стало ясно =)

если разнести по разным пакетам, то, может, будет лучше

Господа, а как узнать в мегапарсеке, что парсер зафейлил?

для чего?

p1 <|> p2 — если начался p2, то p1 зафэйлил, например

Вот такой код pos :: Parser Position pos = do posName <- clexem c <- anyChar if c == ',' then return $ Position posName "" else if c == '=' then do posValue <- clexem try $ char ',' return $ Position posName posValue else return $ Position posName ""

c <- anyChar в вот этот момент парсер может зафейлить и если это так, то мне нужно не выполняться дальше

Как это сделать?

Try не подходит, потому, что я не знаю успешно он там отработал или нет

if ... else if... лучше на case заменить.

Справедливо

парсер же и так зафейлится весь если какая-то его часть фейлится, зачем что-то еще городить?

(или я не понял?)

Мне нужно что в стиле try, который дает понять, сфейлилось оно там внутри или нет

Не подскажите?:)

c <- anyChar `onException` return '$'

Смотри Control.Monad.Catch, ищи функции по вкусу

ERROR: S client not available

эксепшены в парсере это нормально?

Почему-то фейлиться вот так

``` c <- anyChar onException return $ Position posName "" ```

c <- anyChar `onException` return `$` Position posName ""

Не компилится

Вот такая ошибка

parse error on input `$'

return (Postion posName "")

c <- anyChar `onException` return (Position posName "")

Вот такая ошибка

No instance for (Control.Monad.Catch.MonadCatch (ParsecT Void String Data.Functor.Identity.Identity)) arising from a use of `onException'

Я неправильно написал?

какие ещё исключения? несовпадения в парсере не бросают исключения

попробуй через <|>

кстати, это какой парсек?

мега

megaparsec

Эта штука не поможет, потому, что тогда я не смогу узнать что в c

Я кажется придумал грязный хак

Эта штука не поможет, потому, что тогда я не смогу узнать что в c

так там ничего не будет в случае фэйла

то есть мне нужно будет проверить как в стиле if c == undefined

?

то есть мне нужно будет проверить как в стиле if c == undefined

тут тебе не JS ;)

Я знаю

c <- anyChar в вот этот момент парсер может зафейлить и если это так, то мне нужно не выполняться дальше

А как он может зафейлить? Достичь конца файла?

сдается мне, ты хочешь optional

А как он может зафейлить? Достичь конца файла?

он фейлит когда там ньюлайн или конец

возможно, а как нужно это должно выглядеть?

сдается мне, ты хочешь optional

которого я в megaparsec почему-то не нахожу

которого я в megaparsec почему-то не нахожу

Control.Applicative

а, ну да

возможно, а как нужно это должно выглядеть?

А что ты хочешь распарсить?