Привет! Подскажите, можно ли такой код заставить компилится и на

Question

Привет! Подскажите, можно ли такой код заставить компилится и на

2.13 и на 2.12?
Внимание на строку 10, ev.substituteContra[Either[E, *]](Right(())). В 2.12, как оказалось, нету такого метода у <:<. Только разносить по version-specific папкам исходников? Или забить и просто сделать Right(().asInstanceOf[I])?

https://scastie.scala-lang.org/pedorich-n/qRrf9pTNTQm2QCmWQ4nF5Q/12

#programming #russian #scala

0

02.09.2021

2 ответов

15 просмотров

Nikita Pedorich Автор вопроса

ⰽⱁⱅⱏ ⰿⰵⰶⰴⱆⱄⰾⱁⰲⱑⱀⱐⱄⰽⱏ
На 2.12 =:= как конверсия работает в одну сторону,...

Спасибо! Если потребовать Unit <:< I, то работает и просто Right(()). Немного ломает мозг, конечно, но работает. https://scastie.scala-lang.org/pedorich-n/qRrf9pTNTQm2QCmWQ4nF5Q/14

0

02.09.2021

ⰽⱁⱅⱏ ⰿⰵⰶⰴⱆⱄⰾⱁⰲⱑⱀⱐⱄⰽⱏ · Accepted Answer

ⰽⱁⱅⱏ ⰿⰵⰶⰴⱆⱄⰾⱁⰲⱑⱀⱐⱄⰽⱏ

На 2.12 =:= как конверсия работает в одну сторону, нет flip и прочих операторов. Либо сделать asInstanceOf, либо вместо =:= потребовать <:< в обе стороны

0

02.09.2021

169 похожих чатов

Привет! Подскажите, можно ли такой код заставить компилится и на

2 ответов

Похожие вопросы