Internal error when type checking Real -> Int assignment

Question

Internal error when type checking Real -> Int assignment

leonardoalt opened this issue 4 years ago · comments

constructor of LValue
interface constructor()

creates
	uint x := 2.5

->

act: internal error: infer type of:Zoom (AlexPn 67 5 20) (IntLit 2) (IntLit 5)
CallStack (from HasCallStack):
  error, called at Type.hs:363:10 in main:Type

dxo · Answer 1 · Wed Dec 16 2020 00:59:19 GMT+0800 (China Standard Time)

I think the error message will get nicer here once we implement support for the "zoom" dot syntax (e.g. LValue.x) for storage reads, we're running into the internal error here because some of the typechecking machinery around that language feature doesn't exist yet...