TypeChecker lookup

Question

Closed this issue 8 years ago · 2 comments

How do I access TyCtx inside of typeCheck_aux so I can look up the variable type?

Answer 1 · 2016-10-10T13:14:28.000Z

You should be able to use ask to get the context, and then you can access the context as you do any other list.

Answer 2 · 2016-10-10T13:16:35.000Z

Actually, its a map. So you use (!) from Data.Map to get the value of a key.

So if you have the name of a variable, say x, then to get its type from the context you do

ctx ! x = ty