Телеграмм чат группы haskellru страница 14759

и еще в целой куче других мест кайнды работают через жопу

02:03пожаловаться #1

в 8.10.2

02:03пожаловаться #2

A64m AL256m qn I0

в 8.8 все ок

спасибо

02:03пожаловаться #3

A64m AL256m qn<co... in Haskell

Roman

я пытался заменить на Type

а, значит из за кайндостраданий каких-то

02:04пожаловаться #4

ну отлично

02:05пожаловаться #5

зато у меня в первый раз в жизни вложенные прокси: Proxy @(Proxy arg)

02:05пожаловаться #6

из-за того, что приходится веьс этот дебилизм с кайндами обходить

02:06пожаловаться #7

неужто у них нет тестов на примитивный зависимый паттерн матчинг?

02:06пожаловаться #8

Roman

зато у меня в первый раз в жизни вложенные прокси: Proxy @(Proxy arg)

черт, не спасло(

8.10 · Wiki · Glasgow Haskell Compiler / GHC

02:14пожаловаться #9

A64m AL256m qn<co... in Haskell

Roman

неужто у них нет тестов на примитивный зависимый паттерн матчинг?

тесты у них может и есть, но в 8.10 куча всего переломана
https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/8.10

GitLab

The Glorious Glasgow Haskell Compiler.

02:17пожаловаться #10

A64m AL256m qn<co... in Haskell

всмысле, не случайно, а как запланировано

02:18пожаловаться #11

data ST a :: T a -> Type where

SMkT1 :: ST Int MkT1

SMkT2 :: ST Bool MkT2

02:20пожаловаться #12

я и не знал о таком синтаксисе в хаскеле, а какой в этом смысл, если в хаскеле нет разницы между индексами и параметрами

02:21пожаловаться #13

предполагаемый единственный смысл - писать поменьше каиндов, чтобы сами вывелись

02:22пожаловаться #14

но теперь и это сломано, судя по ссылке выше

02:22пожаловаться #15

кана

в смысле о том что можно мешать data X (a :: Type) и data X :: Type -> Type в одной декларации

02:23пожаловаться #16

тем не менее, там нет кейса связанного с багом @effectfully, думаю нужно заводить тикет

02:25пожаловаться #17

Alexey Raga in Haskell

А как в GH Actions hpack получить? Пока я не перевёл всё это со стака на кабал...

02:25пожаловаться #18

Alexey Raga

А как в GH Actions hpack получить? Пока я не перевёл всё это со стака на кабал...

а nix есть?

02:26пожаловаться #19

Alexey Raga in Haskell

нет