Но ведь во втором случае будет исключение? Или я чего-то не понимаю?

по втором случае поток заблокируется как и положено
в первом — заблокируется намертво, потому что закоммитить транзакцию невозможно

ну вернее войдет в бесконечный цикл retry, как я понимаю

А, первый атомикалли который не сможет записать начнёт яростно ретраить?

Логично...

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

Ну логично, пока транзакция не закоммитися никто читать не может

Прикольно, что сделано, что исключение возникает

чот я посмотрел на внутренности TBQueue и почему это работает

в смысле не должно работать?

Не в смысле почему оно работает эффективно

This type checks:

data D

class C1 a b
class C2 a b

instance C1 a D => C2 a D

newtype N = N D
    deriving newtype (C2 a)

This doesn't:

data D

class C1 a b
class C2 a b where
    c2 :: a -> b

instance C1 a D => C2 a D where
    c2 = undefined

newtype N = N D
    deriving newtype (C2 a)

The error is "No instance for C1 a D arising from the deriving clause of a data type declaration".

Extensions used:

{-# LANGUAGE DerivingVia                #-}
{-# LANGUAGE FlexibleInstances          #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiParamTypeClasses      #-}
{-# LANGUAGE UndecidableInstances       #-}

Any idea what is going on and how to repair that? I can use a standalone deriving declaration, but it's irritating.

как можно перевести Word32 в Word8 ?

fromIntegral ?

реально

спасибо

часть пoрежется правда

<CosmicRay> Is there a way to, say, convert from a Word32 to a Word8 when I know the data in question will fit in a Word8?

<drlion> CosmicRay: just open the file and Word will ask you to convert it

да оно там не выйдет за пределы Word8

сойдет