summaryrefslogtreecommitdiff
path: root/src/main.cpp
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2016-08-02 14:06:27 +0800
committerJohn Hodge <tpg@mutabah.net>2016-08-02 14:06:27 +0800
commitc012616a64909dec2a7860d1a17cc9e5732af2ce (patch)
treeda23ee1888036a73f0cd4f3ed24dc9d4ef1215f3 /src/main.cpp
parent48a52171616d9d1dd12ca1d257c15a32d65d1d22 (diff)
downloadmrust-c012616a64909dec2a7860d1a17cc9e5732af2ce.tar.gz
HIR Typecheck - Draft validation pass
Diffstat (limited to 'src/main.cpp')
-rw-r--r--src/main.cpp3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp
index 84ee907d..b736045c 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -178,6 +178,9 @@ int main(int argc, char *argv[])
CompilePhaseV("Typecheck Expressions", [&]() {
Typecheck_Expressions(*hir_crate);
});
+ CompilePhaseV("Typecheck Expressions (validate)", [&]() {
+ Typecheck_Expressions_Validate(*hir_crate);
+ });
if( params.last_stage == ProgramParams::STAGE_TYPECK ) {
return 0;