carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-06 10:54:49 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Clean up Declaration/TypeCheck dependency (#753)

Browse Source 
Looks more like a mistake/legacy than deliberate
This commit is contained in:
Jon Meow
2021-08-16 16:38:09 -07:00
committed by GitHub
parent ae962642e1
commit a6655b320c
3 changed files with 7 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
executable_semantics/interpreter/typecheck.h
+7
View File
@@ -39,6 +39,13 @@ struct TCStatement {
TypeEnv types;
};
struct TypeCheckContext {
// Symbol table mapping names of runtime entities to their type.
TypeEnv types;
// Symbol table mapping names of compile time entities to their value.
Env values;
};
auto TypeCheckExp(const Expression* e, TypeEnv types, Env values)
-> TCExpression;
auto TypeCheckPattern(const Pattern* p, TypeEnv types, Env values,