sigmastate-interpreter icon indicating copy to clipboard operation
sigmastate-interpreter copied to clipboard
verified publisher icon ScorexFoundation

Correct type inference for Option.None

Open aslesarenko opened this issue 7 years ago • 1 comments

Example expressions:

  1. if(b.R5[Int].isDefined) {None} else {(pk, value)}.
  2. val noneInt: Option[Int] = None

SigmaTyper should be fixed, in particular method def assignType(env: Map[String, SType], bound: SValue, expected: Option[SType] = None) Hint, expected should be passed and used.

aslesarenko avatar Feb 18 '19 15:02 aslesarenko

Isn't it frontend issue ? if so, why 6.0 milestone?

kushti avatar Jan 30 '24 11:01 kushti