From: Jean Privat <jean@pryen.org>
Date: Sun, 15 Mar 2015 15:03:13 +0000 (+0700)
Subject: errasurecomp: disable tagging of primitives to not break the tests
X-Git-Tag: v0.7.3~24^2~2
X-Git-Url: http://nitlanguage.org

errasurecomp: disable tagging of primitives to not break the tests

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/src/compiler/separate_erasure_compiler.nit b/src/compiler/separate_erasure_compiler.nit
index 2c90e65..6e0d2b6 100644
--- a/src/compiler/separate_erasure_compiler.nit
+++ b/src/compiler/separate_erasure_compiler.nit
@@ -39,6 +39,11 @@ redef class ToolContext
 		if opt_no_check_all.value then
 			opt_no_check_erasure_cast.value = true
 		end
+
+		# Temporary disabled. TODO: implement tagging in the erasure compiler.
+		if opt_erasure.value then
+			opt_no_tag_primitives.value = true
+		end
 	end
 
 	var erasure_compiler_phase = new ErasureCompilerPhase(self, null)