Miles Sabin
Miles Sabin
Yes, but only if that JDK is on the path. If it's installed, but not on the path then setting `JAVA_HOME` is still required.
> Is it good enough for you? @milessabin Yes, that's just fine.
Probably needs to wait for the SMC refactor.
I honestly think it would be better to retire shapeless lenses in favour of Monocle.
@filinep yes, definitely related. But I think we should be able to do something with, eg. `String` or `Int` singleton-typed keys too.
I think here is the right place to post it. Can you confirm that this bug is REPL-only?
@lshoo how does that stack trace relate to this ticket?
It should be possible to write a method that takes a Zipper argument and yields the result of `.right.get`.
@mandubian I've updated the description to make it clearer what the issue actually is. I've also removed the "Low hanging fruit" label because I think it might be quite fiddly...