MK
ты на каком гхц?
Size: a a a
2021 January 25
MP
8.8.4
к
почему оно не кастится?
ведь
ведь
Exp (ListF a0 [k0]) и Base [k0] [k0] -> Type одно и тожеда как одно и то же, там же переменная a0 из воздуха
MK
8.8.4
--disable-delayed-os-memory-return
If given, uses MADV_DONTNEED instead of MADV_FREE on platforms where this results in more accurate resident memory usage of the program as shown in memory usage reporting tools (e.g. the RSS column in top and htop).
Using this is expected to make the program slightly slower.
If given, uses MADV_DONTNEED instead of MADV_FREE on platforms where this results in more accurate resident memory usage of the program as shown in memory usage reporting tools (e.g. the RSS column in top and htop).
Using this is expected to make the program slightly slower.
MK
можешь попробовать с этим?
MK
правда это вроде в 8.10 появилось всё-таки...
ЗП
да как одно и то же, там же переменная a0 из воздуха
ну и как тогда скастить?
MK
правда я совсем не уверен, что это наш случай
MP
--disable-delayed-os-memory-return
If given, uses MADV_DONTNEED instead of MADV_FREE on platforms where this results in more accurate resident memory usage of the program as shown in memory usage reporting tools (e.g. the RSS column in top and htop).
Using this is expected to make the program slightly slower.
If given, uses MADV_DONTNEED instead of MADV_FREE on platforms where this results in more accurate resident memory usage of the program as shown in memory usage reporting tools (e.g. the RSS column in top and htop).
Using this is expected to make the program slightly slower.
ага
интересно
попробую
на nightly вроде тоже собиралось с allow-newer
интересно
попробую
на nightly вроде тоже собиралось с allow-newer
MK
ага, в мане 8.8 этого флага нет
MK
это ртс опция если что
к
как имея
StandaloneKindSignatures
специфицироватьtype Project2 :: forall a. a -> Exp (Base a a)
data Project2 a t
type instance Eval (Project2 '[]) = 'NilF
type instance Eval (Project2 (x ': xs)) = 'ConsF x xs
Expected kind ‘Exp (ListF a0 [k0])’,
but ‘Project2 '[]’ has kind ‘Base [k0] [k0] -> *’
forall a k. Exp (ListF a [k])
это
forall a k. ListF a [k] -> Type
теперь покажи как определен
это
forall a k. ListF a [k] -> Type
теперь покажи как определен
BaseЗП
type Base :: Type -> (Type -> Type)
type family Base t
ЗП
type instance Base [a] = ListF a
ЗП
type ListF :: Type -> Type -> Type
data ListF a b = ConsF a b | NilF
ЗП
и как пофиксить?
ЗП
type Base :: Type -> (Type -> Type)
type family Base t
type Project2 :: forall (a :: Type). a -> Exp (Base a a)
data Project2 a t
type ListF :: Type -> Type -> Type
data ListF a b = ConsF a b | NilF
type instance Base [a] = ListF a
type instance Eval (Project2 '[]) = 'NilF
type instance Eval (Project2 (x ': xs)) = 'ConsF x xs