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