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

И поиграть в го

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

Data.Text.Array.new: size overflow
CallStack (from HasCallStack):
  error, called at libraries/text/Data/Text/Array.hs:132:20 in text-1.2.3.1:Data.Text.Array

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

Что же не везёт то(

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

Что-то у тебя не то с текстом

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

new :: forall s. Int -> ST s (MArray s)
new n

  | n < 0 || n .&. highBit /= 0 = array_size_error

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

highBit = maxBound xor (maxBound shiftR 1)

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

Да вот знать бы х(

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

А кто умный в чём прикол проверки выше?

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

n < 0 и n .&. highBit /= 0 это же одно и тоже?

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

Пока решил попробовать решить проблему в стиле "включить/выключить"

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

срез обновлю

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

не помогло(

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

выглядит очень странно

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

А если попробовать с -O0 собрать?

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

сейчас

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

был ещё какой-то флаг отключить rewriting rules

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

Но можно пока из пушки по воробьям пострелять

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

Ilya Kos in Haskell

A64m AL256m qn I0

ну для натов-то такая функциональность в base есть

Оно все равно не поможет

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

Ilya Kos in Haskell

Мне по сути нужны зависимые типы

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

а что где?