Exposed Stack and IsReachable properties on emitter.

Sigil/Emit.cs

@@ -122,6 +122,29 @@ private set
 
 		private readonly RollingVerifier CurrentVerifiers;
 
+        /// <summary>
+		/// The list of potential types on the current stack.
+		/// </summary>
+		public Type[][] Stack
+        {
+            get
+            {
+                return CurrentVerifiers.GetCurrentStack().Item2.Select(sl => sl.Select(si => si.Type).ToArray()).ToArray();
+            }
+        }
+
+        /// <summary> 
+        /// If false, the current location is not reachable.  This is useful information, for instance, when 
+        /// emitting an expression statement where the result is to be discarded, but the emitted node is a throw.
+        /// </summary>
+        public bool IsReachable
+        {
+            get
+            {
+                return !MustMark;
+            }
+        }
+
         private bool MustMark;
 
         private readonly LinqList<int> ElidableCasts;

Sigil/Impl/RollingVerifier.cs

@@ -322,7 +322,7 @@ public virtual VerificationResult ConditionalBranch(params Label[] toLabels)
             return VerificationResult.Successful();
         }
 
-        private SigilTuple<bool, LinqStack<LinqList<TypeOnStack>>> GetCurrentStack()
+        internal SigilTuple<bool, LinqStack<LinqList<TypeOnStack>>> GetCurrentStack()
         {
             SigilTuple<bool, LinqStack<LinqList<TypeOnStack>>> ret = null;
             for(var i = 0; i < CurrentlyInScope.Count; i++)