Skip to content

Fix evaluation of values

From discussion with @tomjack , there seems to be a bug for evaluate-value:

$ cat redeclaration.mligo
let x = 1
let y = (x, x)
let x = 5
$ ligo evaluate-value src/test/contracts/redeclaration.mligo y
( 5 , 5 )

This is a quick fix for that. It also accounts for a fix in the order in Ast_typed.get_entry, otherwise this was giving a type error:

let x = true
let x = 4

let f (y : int) = x * 2

Merge request reports

Loading