ЗП
можно уже писать каинды с
@ как с типами?fn (Proxy :: Proxy anyKind)
Size: a a a
2021 January 29
ЗП
ЗП
тогда чего так ок
fn (Proxy :: Proxy anyKind)а так нет
fn @anyKind
YS
fn (Proxy @anyKind)?ЗП
fn (Proxy @anyKind)?верно, оно хотело kind = Type
к
верно, оно хотело kind = Type
потому что PolyKinds не включен
ЗП
потому что PolyKinds не включен
{-# LANGUAGE TypeInType #-}ЗП
он включает в себя вроде
к
{-# LANGUAGE TypeInType #-}легаси экстеншен же
ЗП
без прокси у меня так
-- Expected a type, but
-- ‘UnwrapConst (EvalNat ExprD ('EIf ('ELitBool 'False) ('ELitInt 1) ('EAdd ('ELitInt 42) ('ELitInt 45))))’ has kind
-- ‘PrettyType’
ЗП
сдейл минимальный пример с проксей
ЗП
вот с ним
Proxy @X ок, а @X нет