Even for the readln() translation we need to know the type of a variable in advance, in order to convert the read string into the proper type. See @lucarin91 test file as an example.What we translate now, doesn't work:
while op <> 9 do
value <- Console.ReadLine()
we should instead obtain something like:
while op <> 9 do
value <- Convert.ToInt32(Console.ReadLine())
Is it possible to now the type of the variable value at the moment of the assignment, avoiding to keep a symbol table?
Even for the readln() translation we need to know the type of a variable in advance, in order to convert the read string into the proper type. See @lucarin91 test file as an example.What we translate now, doesn't work:
we should instead obtain something like:
Is it possible to now the type of the variable value at the moment of the assignment, avoiding to keep a symbol table?