diff --git a/ir.py b/ir.py
index 9ae5473..371a244 100644
--- a/ir.py
+++ b/ir.py
@@ -34,6 +34,7 @@ class ReplHole:
 		return '\n'.join(
 			f'const {var_name} = ({var_expr.codegen()});'
 			for (var_name, var_expr) in self.val_bindings
+			if var_name not in types_.BUILTINS_CONTEXT
 		)
 
 @dataclass(frozen=True)