From 0ba0ca404dc1be824dcf71352ef6594952613189 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@ucc.asn.au>
Date: Sun, 23 Apr 2017 12:28:25 +0800
Subject: main - Annotation about why MIR Check Full is disabled

---
 src/main.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/main.cpp b/src/main.cpp
index a9e4868b..0d1c208c 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -455,6 +455,9 @@ int main(int argc, char *argv[])
         CompilePhaseV("MIR Validate PO", [&]() {
             MIR_CheckCrate(*hir_crate);
             });
+        // - Exhaustive MIR validation (follows every code path and checks variable validity)
+        // > DEBUGGING ONLY
+        // > DISBALED: Excessive memory usage on complex functions
         CompilePhaseV("MIR Validate Full", [&]() {
             //MIR_CheckCrate_Full(*hir_crate);
             });
-- 
cgit v1.2.3