Closed thomwiggers closed 7 years ago
In e.g. the type signature of TypeEnv, it's using the Var type. However, Var is a data constructor of the language. Instead, use Name as the key for e.g. the TypeEnv Map.
Name
In e.g. the type signature of TypeEnv, it's using the Var type. However, Var is a data constructor of the language. Instead, use
Name
as the key for e.g. the TypeEnv Map.