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

А нельзя их вручную скачать и вставить в проект?

23:37пожаловаться #1

I O in Haskell

Dmitriy Mozhevitin

Знатоки Template Haskell, подскажите плз по поводу одного вопроса
Хочу написать QuasiQuoter для newtype-обертки над Word64 , а конкретно - чтобы ее можно было юзать в паттерн-матчинге
Видел в интернетах примеры для враппера над строкой, там quotePat выглядит как-то так
\s -> [p| MyType $(TH.litP $ TH.StringL s|]
как мне подсказывает интуиция, litP это что-то типа "паттерн литерал", а StringL - строковый литерал
сомневаюсь что существует что-то типа Word64L , поэтому вопрос - на что заменить StringL , потому что я думаю что остальное должно выглядеть +- так же

IIRC обычного IntegerL достаточно, он будет overloaded

23:38пожаловаться #2

I O in Haskell

Artem Pelenitsyn

WordPrimL?

Он вроде для Word#, не Word64

23:39пожаловаться #3

23:58пожаловаться #4

Может его и установил stack

23:58пожаловаться #5

Но VSC не видит его?

23:58пожаловаться #6

2021 March 18

После изменения package.yaml и пересборки надо перезапускать language server : ctrl-shift-p, Haskell : restart language server

00:07пожаловаться #7

Anton Sorokin

После изменения package.yaml и пересборки надо перезапускать language server : ctrl-shift-p, Haskell : restart language server

Нашел LSP, ничего не поменялось

00:11пожаловаться #8

Нашел LSP, ничего не поменялось

stack repl например нормально работает?

00:11пожаловаться #9

Anton Sorokin

stack repl например нормально работает?

Написал: все 3 модуля загружены

00:12пожаловаться #10

Написал: все 3 модуля загружены

Ну, попробуй vscode перезапустить, но по хорошему должно быть достаточно перезагрузить сервер через ctrl shift p

00:13пожаловаться #11

00:14пожаловаться #12

И VSC перезапускал

00:14пожаловаться #13

Dmitriy Mozhevitin in Haskell

I O

IIRC обычного IntegerL достаточно, он будет overloaded

Couldn't match expected type ‘Integer’ with actual type ‘Word64’

00:16пожаловаться #14

Dmitriy Mozhevitin in Haskell

[p| (MyType $(TH.litP $ TH.IntegerL m)) |]

00:16пожаловаться #15

Maxim Koltsov in Haskell

так надо сконвертировать m из Word в Integer сначала

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

Maxim Koltsov in Haskell

чтобы как литерал можно было использовать

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

И VSC перезапускал

Если после успешного stack build и потом перезапуска vscode все ещё не видит модуль - это видимо общая кривизна Haskell language server под виндой, можешь им issue завести

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

Уже тошнит от этих модулей, даже желание продолжать изучать яп пропало.. пойду спать

00:32пожаловаться #19

Dmitriy Mozhevitin in Haskell

Maxim Koltsov

так надо сконвертировать m из Word в Integer сначала

точно, поплавило меня что-то
все взлетело, всем спасибо!