diff options
author | schinz <schinz@epfl.ch> | 2004-10-14 07:47:30 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2004-10-14 07:47:30 +0000 |
commit | dd012e5461ae23ce388924fcc78cd438c6d8c322 (patch) | |
tree | 92a42bbae99b1b093addd54977f188734b4f5a9f /sources/scalac/Global.java | |
parent | 96bc1b2e6f0a9497875a006e8dc9b1ca7cdc08ad (diff) | |
download | scala-dd012e5461ae23ce388924fcc78cd438c6d8c322.tar.gz scala-dd012e5461ae23ce388924fcc78cd438c6d8c322.tar.bz2 scala-dd012e5461ae23ce388924fcc78cd438c6d8c322.zip |
- added option -Xrtt to enable support for run-...
- added option -Xrtt to enable support for run-time types
Diffstat (limited to 'sources/scalac/Global.java')
-rw-r--r-- | sources/scalac/Global.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index 469aa9ef89..93a19ff47e 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -64,6 +64,7 @@ public abstract class Global { public final boolean uniqid; public final boolean newMatch; public final boolean xmlPreserveWS; + public final boolean runTimeTypes; public final boolean printtypes; public final boolean printtokens; @@ -222,6 +223,7 @@ public abstract class Global { this.uniqid = args.uniqid.value; this.newMatch = args.Xnewmatch.value; this.xmlPreserveWS = args.XpreserveWS.value; + this.runTimeTypes = args.XrunTimeTypes.value; this.explaintypes = args.explaintypes.value; this.printtypes = args.types.value; this.printtokens = args.print.tokens; @@ -271,6 +273,7 @@ public abstract class Global { this.PHASE = args.phases; // if (!optimize) PHASE.remove(args.phases.OPTIMIZE); // TODO: Enable TailCall for other backends when they handle LabelDefs + if (!runTimeTypes) args.phases.TYPESASVALUES.addSkipFlag(); if (target != TARGET_MSIL) args.phases.GENMSIL.addSkipFlag(); if (target != TARGET_JVM) args.phases.GENJVM.addSkipFlag(); if (target != TARGET_JVMFROMICODE) { |