-# Here we launch the interpreter on the main module
-assert mmodules.length == 1
-var mainmodule = mmodules.first
-var analysis = modelbuilder.do_rapid_type_analysis(mainmodule)
-modelbuilder.run_global_compiler(mainmodule, analysis)
+
+if toolcontext.opt_erasure.value then
+ modelbuilder.run_separate_erasure_compiler(mainmodule, null)
+else if opt_global.value then
+ var analysis = modelbuilder.do_rapid_type_analysis(mainmodule)
+ modelbuilder.run_global_compiler(mainmodule, analysis)
+else
+ var analysis = modelbuilder.do_rapid_type_analysis(mainmodule)
+ modelbuilder.run_separate_compiler(mainmodule, analysis)
+end