VD
Size: a a a
VD
LV
safe import
? Я заменила base
на liquid-base-4.14.1.0
в зависимостях, и компилятор стал выдавать ошибки, хотя Hackage пишет, что импортируемый мной модуль является Safe-Inferred с точки зрения Safe Haskell....../eccrypto/src/Crypto/Fi.hs:40:1: error:
Data.Bits: Can't be safely imported! The module itself isn't safe.
|
40 | import safe qualified Data.Bits as B (Bits(..),shift,(.&.))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
MK
LV
LV
LV
safe
и ещё ликвид хаскель поверх запуститьK
Data.Bits
сказано, что он Safe
?LV
LV
K
{-# LANGUAGE Trustworthy #-}
module Data.Bits ( module Exports ) where
import "base" Data.Bits as Exports
LV
LV
LV
safe
в этом импорте, он начинает жаловаться на Data.Word и Prelude, которые тоже импортируются через safe import
JS
JS
MK
safe
в этом импорте, он начинает жаловаться на Data.Word и Prelude, которые тоже импортируются через safe import
MK
LV
safe
импортыAP
safe import
? Я заменила base
на liquid-base-4.14.1.0
в зависимостях, и компилятор стал выдавать ошибки, хотя Hackage пишет, что импортируемый мной модуль является Safe-Inferred с точки зрения Safe Haskell....../eccrypto/src/Crypto/Fi.hs:40:1: error:
Data.Bits: Can't be safely imported! The module itself isn't safe.
|
40 | import safe qualified Data.Bits as B (Bits(..),shift,(.&.))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
LV