Merge NRefactory '648eb6b0528d342a82f3cefee795ca1945f95b2f' into SharpDevelop 5.0

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp.AstVerifier/ICSharpCode.NRefactory.CSharp.AstVerifier.csproj

@@ -14,7 +14,7 @@
     <DebugSymbols>true</DebugSymbols>
     <DebugType>full</DebugType>
     <Optimize>false</Optimize>
-    <OutputPath>bin\Debug</OutputPath>
+    <OutputPath>bin\Debug\</OutputPath>
     <DefineConstants>DEBUG;</DefineConstants>
     <ErrorReport>prompt</ErrorReport>
     <WarningLevel>4</WarningLevel>
@@ -23,7 +23,7 @@
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
     <DebugType>none</DebugType>
     <Optimize>false</Optimize>
-    <OutputPath>bin\Release</OutputPath>
+    <OutputPath>bin\Release\</OutputPath>
     <ErrorReport>prompt</ErrorReport>
     <WarningLevel>4</WarningLevel>
     <Externalconsole>true</Externalconsole>
@@ -32,21 +32,21 @@
     <DebugSymbols>true</DebugSymbols>
     <DebugType>full</DebugType>
     <Optimize>false</Optimize>
-    <OutputPath>bin\Debug</OutputPath>
+    <OutputPath>bin\net_4_5_Debug\</OutputPath>
     <DefineConstants>DEBUG;</DefineConstants>
     <ErrorReport>prompt</ErrorReport>
     <WarningLevel>4</WarningLevel>
     <Externalconsole>true</Externalconsole>
-	<TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
+    <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'net_4_5_Release|AnyCPU' ">
     <DebugType>none</DebugType>
     <Optimize>false</Optimize>
-    <OutputPath>bin\Release</OutputPath>
+    <OutputPath>bin\net_4_5_Release\</OutputPath>
     <ErrorReport>prompt</ErrorReport>
     <WarningLevel>4</WarningLevel>
     <Externalconsole>true</Externalconsole>
-	<TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
+    <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
   </PropertyGroup>
   <ItemGroup>
     <Reference Include="System" />

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Analysis/ControlFlow.cs

@@ -361,8 +361,8 @@ namespace ICSharpCode.NRefactory.CSharp.Analysis
 			
 			protected override ControlFlowNode VisitChildren(AstNode node, ControlFlowNode data)
 			{
-				// We have overrides for all possible expressions and should visit expressions only.
+				// We have overrides for all possible statements and should visit statements only.
-				throw new NotImplementedException();
+				throw new NotSupportedException();
 			}
 			
 			public override ControlFlowNode VisitBlockStatement(BlockStatement blockStatement, ControlFlowNode data)

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Analysis/SemanticHighlightingVisitor.cs

@@ -293,7 +293,7 @@ namespace ICSharpCode.NRefactory.CSharp.Analysis
 		#region IsInactiveConditional helper methods
 		bool IsInactiveConditionalMethod(IParameterizedMember member)
 		{
-			if (member.EntityType != EntityType.Method || member.ReturnType.Kind != TypeKind.Void)
+			if (member.SymbolKind != SymbolKind.Method || member.ReturnType.Kind != TypeKind.Void)
 				return false;
 			while (member.IsOverride) {
 				member = (IParameterizedMember)InheritanceHelper.GetBaseMember(member);
@@ -461,21 +461,21 @@ namespace ICSharpCode.NRefactory.CSharp.Analysis
 		
 		bool TryGetMemberColor(IMember member, out TColor color)
 		{
-			switch (member.EntityType) {
+			switch (member.SymbolKind) {
-				case EntityType.Field:
+				case SymbolKind.Field:
 					color = fieldAccessColor;
 					return true;
-				case EntityType.Property:
+				case SymbolKind.Property:
 					color = propertyAccessColor;
 					return true;
-				case EntityType.Event:
+				case SymbolKind.Event:
 					color = eventAccessColor;
 					return true;
-				case EntityType.Method:
+				case SymbolKind.Method:
 					color = methodCallColor;
 					return true;
-				case EntityType.Constructor:
+				case SymbolKind.Constructor:
-				case EntityType.Destructor:
+				case SymbolKind.Destructor:
 					return TryGetTypeHighlighting (member.DeclaringType.Kind, out color);
 				default:
 					color = default (TColor);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/AstNode.cs

@@ -230,6 +230,10 @@ namespace ICSharpCode.NRefactory.CSharp
 			}
 		}
 		
+		internal uint RoleIndex {
+			get { return flags & roleIndexMask; }
+		}
+		
 		void SetRole(Role role)
 		{
 			flags = (flags & ~roleIndexMask) | role.Index;
@@ -293,31 +297,67 @@ namespace ICSharpCode.NRefactory.CSharp
 		}
 		
 		/// <summary>
-		/// Gets all descendants of this node (excluding this node itself).
+		/// Gets all descendants of this node (excluding this node itself) in pre-order.
 		/// </summary>
 		public IEnumerable<AstNode> Descendants {
-			get { return GetDescendants(false); }
+			get { return GetDescendantsImpl(false); }
 		}
 		
 		/// <summary>
-		/// Gets all descendants of this node (including this node itself).
+		/// Gets all descendants of this node (including this node itself) in pre-order.
 		/// </summary>
 		public IEnumerable<AstNode> DescendantsAndSelf {
-			get { return GetDescendants(true); }
+			get { return GetDescendantsImpl(true); }
 		}
-		
+
-		IEnumerable<AstNode> GetDescendants(bool includeSelf)
+		static bool IsInsideRegion(DomRegion region, AstNode pos)
+		{
+			if (region.IsEmpty)
+				return true;
+			var nodeRegion = pos.Region;
+			return region.IntersectsWith(nodeRegion) || region.OverlapsWith(nodeRegion);
+		}
+
+		public IEnumerable<AstNode> DescendantNodes (Func<AstNode, bool> descendIntoChildren = null)
+		{
+			return GetDescendantsImpl(false, new DomRegion (), descendIntoChildren);
+		}
+
+		public IEnumerable<AstNode> DescendantNodes (DomRegion region, Func<AstNode, bool> descendIntoChildren = null)
+		{
+			return GetDescendantsImpl(false, region, descendIntoChildren);
+		}
+
+		public IEnumerable<AstNode> DescendantNodesAndSelf (Func<AstNode, bool> descendIntoChildren = null)
+		{
+			return GetDescendantsImpl(true, new DomRegion (), descendIntoChildren);
+		}
+
+		public IEnumerable<AstNode> DescendantNodesAndSelf (DomRegion region, Func<AstNode, bool> descendIntoChildren = null)
 		{
-			if (includeSelf)
+			return GetDescendantsImpl(true, region, descendIntoChildren);
-				yield return this;
+		}
+
+		IEnumerable<AstNode> GetDescendantsImpl(bool includeSelf, DomRegion region = new DomRegion (), Func<AstNode, bool> descendIntoChildren = null)
+		{
+			if (includeSelf) {
+				if (IsInsideRegion (region, this))
+					yield return this;
+				if (descendIntoChildren != null && !descendIntoChildren(this))
+					yield break;
+			}
+
 			Stack<AstNode> nextStack = new Stack<AstNode>();
 			nextStack.Push(null);
 			AstNode pos = firstChild;
 			while (pos != null) {
+				// Remember next before yielding pos.
+				// This allows removing/replacing nodes while iterating through the list.
 				if (pos.nextSibling != null)
 					nextStack.Push(pos.nextSibling);
-				yield return pos;
+				if (IsInsideRegion(region, pos))
-				if (pos.firstChild != null)
+					yield return pos;
+				if (pos.firstChild != null && (descendIntoChildren == null || descendIntoChildren(pos)))
 					pos = pos.firstChild;
 				else
 					pos = nextStack.Pop();

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/AstNodeCollection.cs

@@ -50,8 +50,9 @@ namespace ICSharpCode.NRefactory.CSharp
 		public int Count {
 			get {
 				int count = 0;
+				uint roleIndex = role.Index;
 				for (AstNode cur = node.FirstChild; cur != null; cur = cur.NextSibling) {
-					if (cur.Role == role)
+					if (cur.RoleIndex == roleIndex)
 						count++;
 				}
 				return count;
@@ -107,7 +108,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		
 		public bool Contains(T element)
 		{
-			return element != null && element.Parent == node && element.Role == role;
+			return element != null && element.Parent == node && element.RoleIndex == role.Index;
 		}
 		
 		public bool Remove(T element)
@@ -163,13 +164,14 @@ namespace ICSharpCode.NRefactory.CSharp
 		
 		public IEnumerator<T> GetEnumerator()
 		{
+			uint roleIndex = role.Index;
 			AstNode next;
 			for (AstNode cur = node.FirstChild; cur != null; cur = next) {
 				Debug.Assert(cur.Parent == node);
 				// Remember next before yielding cur.
 				// This allows removing/replacing nodes while iterating through the list.
 				next = cur.NextSibling;
-				if (cur.Role == role)
+				if (cur.RoleIndex == roleIndex)
 					yield return (T)cur;
 			}
 		}
@@ -214,13 +216,14 @@ namespace ICSharpCode.NRefactory.CSharp
 		/// </summary>
 		public void AcceptVisitor(IAstVisitor visitor)
 		{
+			uint roleIndex = role.Index;
 			AstNode next;
 			for (AstNode cur = node.FirstChild; cur != null; cur = next) {
 				Debug.Assert(cur.Parent == node);
 				// Remember next before yielding cur.
 				// This allows removing/replacing nodes while iterating through the list.
 				next = cur.NextSibling;
-				if (cur.Role == role)
+				if (cur.RoleIndex == roleIndex)
 					cur.AcceptVisitor(visitor);
 			}
 		}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/DepthFirstAstVisitor.cs

@@ -613,12 +613,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		{
 			VisitChildren (namedExpression);
 		}
-		
+
-		public virtual void VisitEmptyExpression (EmptyExpression emptyExpression)
-		{
-			VisitChildren (emptyExpression);
-		}
-		
 		public virtual void VisitPatternPlaceholder(AstNode placeholder, PatternMatching.Pattern pattern)
 		{
 			VisitChildren (placeholder);
@@ -1212,11 +1207,6 @@ namespace ICSharpCode.NRefactory.CSharp
 			return VisitChildren (namedExpression);
 		}
 		
-		public virtual T VisitEmptyExpression (EmptyExpression emptyExpression)
-		{
-			return VisitChildren (emptyExpression);
-		}
-		
 		public virtual T VisitPatternPlaceholder(AstNode placeholder, PatternMatching.Pattern pattern)
 		{
 			return VisitChildren (placeholder);
@@ -1810,11 +1800,6 @@ namespace ICSharpCode.NRefactory.CSharp
 			return VisitChildren (namedExpression, data);
 		}
 		
-		public virtual S VisitEmptyExpression (EmptyExpression emptyExpression, T data)
-		{
-			return VisitChildren (emptyExpression, data);
-		}
-		
 		public virtual S VisitPatternPlaceholder(AstNode placeholder, PatternMatching.Pattern pattern, T data)
 		{
 			return VisitChildren (placeholder, data);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/DocumentationReference.cs

@@ -29,29 +29,29 @@ namespace ICSharpCode.NRefactory.CSharp
 		public static readonly Role<AstType> DeclaringTypeRole = new Role<AstType>("DeclaringType", AstType.Null);
 		public static readonly Role<AstType> ConversionOperatorReturnTypeRole = new Role<AstType>("ConversionOperatorReturnType", AstType.Null);
 		
-		EntityType entityType;
+		SymbolKind symbolKind;
 		OperatorType operatorType;
 		bool hasParameterList;
 		
 		/// <summary>
 		/// Gets/Sets the entity type.
 		/// Possible values are:
-		///   <c>EntityType.Operator</c> for operators,
+		///   <c>SymbolKind.Operator</c> for operators,
-		///   <c>EntityType.Indexer</c> for indexers,
+		///   <c>SymbolKind.Indexer</c> for indexers,
-		///   <c>EntityType.TypeDefinition</c> for references to primitive types,
+		///   <c>SymbolKind.TypeDefinition</c> for references to primitive types,
-		///   and <c>EntityType.None</c> for everything else.
+		///   and <c>SymbolKind.None</c> for everything else.
 		/// </summary>
-		public EntityType EntityType {
+		public SymbolKind SymbolKind {
-			get { return entityType; }
+			get { return symbolKind; }
 			set {
 				ThrowIfFrozen();
-				entityType = value;
+				symbolKind = value;
 			}
 		}
 		
 		/// <summary>
 		/// Gets/Sets the operator type.
-		/// This property is only used when EntityType==Operator.
+		/// This property is only used when SymbolKind==Operator.
 		/// </summary>
 		public OperatorType OperatorType {
 			get { return operatorType; }
@@ -86,7 +86,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		
 		/// <summary>
 		/// Gets/sets the member name.
-		/// This property is only used when EntityType==None.
+		/// This property is only used when SymbolKind==None.
 		/// </summary>
 		public string MemberName {
 			get { return GetChildByRole(Roles.Identifier).Name; }
@@ -95,7 +95,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		
 		/// <summary>
 		/// Gets/Sets the return type of conversion operators.
-		/// This property is only used when EntityType==Operator and OperatorType is explicit or implicit.
+		/// This property is only used when SymbolKind==Operator and OperatorType is explicit or implicit.
 		/// </summary>
 		public AstType ConversionOperatorReturnType {
 			get { return GetChildByRole(ConversionOperatorReturnTypeRole); }
@@ -113,16 +113,16 @@ namespace ICSharpCode.NRefactory.CSharp
 		protected internal override bool DoMatch(AstNode other, ICSharpCode.NRefactory.PatternMatching.Match match)
 		{
 			DocumentationReference o = other as DocumentationReference;
-			if (!(o != null && this.EntityType == o.EntityType && this.HasParameterList == o.HasParameterList))
+			if (!(o != null && this.SymbolKind == o.SymbolKind && this.HasParameterList == o.HasParameterList))
 				return false;
-			if (this.EntityType == EntityType.Operator) {
+			if (this.SymbolKind == SymbolKind.Operator) {
 				if (this.OperatorType != o.OperatorType)
 					return false;
 				if (this.OperatorType == OperatorType.Implicit || this.OperatorType == OperatorType.Explicit) {
 					if (!this.ConversionOperatorReturnType.DoMatch(o.ConversionOperatorReturnType, match))
 						return false;
 				}
-			} else if (this.EntityType == EntityType.None) {
+			} else if (this.SymbolKind == SymbolKind.None) {
 				if (!MatchString(this.MemberName, o.MemberName))
 					return false;
 				if (!this.TypeArguments.DoMatch(o.TypeArguments, match))

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/Expressions/ErrorExpression.cs

@@ -43,6 +43,11 @@ namespace ICSharpCode.NRefactory.CSharp
 			}
 		}
 
+		public string Error {
+			get;
+			private set;
+		}
+
 		public ErrorExpression ()
 		{
 		}
@@ -51,7 +56,18 @@ namespace ICSharpCode.NRefactory.CSharp
 		{
 			this.location = location;
 		}
-		
+
+		public ErrorExpression (string error)
+		{
+			this.Error = error;
+		}
+
+		public ErrorExpression (string error, TextLocation location)
+		{
+			this.location = location;
+			this.Error = error;
+		}
+
 		public override void AcceptVisitor (IAstVisitor visitor)
 		{
 			// nothing

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/Expressions/UnaryOperatorExpression.cs

@@ -62,9 +62,10 @@ namespace ICSharpCode.NRefactory.CSharp
 		public CSharpTokenNode OperatorToken {
 			get { return GetChildByRole (GetOperatorRole (Operator)); }
 		}
-		
+
+		static Expression NoUnaryExpressionError = new ErrorExpression ("No unary expression");
 		public Expression Expression {
-			get { return GetChildByRole (Roles.Expression); }
+			get { return GetChildByRole (Roles.Expression) ?? NoUnaryExpressionError; }
 			set { SetChildByRole (Roles.Expression, value); }
 		}
 		

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/GeneralScope/DelegateDeclaration.cs

@@ -37,8 +37,8 @@ namespace ICSharpCode.NRefactory.CSharp
 			get { return NodeType.TypeDeclaration; }
 		}
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.TypeDefinition; }
+			get { return SymbolKind.TypeDefinition; }
 		}
 		
 		public CSharpTokenNode DelegateToken {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/GeneralScope/PreProcessorDirective.cs

@@ -24,6 +24,7 @@
 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 // THE SOFTWARE.
 using System;
+using System.Collections.Generic;
 
 namespace ICSharpCode.NRefactory.CSharp
 {
@@ -45,6 +46,60 @@ namespace ICSharpCode.NRefactory.CSharp
 		Pragma = 11,
 		Line = 12
 	}
+
+	public class LinePreprocssorDirective : PreProcessorDirective
+	{
+		public int LineNumber {
+			get;
+			set;
+		}
+
+		public string FileName {
+			get;
+			set;
+		}
+
+		public LinePreprocssorDirective(TextLocation startLocation, TextLocation endLocation) : base (PreProcessorDirectiveType.Line, startLocation, endLocation)
+		{
+		}
+
+		public LinePreprocssorDirective(string argument = null) : base (PreProcessorDirectiveType.Line, argument)
+		{
+		}
+	}
+
+	public class PragmaWarningPreprocssorDirective : PreProcessorDirective
+	{
+		public bool Disable {
+			get;
+			set;
+		}
+
+		List<int> warningList = new List<int> ();
+		public IList<int> WarningList {
+			get {
+				return warningList;
+			}
+		}
+
+		public PragmaWarningPreprocssorDirective(TextLocation startLocation, TextLocation endLocation) : base (PreProcessorDirectiveType.Pragma, startLocation, endLocation)
+		{
+		}
+
+		public PragmaWarningPreprocssorDirective(string argument = null) : base (PreProcessorDirectiveType.Pragma, argument)
+		{
+		}
+
+		public void AddWarnings(IEnumerable<int> warningCodes)
+		{
+			warningList.AddRange(warningCodes);
+		}
+
+		public void AddWarnings(params int[] warningCodes)
+		{
+			warningList.AddRange(warningCodes);
+		}
+	}
 	
 	public class PreProcessorDirective : AstNode
 	{

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/GeneralScope/TypeDeclaration.cs

@@ -47,8 +47,8 @@ namespace ICSharpCode.NRefactory.CSharp
 			get { return NodeType.TypeDeclaration; }
 		}
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.TypeDefinition; }
+			get { return SymbolKind.TypeDefinition; }
 		}
 		
 		ClassType classType;

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/IAstVisitor.cs

@@ -59,8 +59,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		void VisitTypeReferenceExpression(TypeReferenceExpression typeReferenceExpression);
 		void VisitUnaryOperatorExpression(UnaryOperatorExpression unaryOperatorExpression);
 		void VisitUncheckedExpression(UncheckedExpression uncheckedExpression);
-		void VisitEmptyExpression (EmptyExpression emptyExpression);
+
-		
 		void VisitQueryExpression(QueryExpression queryExpression);
 		void VisitQueryContinuationClause(QueryContinuationClause queryContinuationClause);
 		void VisitQueryFromClause(QueryFromClause queryFromClause);
@@ -190,8 +189,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		S VisitTypeReferenceExpression(TypeReferenceExpression typeReferenceExpression);
 		S VisitUnaryOperatorExpression(UnaryOperatorExpression unaryOperatorExpression);
 		S VisitUncheckedExpression(UncheckedExpression uncheckedExpression);
-		S VisitEmptyExpression (EmptyExpression emptyExpression);
+
-		
 		S VisitQueryExpression(QueryExpression queryExpression);
 		S VisitQueryContinuationClause(QueryContinuationClause queryContinuationClause);
 		S VisitQueryFromClause(QueryFromClause queryFromClause);
@@ -321,8 +319,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		S VisitTypeReferenceExpression(TypeReferenceExpression typeReferenceExpression, T data);
 		S VisitUnaryOperatorExpression(UnaryOperatorExpression unaryOperatorExpression, T data);
 		S VisitUncheckedExpression(UncheckedExpression uncheckedExpression, T data);
-		S VisitEmptyExpression (EmptyExpression emptyExpression, T data);
+
-		
 		S VisitQueryExpression(QueryExpression queryExpression, T data);
 		S VisitQueryContinuationClause(QueryContinuationClause queryContinuationClause, T data);
 		S VisitQueryFromClause(QueryFromClause queryFromClause, T data);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/ObservableAstVisitor.cs

@@ -842,13 +842,6 @@ namespace ICSharpCode.NRefactory.CSharp
 			Visit(EnterNamedExpression, LeaveNamedExpression, namedExpression);
 		}
 		
-		public event Action<EmptyExpression> EnterEmptyExpression, LeaveEmptyExpression;
-		
-		void IAstVisitor.VisitEmptyExpression(EmptyExpression emptyExpression)
-		{
-			Visit(EnterEmptyExpression, LeaveEmptyExpression, emptyExpression);
-		}
-		
 		void IAstVisitor.VisitPatternPlaceholder(AstNode placeholder, PatternMatching.Pattern pattern)
 		{
 		}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/Statements/BreakStatement.cs

@@ -40,7 +40,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		public CSharpTokenNode SemicolonToken {
 			get { return GetChildByRole (Roles.Semicolon); }
 		}
-		
+
 		public override void AcceptVisitor (IAstVisitor visitor)
 		{
 			visitor.VisitBreakStatement (this);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/SyntaxTree.cs

@@ -164,24 +164,28 @@ namespace ICSharpCode.NRefactory.CSharp
 		
 		public static SyntaxTree Parse (string program, string fileName = "", CompilerSettings settings = null, CancellationToken cancellationToken = default (CancellationToken))
 		{
+			cancellationToken.ThrowIfCancellationRequested();
 			var parser = new CSharpParser (settings);
 			return parser.Parse (program, fileName);
 		}
 		
 		public static SyntaxTree Parse (TextReader reader, string fileName = "", CompilerSettings settings = null, CancellationToken cancellationToken = default (CancellationToken))
 		{
+			cancellationToken.ThrowIfCancellationRequested();
 			var parser = new CSharpParser (settings);
 			return parser.Parse (reader, fileName);
 		}
 		
 		public static SyntaxTree Parse (Stream stream, string fileName = "", CompilerSettings settings = null, CancellationToken cancellationToken = default (CancellationToken))
 		{
+			cancellationToken.ThrowIfCancellationRequested();
 			var parser = new CSharpParser (settings);
 			return parser.Parse (stream, fileName);
 		}
 		
 		public static SyntaxTree Parse (ITextSource textSource, string fileName = "", CompilerSettings settings = null, CancellationToken cancellationToken = default (CancellationToken))
 		{
+			cancellationToken.ThrowIfCancellationRequested();
 			var parser = new CSharpParser (settings);
 			return parser.Parse (textSource, fileName);
 		}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/Accessor.cs

@@ -67,8 +67,8 @@ namespace ICSharpCode.NRefactory.CSharp
 			get { return NodeType.Unknown; }
 		}
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Method; }
+			get { return SymbolKind.Method; }
 		}
 		
 		/// <summary>

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/ConstructorDeclaration.cs

@@ -32,8 +32,8 @@ namespace ICSharpCode.NRefactory.CSharp
 	{
 		public static readonly Role<ConstructorInitializer> InitializerRole = new Role<ConstructorInitializer>("Initializer", ConstructorInitializer.Null);
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Constructor; }
+			get { return SymbolKind.Constructor; }
 		}
 		
 		public CSharpTokenNode LParToken {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/DestructorDeclaration.cs

@@ -36,8 +36,8 @@ namespace ICSharpCode.NRefactory.CSharp
 			get { return GetChildByRole (TildeRole); }
 		}
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Destructor; }
+			get { return SymbolKind.Destructor; }
 		}
 		
 		public CSharpTokenNode LParToken {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/EntityDeclaration.cs

@@ -33,7 +33,7 @@ namespace ICSharpCode.NRefactory.CSharp
 			get { return NodeType.Member; }
 		}
 		
-		public abstract NRefactory.TypeSystem.EntityType EntityType { get; }
+		public abstract NRefactory.TypeSystem.SymbolKind SymbolKind { get; }
 		
 		public AstNodeCollection<AttributeSection> Attributes {
 			get { return base.GetChildrenByRole (AttributeRole); }
@@ -71,7 +71,11 @@ namespace ICSharpCode.NRefactory.CSharp
 			get { return GetChildByRole (Roles.Type); }
 			set { SetChildByRole(Roles.Type, value); }
 		}
-		
+
+		public CSharpTokenNode SemicolonToken {
+			get { return GetChildByRole (Roles.Semicolon); }
+		}
+
 		internal static Modifiers GetModifiers(AstNode node)
 		{
 			Modifiers m = 0;

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/EnumMemberDeclaration.cs

@@ -33,10 +33,14 @@ namespace ICSharpCode.NRefactory.CSharp
 	{
 		public static readonly Role<Expression> InitializerRole = new Role<Expression>("Initializer", Expression.Null);
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Field; }
+			get { return SymbolKind.Field; }
 		}
-		
+
+		public CSharpTokenNode AssignToken {
+			get { return GetChildByRole (Roles.Assign); }
+		}
+
 		public Expression Initializer {
 			get { return GetChildByRole (InitializerRole); }
 			set { SetChildByRole (InitializerRole, value); }

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/EventDeclaration.cs

@@ -36,10 +36,14 @@ namespace ICSharpCode.NRefactory.CSharp
 	{
 		public static readonly TokenRole EventKeywordRole = new TokenRole ("event");
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Event; }
+			get { return SymbolKind.Event; }
 		}
-		
+
+		public CSharpTokenNode EventToken {
+			get { return GetChildByRole (EventKeywordRole); }
+		}
+
 		public AstNodeCollection<VariableInitializer> Variables {
 			get { return GetChildrenByRole (Roles.Variable); }
 		}
@@ -90,8 +94,8 @@ namespace ICSharpCode.NRefactory.CSharp
 		public static readonly Role<Accessor> AddAccessorRole = new Role<Accessor>("AddAccessor", Accessor.Null);
 		public static readonly Role<Accessor> RemoveAccessorRole = new Role<Accessor>("RemoveAccessor", Accessor.Null);
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Event; }
+			get { return SymbolKind.Event; }
 		}
 		
 		/// <summary>

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/FieldDeclaration.cs

@@ -32,8 +32,8 @@ namespace ICSharpCode.NRefactory.CSharp
 {
 	public class FieldDeclaration : EntityDeclaration
 	{
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Field; }
+			get { return SymbolKind.Field; }
 		}
 		
 		public AstNodeCollection<VariableInitializer> Variables {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/FixedFieldDeclaration.cs

@@ -33,8 +33,8 @@ namespace ICSharpCode.NRefactory.CSharp
 		public static readonly TokenRole FixedKeywordRole = new TokenRole ("fixed");
 		public static readonly Role<FixedVariableInitializer> VariableRole = new Role<FixedVariableInitializer> ("FixedVariable");
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Field; }
+			get { return SymbolKind.Field; }
 		}
 		
 		public CSharpTokenNode FixedToken {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/IndexerDeclaration.cs

@@ -36,8 +36,8 @@ namespace ICSharpCode.NRefactory.CSharp
 		public static readonly Role<Accessor> GetterRole = PropertyDeclaration.GetterRole;
 		public static readonly Role<Accessor> SetterRole = PropertyDeclaration.SetterRole;
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Indexer; }
+			get { return SymbolKind.Indexer; }
 		}
 		
 		/// <summary>

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/MethodDeclaration.cs

@@ -30,8 +30,8 @@ namespace ICSharpCode.NRefactory.CSharp
 {
 	public class MethodDeclaration : EntityDeclaration
 	{
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Method; }
+			get { return SymbolKind.Method; }
 		}
 		
 		/// <summary>

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/OperatorDeclaration.cs

@@ -106,8 +106,8 @@ namespace ICSharpCode.NRefactory.CSharp
 		public static readonly TokenRole ExplicitRole = new TokenRole ("explicit");
 		public static readonly TokenRole ImplicitRole = new TokenRole ("implicit");
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Operator; }
+			get { return SymbolKind.Operator; }
 		}
 		
 		OperatorType operatorType;

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Ast/TypeMembers/PropertyDeclaration.cs

@@ -34,8 +34,8 @@ namespace ICSharpCode.NRefactory.CSharp
 		public static readonly Role<Accessor> GetterRole = new Role<Accessor>("Getter", Accessor.Null);
 		public static readonly Role<Accessor> SetterRole = new Role<Accessor>("Setter", Accessor.Null);
 		
-		public override EntityType EntityType {
+		public override SymbolKind SymbolKind {
-			get { return EntityType.Property; }
+			get { return SymbolKind.Property; }
 		}
 		
 		/// <summary>

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Completion/CSharpCompletionEngine.cs

@@ -317,14 +317,14 @@ namespace ICSharpCode.NRefactory.CSharp.Completion
 					bool isProtectedAllowed = ctx.CurrentTypeDefinition != null && initializerType.GetDefinition() != null ? 
 						ctx.CurrentTypeDefinition.IsDerivedFrom(initializerType.GetDefinition()) : 
 							false;
-					foreach (var m in initializerType.GetMembers (m => m.EntityType == EntityType.Field)) {
+					foreach (var m in initializerType.GetMembers (m => m.SymbolKind == SymbolKind.Field)) {
 						var f = m as IField;
 						if (f != null && (f.IsReadOnly || f.IsConst))
 						    continue;
 						if (lookup.IsAccessible (m, isProtectedAllowed))
 							contextList.AddMember(m);
 					}
-					foreach (IProperty m in initializerType.GetMembers (m => m.EntityType == EntityType.Property)) {
+					foreach (IProperty m in initializerType.GetMembers (m => m.SymbolKind == SymbolKind.Property)) {
 						if (m.CanSet && lookup.IsAccessible (m.Setter, isProtectedAllowed))
 							contextList.AddMember(m);
 					}
@@ -1506,7 +1506,7 @@ namespace ICSharpCode.NRefactory.CSharp.Completion
 							if (member is IMethod && ((IMethod)member).FullName == "System.Object.Finalize") {
 								continue;
 							}
-							if (member.EntityType == EntityType.Operator) {
+							if (member.SymbolKind == SymbolKind.Operator) {
 								continue;
 							}
 							if (member.IsExplicitInterfaceImplementation) {
@@ -2159,7 +2159,7 @@ namespace ICSharpCode.NRefactory.CSharp.Completion
 		
 		bool MatchDelegate(IType delegateType, IMethod method)
 		{
-			if (method.EntityType != EntityType.Method)
+			if (method.SymbolKind != SymbolKind.Method)
 				return false;
 			var delegateMethod = delegateType.GetDelegateInvokeMethod();
 			if (delegateMethod == null || delegateMethod.Parameters.Count != method.Parameters.Count) {
@@ -2608,7 +2608,7 @@ namespace ICSharpCode.NRefactory.CSharp.Completion
 					result.AddMember(member);
 				}*/
 				foreach (var member in lookup.GetAccessibleMembers (resolveResult)) {
-					if (member.EntityType == EntityType.Indexer || member.EntityType == EntityType.Operator || member.EntityType == EntityType.Constructor || member.EntityType == EntityType.Destructor) {
+					if (member.SymbolKind == SymbolKind.Indexer || member.SymbolKind == SymbolKind.Operator || member.SymbolKind == SymbolKind.Constructor || member.SymbolKind == SymbolKind.Destructor) {
 						continue;
 					}
 					if (resolvedNode is BaseReferenceExpression && member.IsAbstract) {
@@ -2639,7 +2639,7 @@ namespace ICSharpCode.NRefactory.CSharp.Completion
 					if (member is IMethod && ((IMethod)member).FullName == "System.Object.Finalize") {
 						continue;
 					}
-					if (member.EntityType == EntityType.Operator) {
+					if (member.SymbolKind == SymbolKind.Operator) {
 						continue;
 					}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Completion/CompletionDataWrapper.cs

@@ -1,4 +1,4 @@
-// 
+// 
 // CompletionDataWrapper.cs
 //  
 // Author:
@@ -172,14 +172,14 @@ namespace ICSharpCode.NRefactory.CSharp.Completion
 			List<ICompletionData> existingData;
 			data.TryGetValue (memberKey, out existingData);
 			if (existingData != null) {
-				if (member.EntityType == EntityType.Field || member.EntityType == EntityType.Property || member.EntityType == EntityType.Event)
+				if (member.SymbolKind == SymbolKind.Field || member.SymbolKind == SymbolKind.Property || member.SymbolKind == SymbolKind.Event)
 					return null;
 				var a = member as IEntity;
 				foreach (var d in existingData) {
 					if (!(d is IEntityCompletionData))
 						continue;
 					var b = ((IEntityCompletionData)d).Entity;
-					if (a == null || b == null || a.EntityType == b.EntityType) {
+					if (a == null || b == null || a.SymbolKind == b.SymbolKind) {
 						d.AddOverload (newData);
 						return d;
 					} 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Formatter/FormattingVisitor_Global.cs

@@ -23,7 +23,6 @@
 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 // THE SOFTWARE.
-
 using System;
 using System.Linq;
 
@@ -47,16 +46,16 @@ namespace ICSharpCode.NRefactory.CSharp
 		public override void VisitSyntaxTree(SyntaxTree unit)
 		{
 			bool first = true;
-			VisitChildrenToFormat (unit, child => {
+			VisitChildrenToFormat(unit, child => {
 				if (first && (child is UsingDeclaration || child is UsingAliasDeclaration)) {
-					EnsureBlankLinesBefore (child, policy.BlankLinesBeforeUsings);
+					EnsureBlankLinesBefore(child, policy.BlankLinesBeforeUsings);
 					first = false;
 				}
 				if (NoWhitespacePredicate(child))
 					FixIndentation(child);
 				child.AcceptVisitor(this);
 				if (NoWhitespacePredicate(child))
-					EnsureNewLinesAfter(child, GetGlobalNewLinesFor (child));
+					EnsureNewLinesAfter(child, GetGlobalNewLinesFor(child));
 			});
 		}
 
@@ -79,9 +78,13 @@ namespace ICSharpCode.NRefactory.CSharp
 				curIndent.Push(IndentType.Block);
 
 			bool first = true;
-			VisitChildrenToFormat (namespaceDeclaration, child => {
+			bool startFormat = false;
+			VisitChildrenToFormat(namespaceDeclaration, child => {
+				if (first) {
+					startFormat = child.StartLocation > namespaceDeclaration.LBraceToken.StartLocation;
+				}
 				if (child.Role == Roles.LBrace) {
-					var next = child.GetNextSibling (NoWhitespacePredicate);
+					var next = child.GetNextSibling(NoWhitespacePredicate);
 					var blankLines = 1;
 					if (next is UsingDeclaration || next is UsingAliasDeclaration) {
 						blankLines += policy.BlankLinesBeforeUsings;
@@ -89,9 +92,14 @@ namespace ICSharpCode.NRefactory.CSharp
 						blankLines += policy.BlankLinesBeforeFirstDeclaration;
 					}
 					EnsureNewLinesAfter(child, blankLines);
+					startFormat = true;
+					return;
+				}
+				if (child.Role == Roles.RBrace) {
+					startFormat = false;
 					return;
 				}
-				if (child.Role != NamespaceDeclaration.MemberRole)
+				if (!startFormat || !NoWhitespacePredicate (child))
 					return;
 				if (first && (child is UsingDeclaration || child is UsingAliasDeclaration)) {
 					// TODO: policy.BlankLinesBeforeUsings
@@ -101,31 +109,39 @@ namespace ICSharpCode.NRefactory.CSharp
 					FixIndentationForceNewLine(child);
 				child.AcceptVisitor(this);
 				if (NoWhitespacePredicate(child))
-					EnsureNewLinesAfter(child, GetGlobalNewLinesFor (child));
+					EnsureNewLinesAfter(child, GetGlobalNewLinesFor(child));
 			});
 
 			if (policy.IndentNamespaceBody)
-				curIndent.Pop ();
+				curIndent.Pop();
 
 			FixClosingBrace(policy.NamespaceBraceStyle, namespaceDeclaration.RBraceToken);
 		}
 
-		void FixAttributes(EntityDeclaration entity)
+		void FixAttributesAndDocComment(EntityDeclaration entity)
 		{
+			var node = entity.FirstChild;
+			while (node != null && node.Role == Roles.Comment) {
+				node = node.GetNextSibling(NoWhitespacePredicate);
+				FixIndentation(node);
+			}
 			if (entity.Attributes.Count > 0) {
-				AstNode n = null;;
+				AstNode n = null;
 				foreach (var attr in entity.Attributes.Skip (1)) {
 					FixIndentation(attr);
 					n = attr;
 				}
-				if (n != null)
+				if (n != null) {
-					FixIndentation(n.GetNextNode (NoWhitespacePredicate));
+					FixIndentation(n.GetNextNode(NoWhitespacePredicate));
+				} else {
+					FixIndentation(entity.Attributes.First().GetNextNode(NoWhitespacePredicate));
+				}
 			}
 		}
-	
+
 		public override void VisitTypeDeclaration(TypeDeclaration typeDeclaration)
 		{
-			FixAttributes(typeDeclaration);
+			FixAttributesAndDocComment(typeDeclaration);
 			BraceStyle braceStyle;
 			bool indentBody = false;
 			switch (typeDeclaration.ClassType) {
@@ -148,20 +164,41 @@ namespace ICSharpCode.NRefactory.CSharp
 				default:
 					throw new InvalidOperationException("unsupported class type : " + typeDeclaration.ClassType);
 			}
+			
+			foreach (var constraint in typeDeclaration.Constraints)
+				constraint.AcceptVisitor (this);
 
 			FixOpenBrace(braceStyle, typeDeclaration.LBraceToken);
 
 			if (indentBody)
 				curIndent.Push(IndentType.Block);
-
+			bool startFormat = true;
-			VisitChildrenToFormat (typeDeclaration, child => {
+			bool first = true;
-				if (child.Role != Roles.TypeMemberRole)
+			VisitChildrenToFormat(typeDeclaration, child => {
+				if (first) {
+					startFormat = child.StartLocation > typeDeclaration.LBraceToken.StartLocation;
+					first = false;
+				}
+				if (child.Role == Roles.LBrace) {
+					startFormat = true;
 					return;
+				}
+				if (child.Role == Roles.RBrace) {
+					startFormat = false;
+					return;
+				}
+				if (!startFormat || !NoWhitespacePredicate (child))
+					return;
+				if (child.Role == Roles.Comma) {
+					ForceSpacesBeforeRemoveNewLines (child, false);
+					EnsureNewLinesAfter(child, 1);
+					return;
+				} 
 				if (NoWhitespacePredicate(child))
 					FixIndentationForceNewLine(child);
-				child.AcceptVisitor (this);
+				child.AcceptVisitor(this);
-				if (NoWhitespacePredicate(child))
+				if (NoWhitespacePredicate(child) && child.GetNextSibling (NoWhitespacePredicate).Role != Roles.Comma)
-					EnsureNewLinesAfter(child, GetTypeLevelNewLinesFor (child));
+					EnsureNewLinesAfter(child, GetTypeLevelNewLinesFor(child));
 			});
 
 			if (indentBody)
@@ -174,7 +211,8 @@ namespace ICSharpCode.NRefactory.CSharp
 		{
 			var blankLines = 1;
 			var nextSibling = child.GetNextSibling(NoWhitespacePredicate);
-
+			if (child is PreProcessorDirective || child is Comment)
+				return 1;
 			if (child is EventDeclaration) {
 				if (nextSibling is EventDeclaration) {
 					blankLines += policy.BlankLinesBetweenEventFields;
@@ -198,7 +236,6 @@ namespace ICSharpCode.NRefactory.CSharp
 
 			if (nextSibling.Role == Roles.TypeMemberRole)
 				blankLines += policy.BlankLinesBetweenMembers;
-
 			return blankLines;
 		}
 
@@ -216,11 +253,26 @@ namespace ICSharpCode.NRefactory.CSharp
 
 			base.VisitDelegateDeclaration(delegateDeclaration);
 		}
-		
+
 		public override void VisitComment(Comment comment)
 		{
 			if (comment.StartsLine && !HadErrors && (!policy.KeepCommentsAtFirstColumn || comment.StartLocation.Column > 1))
 				FixIndentation(comment);
 		}
+
+		public override void VisitConstraint(Constraint constraint)
+		{
+			VisitChildrenToFormat (constraint, node => {
+				if (node is AstType) {
+					node.AcceptVisitor (this);
+				} else if (node.Role == Roles.LPar) {
+					ForceSpacesBefore (node, false);
+					ForceSpacesAfter (node, false);
+				} else if (node.Role ==Roles.Comma) {
+					ForceSpacesBefore (node, false);
+					ForceSpacesAfter (node, true);
+				}
+			});
+		}
 	}
 }

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Formatter/FormattingVisitor_TypeMembers.cs

@@ -32,7 +32,7 @@ namespace ICSharpCode.NRefactory.CSharp
 	{
 		public override void VisitPropertyDeclaration(PropertyDeclaration propertyDeclaration)
 		{
-			FixAttributes(propertyDeclaration);
+			FixAttributesAndDocComment(propertyDeclaration);
 			bool oneLine = false;
 			bool fixClosingBrace = false;
 			switch (policy.PropertyFormatting) {
@@ -158,7 +158,7 @@ namespace ICSharpCode.NRefactory.CSharp
 
 		public override void VisitAccessor(Accessor accessor)
 		{
-			FixAttributes(accessor);
+			FixAttributesAndDocComment(accessor);
 
 			base.VisitAccessor(accessor);
 		}
@@ -166,7 +166,7 @@ namespace ICSharpCode.NRefactory.CSharp
 
 		public override void VisitIndexerDeclaration(IndexerDeclaration indexerDeclaration)
 		{
-			FixAttributes(indexerDeclaration);
+			FixAttributesAndDocComment(indexerDeclaration);
 
 			ForceSpacesBefore(indexerDeclaration.LBracketToken, policy.SpaceBeforeIndexerDeclarationBracket);
 			ForceSpacesAfter(indexerDeclaration.LBracketToken, policy.SpaceWithinIndexerDeclarationBracket);
@@ -217,7 +217,7 @@ namespace ICSharpCode.NRefactory.CSharp
 
 		public override void VisitCustomEventDeclaration(CustomEventDeclaration eventDeclaration)
 		{
-			FixAttributes(eventDeclaration);
+			FixAttributesAndDocComment(eventDeclaration);
 
 			FixOpenBrace(policy.EventBraceStyle, eventDeclaration.LBraceToken);
 			if (policy.IndentEventBody)
@@ -259,8 +259,16 @@ namespace ICSharpCode.NRefactory.CSharp
 
 		public override void VisitEventDeclaration(EventDeclaration eventDeclaration)
 		{
-			FixAttributes(eventDeclaration);
+			FixAttributesAndDocComment(eventDeclaration);
 
+			foreach (var m in eventDeclaration.ModifierTokens) {
+				ForceSpacesAfter(m, true);
+			}
+
+			ForceSpacesBeforeRemoveNewLines(eventDeclaration.EventToken.GetNextSibling (NoWhitespacePredicate), true);
+			eventDeclaration.ReturnType.AcceptVisitor(this);
+			ForceSpacesAfter(eventDeclaration.ReturnType, true);
+			/*
 			var lastLoc = eventDeclaration.StartLocation;
 			curIndent.Push(IndentType.Block);
 			foreach (var initializer in eventDeclaration.Variables) {
@@ -271,19 +279,21 @@ namespace ICSharpCode.NRefactory.CSharp
 				initializer.AcceptVisitor(this);
 			}
 			curIndent.Pop ();
+			*/
+			FixSemicolon(eventDeclaration.SemicolonToken);
 		}
 
 		
 		public override void VisitFieldDeclaration(FieldDeclaration fieldDeclaration)
 		{
-			FixAttributes(fieldDeclaration);
+			FixAttributesAndDocComment(fieldDeclaration);
 
 			fieldDeclaration.ReturnType.AcceptVisitor(this);
 			ForceSpacesAfter(fieldDeclaration.ReturnType, true);
 
 			FormatCommas(fieldDeclaration, policy.SpaceBeforeFieldDeclarationComma, policy.SpaceAfterFieldDeclarationComma);
 
-			var lastLoc = fieldDeclaration.StartLocation;
+			var lastLoc = fieldDeclaration.ReturnType.StartLocation;
 			foreach (var initializer in fieldDeclaration.Variables) {
 				if (lastLoc.Line != initializer.StartLocation.Line) {
 					curIndent.Push(IndentType.Block);
@@ -293,11 +303,12 @@ namespace ICSharpCode.NRefactory.CSharp
 				}
 				initializer.AcceptVisitor(this);
 			}
+			FixSemicolon(fieldDeclaration.SemicolonToken);
 		}
 
 		public override void VisitFixedFieldDeclaration(FixedFieldDeclaration fixedFieldDeclaration)
 		{
-			FixAttributes(fixedFieldDeclaration);
+			FixAttributesAndDocComment(fixedFieldDeclaration);
 
 			FormatCommas(fixedFieldDeclaration, policy.SpaceBeforeFieldDeclarationComma, policy.SpaceAfterFieldDeclarationComma);
 
@@ -311,18 +322,22 @@ namespace ICSharpCode.NRefactory.CSharp
 				initializer.AcceptVisitor(this);
 			}
 			curIndent.Pop ();
+			FixSemicolon(fixedFieldDeclaration.SemicolonToken);
 		}
 
 		public override void VisitEnumMemberDeclaration(EnumMemberDeclaration enumMemberDeclaration)
 		{
-			FixAttributes(enumMemberDeclaration);
+			FixAttributesAndDocComment(enumMemberDeclaration);
-
+			var initializer = enumMemberDeclaration.Initializer;
-			base.VisitEnumMemberDeclaration(enumMemberDeclaration);
+			if (!initializer.IsNull) {
+				ForceSpacesAround(enumMemberDeclaration.AssignToken, policy.SpaceAroundAssignment);
+				initializer.AcceptVisitor (this);
+			}
 		}
 
 		public override void VisitMethodDeclaration(MethodDeclaration methodDeclaration)
 		{
-			FixAttributes(methodDeclaration);
+			FixAttributesAndDocComment(methodDeclaration);
 
 			ForceSpacesBefore(methodDeclaration.LParToken, policy.SpaceBeforeMethodDeclarationParentheses);
 			if (methodDeclaration.Parameters.Any()) {
@@ -332,6 +347,9 @@ namespace ICSharpCode.NRefactory.CSharp
 				ForceSpacesAfter(methodDeclaration.LParToken, policy.SpaceBetweenEmptyMethodDeclarationParentheses);
 				ForceSpacesBefore(methodDeclaration.RParToken, policy.SpaceBetweenEmptyMethodDeclarationParentheses);
 			}
+			
+			foreach (var constraint in methodDeclaration.Constraints)
+				constraint.AcceptVisitor (this);
 
 			if (!methodDeclaration.Body.IsNull) {
 				FixOpenBrace(policy.MethodBraceStyle, methodDeclaration.Body.LBraceToken);
@@ -342,7 +360,7 @@ namespace ICSharpCode.NRefactory.CSharp
 
 		public override void VisitOperatorDeclaration(OperatorDeclaration operatorDeclaration)
 		{
-			FixAttributes(operatorDeclaration);
+			FixAttributesAndDocComment(operatorDeclaration);
 
 			ForceSpacesBefore(operatorDeclaration.LParToken, policy.SpaceBeforeMethodDeclarationParentheses);
 			if (operatorDeclaration.Parameters.Any()) {
@@ -362,7 +380,7 @@ namespace ICSharpCode.NRefactory.CSharp
 
 		public override void VisitConstructorDeclaration(ConstructorDeclaration constructorDeclaration)
 		{
-			FixAttributes(constructorDeclaration);
+			FixAttributesAndDocComment(constructorDeclaration);
 
 			ForceSpacesBefore(constructorDeclaration.LParToken, policy.SpaceBeforeConstructorDeclarationParentheses);
 			if (constructorDeclaration.Parameters.Any()) {
@@ -382,7 +400,7 @@ namespace ICSharpCode.NRefactory.CSharp
 
 		public override void VisitDestructorDeclaration(DestructorDeclaration destructorDeclaration)
 		{
-			FixAttributes(destructorDeclaration);
+			FixAttributesAndDocComment(destructorDeclaration);
 
 			CSharpTokenNode lParen = destructorDeclaration.LParToken;
 			ForceSpaceBefore(lParen, policy.SpaceBeforeConstructorDeclarationParentheses);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Formatter/Indent.cs

@@ -126,7 +126,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		void Update()
 		{
 			if (options.TabsToSpaces) {
-				indentString = new string(' ', curIndent);
+				indentString = new string(' ', curIndent + ExtraSpaces);
 				return;
 			}
 			indentString = new string('\t', curIndent / options.TabSize) + new string(' ', curIndent % options.TabSize) + new string(' ', ExtraSpaces);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/ICSharpCode.NRefactory.CSharp.csproj

@@ -42,11 +42,13 @@
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
     <DebugType>none</DebugType>
     <AllowUnsafeBlocks>True</AllowUnsafeBlocks>
+    <OutputPath>..\bin\Release\</OutputPath>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
     <DebugType>full</DebugType>
     <DebugSymbols>True</DebugSymbols>
     <AllowUnsafeBlocks>True</AllowUnsafeBlocks>
+    <OutputPath>..\bin\Debug\</OutputPath>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)' == 'net_4_5_Debug' ">
     <Optimize>False</Optimize>
@@ -59,6 +61,7 @@
     <DebugSymbols>True</DebugSymbols>
     <AllowUnsafeBlocks>True</AllowUnsafeBlocks>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
+    <OutputPath>..\bin\net_4_5_Debug\</OutputPath>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)' == 'net_4_5_Release' ">
     <Optimize>True</Optimize>
@@ -70,6 +73,7 @@
     <DebugType>none</DebugType>
     <AllowUnsafeBlocks>True</AllowUnsafeBlocks>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
+    <OutputPath>..\bin\net_4_5_Release\</OutputPath>
   </PropertyGroup>
   <ItemGroup>
     <Reference Include="System" />
@@ -115,7 +119,6 @@
     <Compile Include="Ast\Expressions\ConditionalExpression.cs" />
     <Compile Include="Ast\Expressions\DefaultValueExpression.cs" />
     <Compile Include="Ast\Expressions\DirectionExpression.cs" />
-    <Compile Include="Ast\Expressions\EmptyExpression.cs" />
     <Compile Include="Ast\Expressions\Expression.cs" />
     <Compile Include="Ast\Expressions\IdentifierExpression.cs" />
     <Compile Include="Ast\Expressions\IndexerExpression.cs" />
@@ -296,11 +299,11 @@
     <Compile Include="Refactoring\CodeIssues\CastExpressionOfIncompatibleTypeIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\CompareBooleanWithTrueOrFalseIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\CompareFloatWithEqualityOperatorIssue.cs" />
+    <Compile Include="Refactoring\CodeIssues\CompilerErrors\CS0029InvalidConversionIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\ConstantConditionIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\DoubleNegationIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\ExpressionIsAlwaysOfProvidedTypeIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\ExpressionIsNeverOfProvidedTypeIssue.cs" />
-    <Compile Include="Refactoring\CodeIssues\ExpressionOfCompatibleTypeCastIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\MethodNeverReturnsIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\MethodOverloadHidesOptionalParameterIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\MissingStringComparisonIssue.cs" />
@@ -401,8 +404,6 @@
     <Compile Include="Refactoring\ContextActionAttribute.cs" />
     <Compile Include="Refactoring\IssueAttribute.cs" />
     <Compile Include="Refactoring\CodeIssues\IssueCategories.cs" />
-    <Compile Include="Refactoring\Severity.cs" />
-    <Compile Include="Refactoring\IssueMarker.cs" />
     <Compile Include="Refactoring\CodeIssues\GatherVisitorBase.cs" />
     <Compile Include="Refactoring\CodeIssues\ConditionalToNullCoalescingIssue.cs" />
     <Compile Include="Refactoring\CodeIssues\NotImplementedExceptionIssue.cs" />

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/OutputVisitor/CSharpAmbience.cs

@@ -96,7 +96,7 @@ namespace ICSharpCode.NRefactory.CSharp
 				WriteMemberDeclarationName((IMember)entity, formatter, formattingPolicy);
 			
 			if ((ConversionFlags & ConversionFlags.ShowParameterList) == ConversionFlags.ShowParameterList && HasParameters(entity)) {
-				formatter.WriteToken(entity.EntityType == EntityType.Indexer ? "[" : "(");
+				formatter.WriteToken(entity.SymbolKind == SymbolKind.Indexer ? "[" : "(");
 				bool first = true;
 				foreach (var param in node.GetChildrenByRole(Roles.Parameter)) {
 					if (first) {
@@ -107,7 +107,7 @@ namespace ICSharpCode.NRefactory.CSharp
 					}
 					param.AcceptVisitor(new CSharpOutputVisitor(formatter, formattingPolicy));
 				}
-				formatter.WriteToken(entity.EntityType == EntityType.Indexer ? "]" : ")");
+				formatter.WriteToken(entity.SymbolKind == SymbolKind.Indexer ? "]" : ")");
 			}
 			
 			if ((ConversionFlags & ConversionFlags.ShowBody) == ConversionFlags.ShowBody && !(node is TypeDeclaration)) {
@@ -135,14 +135,14 @@ namespace ICSharpCode.NRefactory.CSharp
 		
 		bool HasParameters(IEntity e)
 		{
-			switch (e.EntityType) {
+			switch (e.SymbolKind) {
-				case EntityType.TypeDefinition:
+				case SymbolKind.TypeDefinition:
 					return ((ITypeDefinition)e).Kind == TypeKind.Delegate;
-				case EntityType.Indexer:
+				case SymbolKind.Indexer:
-				case EntityType.Method:
+				case SymbolKind.Method:
-				case EntityType.Operator:
+				case SymbolKind.Operator:
-				case EntityType.Constructor:
+				case SymbolKind.Constructor:
-				case EntityType.Destructor:
+				case SymbolKind.Destructor:
 					return true;
 				default:
 					return false;
@@ -184,18 +184,18 @@ namespace ICSharpCode.NRefactory.CSharp
 				ConvertType(member.DeclaringType, formatter, formattingPolicy);
 				formatter.WriteToken(".");
 			}
-			switch (member.EntityType) {
+			switch (member.SymbolKind) {
-				case EntityType.Indexer:
+				case SymbolKind.Indexer:
 					formatter.WriteKeyword("this");
 					break;
-				case EntityType.Constructor:
+				case SymbolKind.Constructor:
 					formatter.WriteIdentifier(member.DeclaringType.Name);
 					break;
-				case EntityType.Destructor:
+				case SymbolKind.Destructor:
 					formatter.WriteToken("~");
 					formatter.WriteIdentifier(member.DeclaringType.Name);
 					break;
-				case EntityType.Operator:
+				case SymbolKind.Operator:
 					switch (member.Name) {
 						case "op_Implicit":
 							formatter.WriteKeyword("implicit");
@@ -226,7 +226,7 @@ namespace ICSharpCode.NRefactory.CSharp
 					formatter.WriteIdentifier(member.Name);
 					break;
 			}
-			if ((ConversionFlags & ConversionFlags.ShowTypeParameterList) == ConversionFlags.ShowTypeParameterList && member.EntityType == EntityType.Method) {
+			if ((ConversionFlags & ConversionFlags.ShowTypeParameterList) == ConversionFlags.ShowTypeParameterList && member.SymbolKind == SymbolKind.Method) {
 				var outputVisitor = new CSharpOutputVisitor(formatter, formattingPolicy);
 				outputVisitor.WriteTypeParameters(astBuilder.ConvertEntity(member).GetChildrenByRole(Roles.TypeParameter));
 			}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/OutputVisitor/CSharpOutputVisitor.cs

@@ -989,12 +989,6 @@ namespace ICSharpCode.NRefactory.CSharp
 			EndNode(pointerReferenceExpression);
 		}
 		
-		public void VisitEmptyExpression(EmptyExpression emptyExpression)
-		{
-			StartNode(emptyExpression);
-			EndNode(emptyExpression);
-		}
-
 		#region VisitPrimitiveExpression
 		public void VisitPrimitiveExpression(PrimitiveExpression primitiveExpression)
 		{
@@ -2597,18 +2591,18 @@ namespace ICSharpCode.NRefactory.CSharp
 			StartNode(documentationReference);
 			if (!documentationReference.DeclaringType.IsNull) {
 				documentationReference.DeclaringType.AcceptVisitor(this);
-				if (documentationReference.EntityType != EntityType.TypeDefinition) {
+				if (documentationReference.SymbolKind != SymbolKind.TypeDefinition) {
 					WriteToken(Roles.Dot);
 				}
 			}
-			switch (documentationReference.EntityType) {
+			switch (documentationReference.SymbolKind) {
-				case EntityType.TypeDefinition:
+				case SymbolKind.TypeDefinition:
 					// we already printed the DeclaringType
 					break;
-				case EntityType.Indexer:
+				case SymbolKind.Indexer:
 					WriteKeyword(IndexerDeclaration.ThisKeywordRole);
 					break;
-				case EntityType.Operator:
+				case SymbolKind.Operator:
 					var opType = documentationReference.OperatorType;
 					if (opType == OperatorType.Explicit) {
 						WriteKeyword(OperatorDeclaration.ExplicitRole);
@@ -2630,7 +2624,7 @@ namespace ICSharpCode.NRefactory.CSharp
 			WriteTypeArguments(documentationReference.TypeArguments);
 			if (documentationReference.HasParameterList) {
 				Space(policy.SpaceBeforeMethodDeclarationParentheses);
-				if (documentationReference.EntityType == EntityType.Indexer) {
+				if (documentationReference.SymbolKind == SymbolKind.Indexer) {
 					WriteCommaSeparatedListInBrackets(documentationReference.Parameters, policy.SpaceWithinMethodDeclarationParentheses);
 				} else {
 					WriteCommaSeparatedListInParenthesis(documentationReference.Parameters, policy.SpaceWithinMethodDeclarationParentheses);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/OutputVisitor/CodeDomConvertVisitor.cs

@@ -591,11 +591,6 @@ namespace ICSharpCode.NRefactory.CSharp
 			return MakeSnippetExpression(uncheckedExpression);
 		}
 		
-		CodeObject IAstVisitor<CodeObject>.VisitEmptyExpression(EmptyExpression emptyExpression)
-		{
-			return null;
-		}
-		
 		CodeObject IAstVisitor<CodeObject>.VisitQueryExpression(QueryExpression queryExpression)
 		{
 			return MakeSnippetExpression(queryExpression);
@@ -685,7 +680,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		CodeObject IAstVisitor<CodeObject>.VisitDelegateDeclaration(DelegateDeclaration delegateDeclaration)
 		{
 			CodeTypeDelegate d = new CodeTypeDelegate(delegateDeclaration.Name);
-			d.Attributes = ConvertMemberAttributes(delegateDeclaration.Modifiers, EntityType.TypeDefinition);
+			d.Attributes = ConvertMemberAttributes(delegateDeclaration.Modifiers, SymbolKind.TypeDefinition);
 			d.CustomAttributes.AddRange(Convert(delegateDeclaration.Attributes));
 			d.ReturnType = Convert(delegateDeclaration.ReturnType);
 			d.Parameters.AddRange(Convert(delegateDeclaration.Parameters));
@@ -693,14 +688,14 @@ namespace ICSharpCode.NRefactory.CSharp
 			return d;
 		}
 		
-		MemberAttributes ConvertMemberAttributes(Modifiers modifiers, EntityType entityType)
+		MemberAttributes ConvertMemberAttributes(Modifiers modifiers, SymbolKind symbolKind)
 		{
 			MemberAttributes a = 0;
 			if ((modifiers & Modifiers.Abstract) != 0)
 				a |= MemberAttributes.Abstract;
 			if ((modifiers & Modifiers.Sealed) != 0)
 				a |= MemberAttributes.Final;
-			if (entityType != EntityType.TypeDefinition && (modifiers & (Modifiers.Abstract | Modifiers.Override | Modifiers.Virtual)) == 0)
+			if (symbolKind != SymbolKind.TypeDefinition && (modifiers & (Modifiers.Abstract | Modifiers.Override | Modifiers.Virtual)) == 0)
 				a |= MemberAttributes.Final;
 			if ((modifiers & Modifiers.Static) != 0)
 				a |= MemberAttributes.Static;
@@ -748,7 +743,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		{
 			//bool isNestedType = typeStack.Count > 0;
 			CodeTypeDeclaration typeDecl = new CodeTypeDeclaration(typeDeclaration.Name);
-			typeDecl.Attributes = ConvertMemberAttributes(typeDeclaration.Modifiers, EntityType.TypeDefinition);
+			typeDecl.Attributes = ConvertMemberAttributes(typeDeclaration.Modifiers, SymbolKind.TypeDefinition);
 			typeDecl.CustomAttributes.AddRange(Convert(typeDeclaration.Attributes));
 			
 			switch (typeDeclaration.ClassType) {
@@ -1056,7 +1051,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		CodeObject IAstVisitor<CodeObject>.VisitConstructorDeclaration(ConstructorDeclaration constructorDeclaration)
 		{
 			CodeConstructor ctor = new CodeConstructor();
-			ctor.Attributes = ConvertMemberAttributes(constructorDeclaration.Modifiers, EntityType.Constructor);
+			ctor.Attributes = ConvertMemberAttributes(constructorDeclaration.Modifiers, SymbolKind.Constructor);
 			ctor.CustomAttributes.AddRange(Convert(constructorDeclaration.Attributes));
 			if (constructorDeclaration.Initializer.ConstructorInitializerType == ConstructorInitializerType.This) {
 				ctor.ChainedConstructorArgs.AddRange(Convert(constructorDeclaration.Initializer.Arguments));
@@ -1098,7 +1093,7 @@ namespace ICSharpCode.NRefactory.CSharp
 				}
 				
 				CodeMemberEvent e = new CodeMemberEvent();
-				e.Attributes = ConvertMemberAttributes(eventDeclaration.Modifiers, EntityType.Event);
+				e.Attributes = ConvertMemberAttributes(eventDeclaration.Modifiers, SymbolKind.Event);
 				e.CustomAttributes.AddRange(Convert(eventDeclaration.Attributes));
 				e.Name = vi.Name;
 				e.Type = Convert(eventDeclaration.ReturnType);
@@ -1116,7 +1111,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		{
 			foreach (VariableInitializer vi in fieldDeclaration.Variables) {
 				CodeMemberField f = new CodeMemberField(Convert(fieldDeclaration.ReturnType), vi.Name);
-				f.Attributes = ConvertMemberAttributes(fieldDeclaration.Modifiers, EntityType.Field);
+				f.Attributes = ConvertMemberAttributes(fieldDeclaration.Modifiers, SymbolKind.Field);
 				f.CustomAttributes.AddRange(Convert(fieldDeclaration.Attributes));
 				f.InitExpression = ConvertVariableInitializer(vi.Initializer, fieldDeclaration.ReturnType);
 				AddTypeMember(f);
@@ -1127,7 +1122,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		CodeObject IAstVisitor<CodeObject>.VisitIndexerDeclaration(IndexerDeclaration indexerDeclaration)
 		{
 			CodeMemberProperty p = new CodeMemberProperty();
-			p.Attributes = ConvertMemberAttributes(indexerDeclaration.Modifiers, EntityType.Indexer);
+			p.Attributes = ConvertMemberAttributes(indexerDeclaration.Modifiers, SymbolKind.Indexer);
 			p.CustomAttributes.AddRange(Convert(indexerDeclaration.Attributes));
 			p.Name = "Items";
 			p.PrivateImplementationType = Convert(indexerDeclaration.PrivateImplementationType);
@@ -1148,7 +1143,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		CodeObject IAstVisitor<CodeObject>.VisitMethodDeclaration(MethodDeclaration methodDeclaration)
 		{
 			CodeMemberMethod m = new CodeMemberMethod();
-			m.Attributes = ConvertMemberAttributes(methodDeclaration.Modifiers, EntityType.Method);
+			m.Attributes = ConvertMemberAttributes(methodDeclaration.Modifiers, SymbolKind.Method);
 			
 			m.CustomAttributes.AddRange(Convert(methodDeclaration.Attributes.Where(a => a.AttributeTarget != "return")));
 			m.ReturnTypeCustomAttributes.AddRange(Convert(methodDeclaration.Attributes.Where(a => a.AttributeTarget == "return")));
@@ -1166,7 +1161,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		CodeObject IAstVisitor<CodeObject>.VisitOperatorDeclaration(OperatorDeclaration operatorDeclaration)
 		{
 			CodeMemberMethod m = new CodeMemberMethod();
-			m.Attributes = ConvertMemberAttributes(operatorDeclaration.Modifiers, EntityType.Method);
+			m.Attributes = ConvertMemberAttributes(operatorDeclaration.Modifiers, SymbolKind.Method);
 			
 			m.CustomAttributes.AddRange(Convert(operatorDeclaration.Attributes.Where(a => a.AttributeTarget != "return")));
 			m.ReturnTypeCustomAttributes.AddRange(Convert(operatorDeclaration.Attributes.Where(a => a.AttributeTarget == "return")));
@@ -1208,7 +1203,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		CodeObject IAstVisitor<CodeObject>.VisitPropertyDeclaration(PropertyDeclaration propertyDeclaration)
 		{
 			CodeMemberProperty p = new CodeMemberProperty();
-			p.Attributes = ConvertMemberAttributes(propertyDeclaration.Modifiers, EntityType.Property);
+			p.Attributes = ConvertMemberAttributes(propertyDeclaration.Modifiers, SymbolKind.Property);
 			p.CustomAttributes.AddRange(Convert(propertyDeclaration.Attributes));
 			p.Name = propertyDeclaration.Name;
 			p.PrivateImplementationType = Convert(propertyDeclaration.PrivateImplementationType);
@@ -1356,7 +1351,7 @@ namespace ICSharpCode.NRefactory.CSharp
 
 		CodeObject IAstVisitor<CodeObject>.VisitPreProcessorDirective (PreProcessorDirective preProcessorDirective)
 		{
-			return new CodeComment ("#" + preProcessorDirective.Type.ToString ().ToLower ());
+			return new CodeComment ("#" + preProcessorDirective.Type.ToString ().ToLowerInvariant ());
 		}
 		
 		CodeObject IAstVisitor<CodeObject>.VisitTypeParameterDeclaration(TypeParameterDeclaration typeParameterDeclaration)

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/CSharpParser.cs

@@ -103,7 +103,9 @@ namespace ICSharpCode.NRefactory.CSharp
 						first = false;
 						if (mc.OptAttributes != null) {
 							foreach (var attr in mc.OptAttributes.Sections) {
-								unit.AddChild (ConvertAttributeSection (attr), SyntaxTree.MemberRole);
+								var section = ConvertAttributeSection(attr);
+								if (section !=	null)
+									unit.AddChild (section, SyntaxTree.MemberRole);
 							}
 						}
 					}
@@ -213,9 +215,10 @@ namespace ICSharpCode.NRefactory.CSharp
 					
 					var memberType = new MemberType ();
 					memberType.AddChild (ConvertToType (ma.LeftExpression), MemberType.TargetRole);
-					if (!ma.DotLocation.IsNull)
+					var loc = LocationsBag.GetLocations (ma);
-						memberType.AddChild (new CSharpTokenNode (Convert (ma.DotLocation), Roles.Dot), Roles.Dot);
+					if (loc != null)
-					
+						memberType.AddChild (new CSharpTokenNode (Convert (loc[0]), Roles.Dot), Roles.Dot);
+
 					memberType.MemberNameToken = Identifier.Create (ma.Name, Convert (ma.Location));
 					
 					AddTypeArguments (ma, memberType);
@@ -258,9 +261,9 @@ namespace ICSharpCode.NRefactory.CSharp
 					switch (sce.Constraint) {
 						case SpecialConstraint.Class:
 							return new PrimitiveType ("class", Convert (sce.Location));
-						case SpecialConstraint.Struct:
+							case SpecialConstraint.Struct:
 							return new PrimitiveType ("struct", Convert (sce.Location));
-						case SpecialConstraint.Constructor:
+							case SpecialConstraint.Constructor:
 							return new PrimitiveType ("new", Convert (sce.Location));
 					}
 				}
@@ -327,7 +330,6 @@ namespace ICSharpCode.NRefactory.CSharp
 			
 			AttributeSection ConvertAttributeSection (IEnumerable<Mono.CSharp.Attribute> optAttributes)
 			{
-
 				if (optAttributes == null)
 					return null;
 				AttributeSection result = new AttributeSection ();
@@ -356,6 +358,8 @@ namespace ICSharpCode.NRefactory.CSharp
 
 					attributeCount++;
 				}
+				if (attributeCount == 0)
+					return null;
 				// Left and right bracket + commas between the attributes
 				int locCount = 2 + attributeCount - 1;
 				// optional comma
@@ -424,9 +428,9 @@ namespace ICSharpCode.NRefactory.CSharp
 					if (newIdent.Name != "<invalid>") {
 						namespaceDecl.InsertChildBefore (insertPos, newIdent, Roles.Identifier);
 						insertPos = newIdent;
-						
+						var loc = LocationsBag.GetLocations (memberName);
-						if (!memberName.DotLocation.IsNull) {
+						if (loc != null) {
-							var dotToken = new CSharpTokenNode (Convert (memberName.DotLocation), Roles.Dot);
+							var dotToken = new CSharpTokenNode (Convert (loc[0]), Roles.Dot);
 							namespaceDecl.InsertChildBefore (insertPos, dotToken, Roles.Dot);
 							insertPos = dotToken;
 						}
@@ -483,9 +487,9 @@ namespace ICSharpCode.NRefactory.CSharp
 					var t = new MemberType ();
 //					t.IsDoubleColon = memberName.IsDoubleColon;
 					t.AddChild (ConvertImport (memberName.Left), MemberType.TargetRole);
-					
+					var loc = LocationsBag.GetLocations (memberName);
-					if (!memberName.DotLocation.IsNull)
+					if (loc != null)
-						t.AddChild (new CSharpTokenNode (Convert (memberName.DotLocation), Roles.Dot), Roles.Dot);
+						t.AddChild (new CSharpTokenNode (Convert (loc[0]), Roles.Dot), Roles.Dot);
 					
 					t.AddChild (Identifier.Create (memberName.Name, Convert (memberName.Location)), Roles.Identifier);
 					AddTypeArguments (t, memberName);
@@ -955,7 +959,10 @@ namespace ICSharpCode.NRefactory.CSharp
 				if (attrs == null)
 					return;
 				foreach (var attr in attrs.Sections) {
-					parent.AddChild (ConvertAttributeSection (attr), role);
+					var section = ConvertAttributeSection(attr);
+					if (section == null)
+						continue;
+					parent.AddChild (section, role);
 				}
 			}
 
@@ -1368,7 +1375,7 @@ namespace ICSharpCode.NRefactory.CSharp
 				return null;
 			}
 			
-			public override object Visit (BlockVariableDeclaration blockVariableDeclaration)
+			public override object Visit (BlockVariable blockVariableDeclaration)
 			{
 				var result = new VariableDeclarationStatement ();
 				result.AddChild (ConvertToType (blockVariableDeclaration.TypeExpression), Roles.Type);
@@ -1405,7 +1412,7 @@ namespace ICSharpCode.NRefactory.CSharp
 				return result;
 			}
 			
-			public override object Visit (BlockConstantDeclaration blockVariableDeclaration)
+			public override object Visit (BlockConstant blockVariableDeclaration)
 			{
 				var result = new VariableDeclarationStatement ();
 				
@@ -1459,11 +1466,6 @@ namespace ICSharpCode.NRefactory.CSharp
 				return result;
 			}
 			
-			public override object Visit (Mono.CSharp.EmptyExpression emptyExpression)
-			{
-				return new ICSharpCode.NRefactory.CSharp.EmptyExpression (Convert (emptyExpression.Location));
-			}
-			
 			public override object Visit (Mono.CSharp.ErrorExpression emptyExpression)
 			{
 				return new ICSharpCode.NRefactory.CSharp.ErrorExpression (Convert (emptyExpression.Location));
@@ -1471,7 +1473,8 @@ namespace ICSharpCode.NRefactory.CSharp
 			
 			public override object Visit (EmptyExpressionStatement emptyExpressionStatement)
 			{
-				return new EmptyExpression (Convert (emptyExpressionStatement.Location));
+				// Should never happen.
+				throw new NotSupportedException();
 			}
 			
 			public override object Visit (If ifStatement)
@@ -2155,8 +2158,10 @@ namespace ICSharpCode.NRefactory.CSharp
 						var leftExpr = memberAccess.LeftExpression.Accept (this);
 						result.AddChild ((Expression)leftExpr, Roles.TargetExpression);
 					}
-					if (!memberAccess.DotLocation.IsNull) {
+					var loc = LocationsBag.GetLocations (memberAccess);
-						result.AddChild (new CSharpTokenNode (Convert (memberAccess.DotLocation), Roles.Dot), Roles.Dot);
+
+					if (loc != null) {
+						result.AddChild (new CSharpTokenNode (Convert (loc[0]), Roles.Dot), Roles.Dot);
 					}
 				}
 				
@@ -2642,6 +2647,23 @@ namespace ICSharpCode.NRefactory.CSharp
 					if (c.ConstraintExpressions != null) {
 						foreach (var expr in c.ConstraintExpressions) {
 							constraint.AddChild (ConvertToType (expr), Roles.BaseType);
+							if (expr is SpecialContraintExpr) {
+								var sce = (SpecialContraintExpr)expr;
+								switch (sce.Constraint) {
+									case SpecialConstraint.Class:
+										break;
+									case SpecialConstraint.Struct:
+										break;
+									case SpecialConstraint.Constructor:
+										var bl = LocationsBag.GetLocations (expr);
+										if (bl != null) {
+											constraint.AddChild (new CSharpTokenNode (Convert (bl[0]), Roles.LPar), Roles.LPar);
+											constraint.AddChild (new CSharpTokenNode (Convert (bl[1]), Roles.RPar), Roles.RPar);
+										}
+										break;
+								}
+							}
+
 							if (commaLocs != null && curComma < commaLocs.Count)
 								constraint.AddChild (new CSharpTokenNode (Convert (commaLocs [curComma++]), Roles.Comma), Roles.Comma);
 						}
@@ -3547,7 +3569,7 @@ namespace ICSharpCode.NRefactory.CSharp
 				DocumentationReference result = new DocumentationReference();
 				if (doc.ParsedName != null) {
 					if (doc.ParsedName.Name == "<this>") {
-						result.EntityType = EntityType.Indexer;
+						result.SymbolKind = SymbolKind.Indexer;
 					} else {
 						result.MemberName = doc.ParsedName.Name;
 					}
@@ -3562,7 +3584,7 @@ namespace ICSharpCode.NRefactory.CSharp
 						}
 					}
 				} else if (doc.ParsedBuiltinType != null) {
-					result.EntityType = EntityType.TypeDefinition;
+					result.SymbolKind = SymbolKind.TypeDefinition;
 					result.DeclaringType = ConvertToType(doc.ParsedBuiltinType);
 				}
 				if (doc.ParsedParameters != null) {
@@ -3570,7 +3592,7 @@ namespace ICSharpCode.NRefactory.CSharp
 					result.Parameters.AddRange(doc.ParsedParameters.Select(ConvertXmlDocParameter));
 				}
 				if (doc.ParsedOperator != null) {
-					result.EntityType = EntityType.Operator;
+					result.SymbolKind = SymbolKind.Operator;
 					result.OperatorType = (OperatorType)doc.ParsedOperator;
 					if (result.OperatorType == OperatorType.Implicit || result.OperatorType == OperatorType.Explicit) {
 						var returnTypeParam = result.Parameters.LastOrNullObject();
@@ -3647,6 +3669,26 @@ namespace ICSharpCode.NRefactory.CSharp
 					};
 					role = Roles.Comment;
 				} else if (!GenerateTypeSystemMode) {
+					var pragmaDirective = special as SpecialsBag.PragmaPreProcessorDirective;
+					if (pragmaDirective != null) {
+						var pragma = new PragmaWarningPreprocssorDirective(new TextLocation(pragmaDirective.Line, pragmaDirective.Col), new TextLocation(pragmaDirective.EndLine, pragmaDirective.EndCol));
+						pragma.Disable = pragmaDirective.Disalbe;
+						pragma.AddWarnings(pragmaDirective.Codes);
+						newLeaf = pragma;
+						role = Roles.PreProcessorDirective;
+						goto end;
+					}
+
+					var lineDirective = special as SpecialsBag.LineProcessorDirective;
+					if (lineDirective != null) {
+						var pragma = new LinePreprocssorDirective(new TextLocation(lineDirective.Line, lineDirective.Col), new TextLocation(lineDirective.EndLine, lineDirective.EndCol));
+						pragma.LineNumber = lineDirective.LineNumber;
+						pragma.FileName = lineDirective.FileName;
+						newLeaf = pragma;
+						role = Roles.PreProcessorDirective;
+						goto end;
+					}
+
 					var directive = special as SpecialsBag.PreProcessorDirective;
 					if (directive != null) {
 						newLeaf = new PreProcessorDirective ((ICSharpCode.NRefactory.CSharp.PreProcessorDirectiveType)((int)directive.Cmd & 0xF), new TextLocation (directive.Line, directive.Col), new TextLocation (directive.EndLine, directive.EndCol)) {
@@ -3655,6 +3697,8 @@ namespace ICSharpCode.NRefactory.CSharp
 						};
 						role = Roles.PreProcessorDirective;
 					}
+					end:
+						;
 				}
 				if (newLeaf != null) {
 					InsertComment(ref insertionPoint, newLeaf, role, isDocumentationComment, conversionVisitor.Unit);
@@ -3682,7 +3726,7 @@ namespace ICSharpCode.NRefactory.CSharp
 		void InsertComment(ref AstNode insertionPoint, AstNode newNode, Role role, bool isDocumentationComment, AstNode rootNode)
 		{
 			TextLocation insertAt = newNode.StartLocation;
-			// Advance insertionPoint to the first node that has a start location greater than insertAt
+			// Advance insertionPoint to the first node that has a start location >= insertAt
 			while (insertionPoint != null && insertionPoint.StartLocation < insertAt) {
 				// Enter the current node if insertAt is within
 				while (insertAt < insertionPoint.EndLocation && insertionPoint.FirstChild != null) {
@@ -3799,7 +3843,18 @@ namespace ICSharpCode.NRefactory.CSharp
 			}
 
 			conversionVisitor.Unit.FileName = fileName;
-			conversionVisitor.Unit.ConditionalSymbols = top.Conditionals.Concat (compilerSettings.ConditionalSymbols).ToArray ();
+			List<string> conditionals = new List<string>();
+			foreach (var settings in compilerSettings.ConditionalSymbols) {
+				if (top.Conditionals.ContainsKey(settings) && !top.Conditionals [settings])
+					continue;
+				conditionals.Add(settings);
+			}
+			foreach (var kv in top.Conditionals) {
+				if (!kv.Value || compilerSettings.ConditionalSymbols.Contains (kv.Key))
+					continue;
+				conditionals.Add(kv.Key);
+			}
+			conversionVisitor.Unit.ConditionalSymbols = conditionals;
 			return conversionVisitor.Unit;
 		}
 		

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/anonymous.cs

@@ -570,6 +570,9 @@ namespace Mono.CSharp {
 		protected virtual void EmitHoistedParameters (EmitContext ec, List<HoistedParameter> hoisted)
 		{
 			foreach (HoistedParameter hp in hoisted) {
+				if (hp == null)
+					continue;
+
 				//
 				// Parameters could be proxied via local fields for value type storey
 				//
@@ -852,6 +855,8 @@ namespace Mono.CSharp {
 			}
 		}
 
+		public bool IsAssigned { get; set; }
+
 		public ParameterReference Parameter {
 			get {
 				return parameter;
@@ -1002,12 +1007,12 @@ namespace Mono.CSharp {
 					return delegate_type;
 
 				ec.Report.Error (835, loc, "Cannot convert `{0}' to an expression tree of non-delegate type `{1}'",
-					GetSignatureForError (), TypeManager.CSharpName (delegate_type));
+					GetSignatureForError (), delegate_type.GetSignatureForError ());
 				return null;
 			}
 
 			ec.Report.Error (1660, loc, "Cannot convert `{0}' to non-delegate type `{1}'",
-				      GetSignatureForError (), TypeManager.CSharpName (delegate_type));
+				      GetSignatureForError (), delegate_type.GetSignatureForError ());
 			return null;
 		}
 
@@ -1019,7 +1024,7 @@ namespace Mono.CSharp {
 			if (!ec.IsInProbingMode)
 				ec.Report.Error (1661, loc,
 					"Cannot convert `{0}' to delegate type `{1}' since there is a parameter mismatch",
-					GetSignatureForError (), TypeManager.CSharpName (delegate_type));
+					GetSignatureForError (), delegate_type.GetSignatureForError ());
 
 			return false;
 		}
@@ -1031,7 +1036,7 @@ namespace Mono.CSharp {
 					return false;
 				
 				ec.Report.Error (1593, loc, "Delegate `{0}' does not take `{1}' arguments",
-					      TypeManager.CSharpName (delegate_type), Parameters.Count.ToString ());
+					      delegate_type.GetSignatureForError (), Parameters.Count.ToString ());
 				return false;
 			}
 
@@ -1071,8 +1076,8 @@ namespace Mono.CSharp {
 					
 					ec.Report.Error (1678, loc, "Parameter `{0}' is declared as type `{1}' but should be `{2}'",
 						      (i+1).ToString (),
-						      TypeManager.CSharpName (Parameters.Types [i]),
+						      Parameters.Types [i].GetSignatureForError (),
-						      TypeManager.CSharpName (invoke_pd.Types [i]));
+						      invoke_pd.Types [i].GetSignatureForError ());
 					error = true;
 				}
 			}
@@ -1376,7 +1381,7 @@ namespace Mono.CSharp {
 					return null;
 				}
 
-				b = b.ConvertToAsyncTask (ec, ec.CurrentMemberDefinition.Parent.PartialContainer, p, return_type, loc);
+				b = b.ConvertToAsyncTask (ec, ec.CurrentMemberDefinition.Parent.PartialContainer, p, return_type, delegate_type, loc);
 			}
 
 			return CompatibleMethodFactory (return_type ?? InternalType.ErrorType, delegate_type, p, b);
@@ -1739,6 +1744,7 @@ namespace Mono.CSharp {
 				//
 				method = DoCreateMethodHost (ec);
 				method.Define ();
+				method.PrepareEmit ();
 			}
 
 			bool is_static = (method.ModFlags & Modifiers.STATIC) != 0;
@@ -1865,7 +1871,7 @@ namespace Mono.CSharp {
 
 		public override string GetSignatureForError ()
 		{
-			return TypeManager.CSharpName (type);
+			return type.GetSignatureForError ();
 		}
 	}
 
@@ -2004,7 +2010,7 @@ namespace Mono.CSharp {
 			}
 
 			var li_other = LocalVariable.CreateCompilerGenerated (CurrentType, equals_block, loc);
-			equals_block.AddStatement (new BlockVariableDeclaration (new TypeExpression (li_other.Type, loc), li_other));
+			equals_block.AddStatement (new BlockVariable (new TypeExpression (li_other.Type, loc), li_other));
 			var other_variable = new LocalVariableReference (li_other, loc);
 
 			MemberAccess system_collections_generic = new MemberAccess (new MemberAccess (
@@ -2087,6 +2093,7 @@ namespace Mono.CSharp {
 
 			equals.Block = equals_block;
 			equals.Define ();
+			equals.PrepareEmit ();
 			Members.Add (equals);
 
 			//
@@ -2116,7 +2123,7 @@ namespace Mono.CSharp {
 			hashcode_top.AddStatement (new Unchecked (hashcode_block, loc));
 
 			var li_hash = LocalVariable.CreateCompilerGenerated (Compiler.BuiltinTypes.Int, hashcode_top, loc);
-			hashcode_block.AddStatement (new BlockVariableDeclaration (new TypeExpression (li_hash.Type, loc), li_hash));
+			hashcode_block.AddStatement (new BlockVariable (new TypeExpression (li_hash.Type, loc), li_hash));
 			LocalVariableReference hash_variable_assign = new LocalVariableReference (li_hash, loc);
 			hashcode_block.AddStatement (new StatementExpression (
 				new SimpleAssign (hash_variable_assign, rs_hashcode)));
@@ -2141,6 +2148,7 @@ namespace Mono.CSharp {
 			hashcode_block.AddStatement (new Return (hash_variable, loc));
 			hashcode.Block = hashcode_top;
 			hashcode.Define ();
+			hashcode.PrepareEmit ();
 			Members.Add (hashcode);
 
 			//
@@ -2151,6 +2159,7 @@ namespace Mono.CSharp {
 			tostring_block.AddStatement (new Return (string_concat, loc));
 			tostring.Block = tostring_block;
 			tostring.Define ();
+			tostring.PrepareEmit ();
 			Members.Add (tostring);
 
 			return true;

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/argument.cs

@@ -132,7 +132,7 @@ namespace Mono.CSharp
 			if (Expr.eclass == ExprClass.MethodGroup)
 				return Expr.ExprClassName;
 
-			return TypeManager.CSharpName (Expr.Type);
+			return Expr.Type.GetSignatureForError ();
 		}
 
 		public bool ResolveMethodGroup (ResolveContext ec)
@@ -347,7 +347,7 @@ namespace Mono.CSharp
 					} else if (arg_type.Kind == MemberKind.Void || arg_type == InternalType.Arglist || arg_type.IsPointer) {
 						rc.Report.Error (1978, a.Expr.Location,
 							"An expression of type `{0}' cannot be used as an argument of dynamic operation",
-							TypeManager.CSharpName (arg_type));
+							arg_type.GetSignatureForError ());
 					}
 
 					info_flags = new Binary (Binary.Operator.BitwiseOr, info_flags,

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/assembly.cs

@@ -7,7 +7,7 @@
 //
 // Copyright 2001, 2002, 2003 Ximian, Inc.
 // Copyright 2004-2011 Novell, Inc.
-// Copyright 2011 Xamarin Inc
+// Copyright 2011-2013 Xamarin Inc
 //
 
 
@@ -74,6 +74,9 @@ namespace Mono.CSharp
 		Dictionary<ITypeDefinition, Attribute> emitted_forwarders;
 		AssemblyAttributesPlaceholder module_target_attrs;
 
+		// Win32 version info values
+		string vi_product, vi_product_version, vi_company, vi_copyright, vi_trademark;
+
 		protected AssemblyDefinition (ModuleContainer module, string name)
 		{
 			this.module = module;
@@ -288,7 +291,7 @@ namespace Mono.CSharp
 				} else if (emitted_forwarders.ContainsKey (t.MemberDefinition)) {
 					Report.SymbolRelatedToPreviousError (emitted_forwarders[t.MemberDefinition].Location, null);
 					Report.Error (739, a.Location, "A duplicate type forward of type `{0}'",
-						TypeManager.CSharpName (t));
+						t.GetSignatureForError ());
 					return;
 				}
 
@@ -297,13 +300,13 @@ namespace Mono.CSharp
 				if (t.MemberDefinition.DeclaringAssembly == this) {
 					Report.SymbolRelatedToPreviousError (t);
 					Report.Error (729, a.Location, "Cannot forward type `{0}' because it is defined in this assembly",
-						TypeManager.CSharpName (t));
+						t.GetSignatureForError ());
 					return;
 				}
 
 				if (t.IsNested) {
 					Report.Error (730, a.Location, "Cannot forward type `{0}' because it is a nested type",
-						TypeManager.CSharpName (t));
+						t.GetSignatureForError ());
 					return;
 				}
 
@@ -347,15 +350,24 @@ namespace Mono.CSharp
 			} else if (a.Type == pa.RuntimeCompatibility) {
 				wrap_non_exception_throws_custom = true;
 			} else if (a.Type == pa.AssemblyFileVersion) {
-				string value = a.GetString ();
+				vi_product_version = a.GetString ();
-				if (string.IsNullOrEmpty (value) || IsValidAssemblyVersion (value, false) == null) {
+				if (string.IsNullOrEmpty (vi_product_version) || IsValidAssemblyVersion (vi_product_version, false) == null) {
 					Report.Warning (1607, 1, a.Location, "The version number `{0}' specified for `{1}' is invalid",
-						value, a.Name);
+						vi_product_version, a.Name);
 					return;
 				}
+			} else if (a.Type == pa.AssemblyProduct) {
+				vi_product = a.GetString ();
+			} else if (a.Type == pa.AssemblyCompany) {
+				vi_company = a.GetString ();
+			} else if (a.Type == pa.AssemblyDescription) {
+				// TODO: Needs extra api
+			} else if (a.Type == pa.AssemblyCopyright) {
+				vi_copyright = a.GetString ();
+			} else if (a.Type == pa.AssemblyTrademark) {
+				vi_trademark = a.GetString ();
 			}
 
-
 			SetCustomAttribute (ctor, cdata);
 		}
 
@@ -370,7 +382,7 @@ namespace Mono.CSharp
 			// no working SRE API
 			foreach (var entry in Importer.Assemblies) {
 				var a = entry as ImportedAssemblyDefinition;
-				if (a == null)
+				if (a == null || a.IsMissing)
 					continue;
 
 				if (public_key != null && !a.HasStrongName) {
@@ -749,7 +761,7 @@ namespace Mono.CSharp
 			if (Compiler.Settings.Win32ResourceFile != null) {
 				Builder.DefineUnmanagedResource (Compiler.Settings.Win32ResourceFile);
 			} else {
-				Builder.DefineVersionInfoResource ();
+				Builder.DefineVersionInfoResource (vi_product, vi_product_version, vi_company, vi_copyright, vi_trademark);
 			}
 
 			if (Compiler.Settings.Win32IconFile != null) {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/async.cs

@@ -384,6 +384,10 @@ namespace Mono.CSharp
 			}
 		}
 
+		public TypeSpec DelegateType {
+			get; set;
+		}
+
 		public override bool IsIterator {
 			get {
 				return false;

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/attribute.cs

@@ -1,14 +1,14 @@
 //
-// attribute.cs: Attribute Handler
+// attribute.cs: Attributes handling
 //
 // Author: Ravi Pratap (ravi@ximian.com)
-//         Marek Safar (marek.safar@seznam.cz)
+//         Marek Safar (marek.safar@gmail.com)
 //
 // Dual licensed under the terms of the MIT X11 or GNU GPL
 //
 // Copyright 2001-2003 Ximian, Inc (http://www.ximian.com)
 // Copyright 2003-2008 Novell, Inc.
-// Copyright 2011 Xamarin Inc
+// Copyright 2011-2013 Xamarin Inc
 //
 
 using System;
@@ -264,7 +264,7 @@ namespace Mono.CSharp {
 		public void Error_AttributeEmitError (string inner)
 		{
 			Report.Error (647, Location, "Error during emitting `{0}' attribute. The reason is `{1}'",
-				      TypeManager.CSharpName (Type), inner);
+				      Type.GetSignatureForError (), inner);
 		}
 
 		public void Error_InvalidSecurityParent ()
@@ -367,7 +367,7 @@ namespace Mono.CSharp {
 		public string GetSignatureForError ()
 		{
 			if (Type != null)
-				return TypeManager.CSharpName (Type);
+				return Type.GetSignatureForError ();
 
 			return expression.GetSignatureForError ();
 		}
@@ -454,7 +454,7 @@ namespace Mono.CSharp {
 
 			ObsoleteAttribute obsolete_attr = Type.GetAttributeObsolete ();
 			if (obsolete_attr != null) {
-				AttributeTester.Report_ObsoleteMessage (obsolete_attr, TypeManager.CSharpName (Type), Location, Report);
+				AttributeTester.Report_ObsoleteMessage (obsolete_attr, Type.GetSignatureForError (), Location, Report);
 			}
 
 			ResolveContext rc = null;
@@ -1669,6 +1669,11 @@ namespace Mono.CSharp {
 		public readonly PredefinedDecimalAttribute DecimalConstant;
 		public readonly PredefinedAttribute StructLayout;
 		public readonly PredefinedAttribute FieldOffset;
+		public readonly PredefinedAttribute AssemblyProduct;
+		public readonly PredefinedAttribute AssemblyCompany;
+		public readonly PredefinedAttribute AssemblyDescription;
+		public readonly PredefinedAttribute AssemblyCopyright;
+		public readonly PredefinedAttribute AssemblyTrademark;
 		public readonly PredefinedAttribute CallerMemberNameAttribute;
 		public readonly PredefinedAttribute CallerLineNumberAttribute;
 		public readonly PredefinedAttribute CallerFilePathAttribute;
@@ -1722,6 +1727,11 @@ namespace Mono.CSharp {
 			DecimalConstant = new PredefinedDecimalAttribute (module, "System.Runtime.CompilerServices", "DecimalConstantAttribute");
 			StructLayout = new PredefinedAttribute (module, "System.Runtime.InteropServices", "StructLayoutAttribute");
 			FieldOffset = new PredefinedAttribute (module, "System.Runtime.InteropServices", "FieldOffsetAttribute");
+			AssemblyProduct = new PredefinedAttribute (module, "System.Reflection", "AssemblyProductAttribute");
+			AssemblyCompany = new PredefinedAttribute (module, "System.Reflection", "AssemblyCompanyAttribute");
+			AssemblyDescription = new PredefinedAttribute (module, "System.Reflection", "AssemblyDescriptionAttribute");
+			AssemblyCopyright = new PredefinedAttribute (module, "System.Reflection", "AssemblyCopyrightAttribute");
+			AssemblyTrademark = new PredefinedAttribute (module, "System.Reflection", "AssemblyTrademarkAttribute");
 
 			AsyncStateMachine = new PredefinedStateMachineAttribute (module, "System.Runtime.CompilerServices", "AsyncStateMachineAttribute");
 
@@ -1839,7 +1849,7 @@ namespace Mono.CSharp {
 			//
 			// Handle all parameter-less attributes as optional
 			//
-			if (!IsDefined)
+			if (!Define ())
 				return false;
 
 			ctor = (MethodSpec) MemberCache.FindMember (type, MemberFilter.Constructor (ParametersCompiled.EmptyReadOnlyParameters), BindingRestriction.DeclaredOnly);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/class.cs

@@ -17,7 +17,6 @@ using System.Collections.Generic;
 using System.Runtime.InteropServices;
 using System.Security;
 using System.Security.Permissions;
-using System.Linq;
 using System.Text;
 using System.Diagnostics;
 using Mono.CompilerServices.SymbolWriter;
@@ -1090,9 +1089,9 @@ namespace Mono.CSharp
 			}
 		}
 
-		public virtual void AddBasesForPart (List<FullNamedExpression> bases)
+		public virtual void SetBaseTypes (List<FullNamedExpression> baseTypes)
 		{
-			type_bases = bases;
+			type_bases = baseTypes;
 		}
 
 		/// <summary>
@@ -1283,8 +1282,10 @@ namespace Mono.CSharp
 
 				all_tp_builders = TypeBuilder.DefineGenericParameters (tparam_names);
 
-				if (CurrentTypeParameters != null)
+				if (CurrentTypeParameters != null) {
-					CurrentTypeParameters.Define (all_tp_builders, spec, CurrentTypeParametersStartIndex, this);
+					CurrentTypeParameters.Create (spec, CurrentTypeParametersStartIndex, this);
+					CurrentTypeParameters.Define (all_tp_builders);
+				}
 			}
 
 			return true;
@@ -1445,6 +1446,7 @@ namespace Mono.CSharp
 
 				members.Add (proxy_method);
 				proxy_method.Define ();
+				proxy_method.PrepareEmit ();
 
 				hoisted_base_call_proxies.Add (method, proxy_method);
 			}
@@ -1627,6 +1629,10 @@ namespace Mono.CSharp
 			foreach (var member in members) {
 				var pm = member as IParametersMember;
 				if (pm != null) {
+					var mc = member as MethodOrOperator;
+					if (mc != null) {
+						mc.PrepareEmit ();
+					}
 
 					var p = pm.Parameters;
 					if (p.IsEmpty)
@@ -1698,19 +1704,6 @@ namespace Mono.CSharp
 			current_type = null;
 		}
 
-		void UpdateTypeParameterConstraints (TypeDefinition part)
-		{
-			for (int i = 0; i < CurrentTypeParameters.Count; i++) {
-				if (CurrentTypeParameters[i].AddPartialConstraints (part, part.MemberName.TypeParameters[i]))
-					continue;
-
-				Report.SymbolRelatedToPreviousError (Location, "");
-				Report.Error (265, part.Location,
-					"Partial declarations of `{0}' have inconsistent constraints for type parameter `{1}'",
-					GetSignatureForError (), CurrentTypeParameters[i].GetSignatureForError ());
-			}
-		}
-
 		public override void RemoveContainer (TypeContainer cont)
 		{
 			base.RemoveContainer (cont);
@@ -1735,7 +1728,7 @@ namespace Mono.CSharp
 			}
 
 			if (IsPartialPart) {
-				PartialContainer.UpdateTypeParameterConstraints (this);
+				PartialContainer.CurrentTypeParameters.UpdateConstraints (this);
 			}
 
 			return true;
@@ -2296,7 +2289,7 @@ namespace Mono.CSharp
 			
 			Report.SymbolRelatedToPreviousError (mb.InterfaceType);
 			Report.Error (540, mb.Location, "`{0}': containing type does not implement interface `{1}'",
-				mb.GetSignatureForError (), TypeManager.CSharpName (mb.InterfaceType));
+				mb.GetSignatureForError (), mb.InterfaceType.GetSignatureForError ());
 			return false;
 		}
 
@@ -2526,7 +2519,7 @@ namespace Mono.CSharp
 		/// <summary>
 		/// Defines the default constructors 
 		/// </summary>
-		protected Constructor DefineDefaultConstructor (bool is_static)
+		protected virtual Constructor DefineDefaultConstructor (bool is_static)
 		{
 			// The default instance constructor is public
 			// If the class is abstract, the default constructor is protected
@@ -2607,14 +2600,14 @@ namespace Mono.CSharp
 			visitor.Visit (this);
 		}
 
-		public override void AddBasesForPart (List<FullNamedExpression> bases)
+		public override void SetBaseTypes (List<FullNamedExpression> baseTypes)
 		{
 			var pmn = MemberName;
 			if (pmn.Name == "Object" && !pmn.IsGeneric && Parent.MemberName.Name == "System" && Parent.MemberName.Left == null)
 				Report.Error (537, Location,
 					"The class System.Object cannot have a base class or implement an interface.");
 
-			base.AddBasesForPart (bases);
+			base.SetBaseTypes (baseTypes);
 		}
 
 		public override void ApplyAttributeBuilder (Attribute a, MethodSpec ctor, byte[] cdata, PredefinedAttributes pa)
@@ -3047,7 +3040,7 @@ namespace Mono.CSharp
 
 					Report.SymbolRelatedToPreviousError (iface);
 					Report.Warning (3027, 1, Location, "`{0}' is not CLS-compliant because base interface `{1}' is not CLS-compliant",
-						GetSignatureForError (), TypeManager.CSharpName (iface));
+						GetSignatureForError (), iface.GetSignatureForError ());
 				}
 			}
 
@@ -3282,10 +3275,10 @@ namespace Mono.CSharp
 				Report.SymbolRelatedToPreviousError (base_member);
 				if (this is PropertyBasedMember) {
 					Report.Error (1715, Location, "`{0}': type must be `{1}' to match overridden member `{2}'",
-						GetSignatureForError (), TypeManager.CSharpName (base_member_type), TypeManager.CSharpSignature (base_member));
+						GetSignatureForError (), base_member_type.GetSignatureForError (), base_member.GetSignatureForError ());
 				} else {
 					Report.Error (508, Location, "`{0}': return type must be `{1}' to match overridden member `{2}'",
-						GetSignatureForError (), TypeManager.CSharpName (base_member_type), TypeManager.CSharpSignature (base_member));
+						GetSignatureForError (), base_member_type.GetSignatureForError (), base_member.GetSignatureForError ());
 				}
 				ok = false;
 			}
@@ -3359,7 +3352,7 @@ namespace Mono.CSharp
 				if (!InterfaceType.IsInterface) {
 					Report.SymbolRelatedToPreviousError (InterfaceType);
 					Report.Error (538, Location, "The type `{0}' in explicit interface declaration is not an interface",
-						TypeManager.CSharpName (InterfaceType));
+						InterfaceType.GetSignatureForError ());
 				} else {
 					Parent.PartialContainer.VerifyImplements (this);
 				}
@@ -3390,15 +3383,15 @@ namespace Mono.CSharp
 				if (this is Indexer)
 					Report.Error (55, Location,
 						      "Inconsistent accessibility: parameter type `{0}' is less accessible than indexer `{1}'",
-						      TypeManager.CSharpName (t), GetSignatureForError ());
+						      t.GetSignatureForError (), GetSignatureForError ());
 				else if (this is Operator)
 					Report.Error (57, Location,
 						      "Inconsistent accessibility: parameter type `{0}' is less accessible than operator `{1}'",
-						      TypeManager.CSharpName (t), GetSignatureForError ());
+						      t.GetSignatureForError (), GetSignatureForError ());
 				else
 					Report.Error (51, Location,
 						"Inconsistent accessibility: parameter type `{0}' is less accessible than method `{1}'",
-						TypeManager.CSharpName (t), GetSignatureForError ());
+						t.GetSignatureForError (), GetSignatureForError ());
 				error = true;
 			}
 			return !error;
@@ -3507,7 +3500,7 @@ namespace Mono.CSharp
 			// replacing predefined names which saves some space and name
 			// is still unique
 			//
-			return TypeManager.CSharpName (InterfaceType) + "." + name;
+			return InterfaceType.GetSignatureForError () + "." + name;
 		}
 
 		public override string GetSignatureForDocumentation ()
@@ -3607,28 +3600,28 @@ namespace Mono.CSharp
 				if (this is Property)
 					Report.Error (53, Location,
 						      "Inconsistent accessibility: property type `" +
-						      TypeManager.CSharpName (MemberType) + "' is less " +
+						      MemberType.GetSignatureForError () + "' is less " +
 						      "accessible than property `" + GetSignatureForError () + "'");
 				else if (this is Indexer)
 					Report.Error (54, Location,
 						      "Inconsistent accessibility: indexer return type `" +
-						      TypeManager.CSharpName (MemberType) + "' is less " +
+						      MemberType.GetSignatureForError () + "' is less " +
 						      "accessible than indexer `" + GetSignatureForError () + "'");
 				else if (this is MethodCore) {
 					if (this is Operator)
 						Report.Error (56, Location,
 							      "Inconsistent accessibility: return type `" +
-							      TypeManager.CSharpName (MemberType) + "' is less " +
+							      MemberType.GetSignatureForError () + "' is less " +
 							      "accessible than operator `" + GetSignatureForError () + "'");
 					else
 						Report.Error (50, Location,
 							      "Inconsistent accessibility: return type `" +
-							      TypeManager.CSharpName (MemberType) + "' is less " +
+							      MemberType.GetSignatureForError () + "' is less " +
 							      "accessible than method `" + GetSignatureForError () + "'");
 				} else {
 					Report.Error (52, Location,
 						      "Inconsistent accessibility: field type `" +
-						      TypeManager.CSharpName (MemberType) + "' is less " +
+						      MemberType.GetSignatureForError () + "' is less " +
 						      "accessible than field `" + GetSignatureForError () + "'");
 				}
 			}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/const.cs

@@ -100,10 +100,10 @@ namespace Mono.CSharp {
 		{
 			if (t.IsGenericParameter) {
 				Report.Error (1959, loc,
-					"Type parameter `{0}' cannot be declared const", TypeManager.CSharpName (t));
+					"Type parameter `{0}' cannot be declared const", t.GetSignatureForError ());
 			} else {
 				Report.Error (283, loc,
-					"The type `{0}' cannot be declared const", TypeManager.CSharpName (t));
+					"The type `{0}' cannot be declared const", t.GetSignatureForError ());
 			}
 		}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/constant.cs

@@ -64,7 +64,7 @@ namespace Mono.CSharp {
 				BuiltinTypeSpec.IsPrimitiveTypeOrDecimal (target) &&
 				BuiltinTypeSpec.IsPrimitiveTypeOrDecimal (type)) {
 				ec.Report.Error (31, loc, "Constant value `{0}' cannot be converted to a `{1}'",
-					GetValueAsLiteral (), TypeManager.CSharpName (target));
+					GetValueAsLiteral (), target.GetSignatureForError ());
 			} else {
 				base.Error_ValueCannotBeConverted (ec, target, expl);
 			}
@@ -100,7 +100,7 @@ namespace Mono.CSharp {
 				// reached, by calling Convert.ImplicitStandardConversionExists
 				//
 				throw new InternalErrorException ("Missing constant conversion between `{0}' and `{1}'",
-				  TypeManager.CSharpName (Type), TypeManager.CSharpName (type));
+				 Type.GetSignatureForError (), type.GetSignatureForError ());
 			}
 
 			return CreateConstantFromValue (type, constant_value, loc);
@@ -402,7 +402,7 @@ namespace Mono.CSharp {
 			catch
 			{
 				ec.Report.Error (31, loc, "Constant value `{0}' cannot be converted to a `{1}'",
-					GetValue ().ToString (), TypeManager.CSharpName (target));
+					GetValue ().ToString (), target.GetSignatureForError ());
 			}
 		}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/context.cs

@@ -782,7 +782,7 @@ namespace Mono.CSharp
 
 		public LocationsBag LocationsBag { get; set; }
 		public bool UseJayGlobalArrays { get; set; }
-		public Tokenizer.LocatedToken[] LocatedTokens { get; set; }
+		public LocatedToken[] LocatedTokens { get; set; }
 
 		public MD5 GetChecksumAlgorithm ()
 		{

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/cs-parser.jay

@@ -54,7 +54,7 @@ namespace Mono.CSharp
 		/// </summary>
 		Block      current_block;
 		
-		BlockVariableDeclaration current_variable;
+		BlockVariable current_variable;
 
 		Delegate   current_delegate;
 		
@@ -426,7 +426,7 @@ extern_alias_directives
 extern_alias_directive
 	: EXTERN_ALIAS IDENTIFIER IDENTIFIER SEMICOLON
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		string s = lt.Value;
 		if (s != "alias") {
 			syntax_error (lt.Location, "`alias' expected");
@@ -434,7 +434,7 @@ extern_alias_directive
 			if (lang_version == LanguageVersion.ISO_1)
 				FeatureIsNotAvailable (lt.Location, "external alias");
 
-			lt = (Tokenizer.LocatedToken) $3;
+			lt = (LocatedToken) $3;
 			if (lt.Value == QualifiedAliasMember.GlobalAlias) {
 				RootNamespace.Error_GlobalNamespaceRedefined (report, lt.Location);
 			}
@@ -474,7 +474,7 @@ using_namespace
 	  }
 	| USING IDENTIFIER ASSIGN namespace_or_type_expr SEMICOLON
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		if (lang_version != LanguageVersion.ISO_1 && lt.Value == "global") {
 			report.Warning (440, 2, lt.Location,
 			 "An alias named `global' will not be used when resolving `global::'. The global namespace will be used instead");
@@ -563,15 +563,14 @@ opt_semicolon_error
 namespace_name
 	: IDENTIFIER
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		$$ = new MemberName (lt.Value, lt.Location);
 	  }
 	| namespace_name DOT IDENTIFIER
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
-		$$ = new MemberName ((MemberName) $1, lt.Value, lt.Location) {
+		$$ = new MemberName ((MemberName) $1, lt.Value, lt.Location);
-			DotLocation = GetLocation ($2)
+		lbag.AddLocation ($$, GetLocation ($2));
-		};
 	  }
 	| error
 	  {
@@ -747,7 +746,7 @@ attribute_section_cont
 	  {
 		Error_SyntaxError (yyToken);
 
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		var tne = new SimpleName (lt.Value, null, lt.Location);
 
 		$$ = new List<Attribute> () {
@@ -764,7 +763,7 @@ attribute_section_cont
 attribute_target
 	: IDENTIFIER
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		$$ = CheckAttributeTarget (lt.Value, lt.Location);
 		savedCloseLocation = GetLocation ($1);
 	  }
@@ -894,14 +893,14 @@ named_attribute_argument
 	  expression
 	  {
 	  	--lexer.parsing_block;
-	  	var lt = (Tokenizer.LocatedToken) $1;
+	  	var lt = (LocatedToken) $1;
 		$$ = new NamedArgument (lt.Value, lt.Location, (Expression) $4);	  
 		lbag.AddLocation ($$, GetLocation($2));
 	  }
 	;
 	
 named_argument
-	: identifier_inside_body COLON opt_named_modifier expression
+	: identifier_inside_body COLON opt_named_modifier expression_or_error
 	  {
 		if (lang_version <= LanguageVersion.V_3)
 			FeatureIsNotAvailable (GetLocation ($1), "named argument");
@@ -909,7 +908,7 @@ named_argument
 		// Avoid boxing in common case (no modifier)
 		var arg_mod = $3 == null ? Argument.AType.None : (Argument.AType) $3;
 			
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		$$ = new NamedArgument (lt.Value, lt.Location, (Expression) $4, arg_mod);
 		lbag.AddLocation ($$, GetLocation($2));
 	  }
@@ -1023,7 +1022,7 @@ constant_declaration
 	  opt_modifiers
 	  CONST type IDENTIFIER
 	  {
-		var lt = (Tokenizer.LocatedToken) $5;
+		var lt = (LocatedToken) $5;
 		var mod = (Modifiers) $2;
 		current_field = new Const (current_type, (FullNamedExpression) $4, mod, new MemberName (lt.Value, lt.Location), (Attributes) $1);
 		current_type.AddMember (current_field);
@@ -1074,7 +1073,7 @@ constant_declarators
 constant_declarator
 	: COMMA IDENTIFIER constant_initializer
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 	  	$$ = new FieldDeclarator (new SimpleMemberName (lt.Value, lt.Location), (ConstInitializer) $3);
 	  	lbag.AddLocation ($$, GetLocation ($1));
 	  }
@@ -1114,7 +1113,7 @@ field_declaration
 		if (type.Type != null && type.Type.Kind == MemberKind.Void)
 			report.Error (670, GetLocation ($3), "Fields cannot have void type");
 			
-		var lt = (Tokenizer.LocatedToken) $4;
+		var lt = (LocatedToken) $4;
 		current_field = new Field (current_type, type, (Modifiers) $2, new MemberName (lt.Value, lt.Location), (Attributes) $1);
 		current_type.AddField (current_field);
 		$$ = current_field;
@@ -1139,7 +1138,7 @@ field_declaration
 		if (lang_version < LanguageVersion.ISO_2)
 			FeatureIsNotAvailable (GetLocation ($3), "fixed size buffers");
 
-		var lt = (Tokenizer.LocatedToken) $5;
+		var lt = (LocatedToken) $5;
 		current_field = new FixedField (current_type, (FullNamedExpression) $4, (Modifiers) $2,
 			new MemberName (lt.Value, lt.Location), (Attributes) $1);
 			
@@ -1203,7 +1202,7 @@ field_declarators
 field_declarator
 	: COMMA IDENTIFIER
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 	  	$$ = new FieldDeclarator (new SimpleMemberName (lt.Value, lt.Location), null);
 	  	lbag.AddLocation ($$, GetLocation ($1));
 	  }
@@ -1214,7 +1213,7 @@ field_declarator
 	  variable_initializer
 	  {
 		--lexer.parsing_block;
-		var lt = (Tokenizer.LocatedToken) $2;	  
+		var lt = (LocatedToken) $2;	  
 	  	$$ = new FieldDeclarator (new SimpleMemberName (lt.Value, lt.Location), (Expression) $5);
 	  	lbag.AddLocation ($$, GetLocation ($1), GetLocation ($3));
 	  }
@@ -1239,7 +1238,7 @@ fixed_field_declarators
 fixed_field_declarator
 	: COMMA IDENTIFIER fixed_field_size
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;	  
+		var lt = (LocatedToken) $2;	  
 		$$ = new FieldDeclarator (new SimpleMemberName (lt.Value, lt.Location), (ConstInitializer) $3);
 		lbag.AddLocation ($$, GetLocation ($1));
 	  }
@@ -1383,8 +1382,10 @@ method_header
 
 		current_type.AddMember (method);
 
-		if ($11 != null)
+		async_block = (method.ModFlags & Modifiers.ASYNC) != 0;
-			method.SetConstraints ((List<Constraints>) $11);
+
+		if ($12 != null)
+			method.SetConstraints ((List<Constraints>) $12);
 
 		if (doc_support)
 			method.DocComment = Lexer.consume_doc_comment ();
@@ -1561,7 +1562,7 @@ fixed_parameter
 	  parameter_type
 	  identifier_inside_body
 	  {
-		var lt = (Tokenizer.LocatedToken) $4;
+		var lt = (LocatedToken) $4;
 		$$ = new Parameter ((FullNamedExpression) $3, lt.Value, (Parameter.Modifier) $2, (Attributes) $1, lt.Location);
 		lbag.AddLocation ($$, parameterModifierLocation);
 	  }
@@ -1570,7 +1571,7 @@ fixed_parameter
 	  parameter_type
 	  identifier_inside_body OPEN_BRACKET CLOSE_BRACKET
 	  {
-		var lt = (Tokenizer.LocatedToken) $4;
+		var lt = (LocatedToken) $4;
 		report.Error (1552, lt.Location, "Array type specifier, [], must appear before parameter name");
 		$$ = new Parameter ((FullNamedExpression) $3, lt.Value, (Parameter.Modifier) $2, (Attributes) $1, lt.Location);
 		lbag.AddLocation ($$, parameterModifierLocation);
@@ -1629,7 +1630,7 @@ fixed_parameter
 		if ((valid_param_mod & ParameterModifierType.DefaultValue) == 0)
 			report.Error (1065, GetLocation ($5), "Optional parameter is not valid in this context");
 		
-		var lt = (Tokenizer.LocatedToken) $4;
+		var lt = (LocatedToken) $4;
 		$$ = new Parameter ((FullNamedExpression) $3, lt.Value, mod, (Attributes) $1, lt.Location);
 		lbag.AddLocation ($$, parameterModifierLocation, GetLocation ($5)); // parameterModifierLocation should be ignored when mod == NONE
 		
@@ -1701,7 +1702,7 @@ parameter_modifier
 parameter_array
 	: opt_attributes params_modifier type IDENTIFIER
 	  {
-		var lt = (Tokenizer.LocatedToken) $4;
+		var lt = (LocatedToken) $4;
 		$$ = new ParamsParameter ((FullNamedExpression) $3, lt.Value, (Attributes) $1, lt.Location);
 		lbag.AddLocation ($$, savedLocation);
 	  }
@@ -1709,7 +1710,7 @@ parameter_array
 	  {
 		report.Error (1751, GetLocation ($2), "Cannot specify a default value for a parameter array");
 		
-		var lt = (Tokenizer.LocatedToken) $4;
+		var lt = (LocatedToken) $4;
 		$$ = new ParamsParameter ((FullNamedExpression) $3, lt.Value, (Attributes) $1, lt.Location);		
 		lbag.AddLocation ($$, savedLocation);
 	  }
@@ -2135,11 +2136,11 @@ operator_declarator
 					Operator.GetName (op));
 			}
 		} else {
-			if (p_count > 2) {
+			if (p_count == 1) {
+				report.Error (1019, loc, "Overloadable unary operator expected");
+			} else if (p_count != 2) {
 				report.Error (1534, loc, "Overloaded binary operator `{0}' takes two parameters",
 					Operator.GetName (op));
-			} else if (p_count != 2) {
-				report.Error (1019, loc, "Overloadable unary operator expected");
 			}
 		}
 		
@@ -2276,7 +2277,7 @@ constructor_declarator
 		valid_param_mod = 0;
 		current_local_parameters = (ParametersCompiled) $6;
 		
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		var mods = (Modifiers) $2;
 		var c = new Constructor (current_type, lt.Value, mods, (Attributes) $1, current_local_parameters, lt.Location);
 
@@ -2373,7 +2374,7 @@ destructor_declaration
 	  }
 	  IDENTIFIER OPEN_PARENS CLOSE_PARENS method_body
 	  {
-		var lt = (Tokenizer.LocatedToken) $5;
+		var lt = (LocatedToken) $5;
 		if (lt.Value != current_container.MemberName.Name){
 			report.Error (574, lt.Location, "Name of destructor must match name of class");
 		} else if (current_container.Kind != MemberKind.Class){
@@ -2496,7 +2497,7 @@ event_declarators
 event_declarator
 	: COMMA IDENTIFIER
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 	  	$$ = new FieldDeclarator (new SimpleMemberName (lt.Value, lt.Location), null);
 	  	lbag.AddLocation ($$, GetLocation ($1));
 	  }
@@ -2507,7 +2508,7 @@ event_declarator
 	  event_variable_initializer
 	  {
 		--lexer.parsing_block;
-		var lt = (Tokenizer.LocatedToken) $2;	  
+		var lt = (LocatedToken) $2;	  
 	  	$$ = new FieldDeclarator (new SimpleMemberName (lt.Value, lt.Location), (Expression) $5);
 	  	lbag.AddLocation ($$, GetLocation ($1), GetLocation ($3));
 	  }
@@ -2729,7 +2730,7 @@ enum_member_declarations
 enum_member_declaration
 	: opt_attributes IDENTIFIER
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 	  	var em = new EnumMember ((Enum) current_type, new MemberName (lt.Value, lt.Location), (Attributes) $1);
 	  	((Enum) current_type).AddEnumMember (em);
 
@@ -2752,7 +2753,7 @@ enum_member_declaration
 	  { 
 		--lexer.parsing_block;
 		
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 	  	var em = new EnumMember ((Enum) current_type, new MemberName (lt.Value, lt.Location), (Attributes) $1);
 	  	em.Initializer = new ConstInitializer (em, (Expression) $5, GetLocation ($4));
 	  	((Enum) current_type).AddEnumMember (em);
@@ -2766,7 +2767,7 @@ enum_member_declaration
 	  {
 		Error_SyntaxError (yyToken);
 	  
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 	  	var em = new EnumMember ((Enum) current_type, new MemberName (lt.Value, lt.Location), (Attributes) $1);
 	  	((Enum) current_type).AddEnumMember (em);
 
@@ -2840,8 +2841,8 @@ namespace_or_type_expr
 	: member_name
 	| qualified_alias_member IDENTIFIER opt_type_argument_list
 	  {
-		var lt1 = (Tokenizer.LocatedToken) $1;
+		var lt1 = (LocatedToken) $1;
-		var lt2 = (Tokenizer.LocatedToken) $2;
+		var lt2 = (LocatedToken) $2;
 		
 		$$ = new QualifiedAliasMember (lt1.Value, lt2.Value, (TypeArguments) $3, lt1.Location);
 		lbag.AddLocation ($$, savedLocation, GetLocation ($2));
@@ -2852,17 +2853,16 @@ member_name
 	: simple_name_expr
 	| namespace_or_type_expr DOT IDENTIFIER opt_type_argument_list
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
-		$$ = new MemberAccess ((Expression) $1, lt.Value, (TypeArguments) $4, lt.Location) {
+		$$ = new MemberAccess ((Expression) $1, lt.Value, (TypeArguments) $4, lt.Location);
-			DotLocation = GetLocation ($2)
+		lbag.AddLocation ($$, GetLocation ($2));
-		};
 	  }
 	;
 
 simple_name_expr
 	: IDENTIFIER opt_type_argument_list
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		$$ = new SimpleName (lt.Value, (TypeArguments)$2, lt.Location);
 	  }
 	;
@@ -2918,7 +2918,7 @@ type_declaration_name
 	  opt_type_parameter_list
 	  {
 		lexer.parsing_generic_declaration = false;
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		$$ = new MemberName (lt.Value, (TypeParameters)$3, lt.Location);
 	  }
 	;
@@ -2938,7 +2938,7 @@ method_declaration_name
 	| explicit_interface IDENTIFIER opt_type_parameter_list
 	  {
 		lexer.parsing_generic_declaration = false;	  
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		$$ = new MemberName (lt.Value, (TypeParameters) $3, (ATypeNameExpression) $1, lt.Location);
 	  }
 	;
@@ -2959,21 +2959,21 @@ indexer_declaration_name
 explicit_interface
 	: IDENTIFIER opt_type_argument_list DOT
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		$$ = new SimpleName (lt.Value, (TypeArguments) $2, lt.Location);
 		lbag.AddLocation ($$, GetLocation ($3));
 	  }
 	| qualified_alias_member IDENTIFIER opt_type_argument_list DOT
 	  {
-		var lt1 = (Tokenizer.LocatedToken) $1;
+		var lt1 = (LocatedToken) $1;
-		var lt2 = (Tokenizer.LocatedToken) $2;
+		var lt2 = (LocatedToken) $2;
 
 		$$ = new QualifiedAliasMember (lt1.Value, lt2.Value, (TypeArguments) $3, lt1.Location);
 		lbag.AddLocation ($$, savedLocation, GetLocation ($4));
 	  }
 	| explicit_interface IDENTIFIER opt_type_argument_list DOT
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		$$ = new MemberAccess ((ATypeNameExpression) $1, lt.Value, (TypeArguments) $3, lt.Location);
 		lbag.AddLocation ($$, GetLocation ($4));
 	  }
@@ -3014,7 +3014,7 @@ type_parameters
 type_parameter
 	: opt_attributes opt_type_parameter_variance IDENTIFIER
 	  {
-		var lt = (Tokenizer.LocatedToken)$3;
+		var lt = (LocatedToken)$3;
 		var variance = (Variance) $2;
 		$$ = new TypeParameter (new MemberName (lt.Value, lt.Location), (Attributes)$1, variance);
 		if (variance != Variance.None)
@@ -3202,11 +3202,11 @@ primary_expression
 primary_expression_or_type
 	: IDENTIFIER opt_type_argument_list
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		$$ = new SimpleName (lt.Value, (TypeArguments)$2, lt.Location);	  
 	  }
 	| IDENTIFIER GENERATE_COMPLETION {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 	       $$ = new CompletionSimpleName (MemberName.MakeName (lt.Value, null), lt.Location);
 	  }
 	| member_access
@@ -3259,29 +3259,26 @@ parenthesized_expression
 member_access
 	: primary_expression DOT identifier_inside_body opt_type_argument_list
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
-		$$ = new MemberAccess ((Expression) $1, lt.Value, (TypeArguments) $4, lt.Location) {
+		$$ = new MemberAccess ((Expression) $1, lt.Value, (TypeArguments) $4, lt.Location);
-			DotLocation = GetLocation ($2)
+		lbag.AddLocation ($$, GetLocation ($2));
-		};
 	  }
 	| builtin_types DOT identifier_inside_body opt_type_argument_list
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
-		$$ = new MemberAccess ((Expression) $1, lt.Value, (TypeArguments) $4, lt.Location) {
+		$$ = new MemberAccess ((Expression) $1, lt.Value, (TypeArguments) $4, lt.Location);
-			DotLocation = GetLocation ($2)
+		lbag.AddLocation ($$, GetLocation ($2));
-		};
 	  }
 	| BASE DOT identifier_inside_body opt_type_argument_list
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
-		$$ = new MemberAccess (new BaseThis (GetLocation ($1)), lt.Value, (TypeArguments) $4, lt.Location) {
+		$$ = new MemberAccess (new BaseThis (GetLocation ($1)), lt.Value, (TypeArguments) $4, lt.Location);
-			DotLocation = GetLocation ($2)
+		lbag.AddLocation ($$, GetLocation ($2));
-		};
 	  }
 	| qualified_alias_member identifier_inside_body opt_type_argument_list
 	  {
-		var lt1 = (Tokenizer.LocatedToken) $1;
+		var lt1 = (LocatedToken) $1;
-		var lt2 = (Tokenizer.LocatedToken) $2;
+		var lt2 = (LocatedToken) $2;
 
 		$$ = new QualifiedAliasMember (lt1.Value, lt2.Value, (TypeArguments) $3, lt1.Location);
 		lbag.AddLocation ($$, savedLocation, GetLocation ($2));
@@ -3290,7 +3287,7 @@ member_access
 		$$ = new CompletionMemberAccess ((Expression) $1, null,GetLocation ($3));
 	  }
 	| primary_expression DOT IDENTIFIER GENERATE_COMPLETION {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		$$ = new CompletionMemberAccess ((Expression) $1, lt.Value, lt.Location);
 	  }
 	| builtin_types DOT GENERATE_COMPLETION
@@ -3298,7 +3295,7 @@ member_access
 		$$ = new CompletionMemberAccess ((Expression) $1, null, lexer.Location);
 	  }
 	| builtin_types DOT IDENTIFIER GENERATE_COMPLETION {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		$$ = new CompletionMemberAccess ((Expression) $1, lt.Value, lt.Location);
  	  }
 	;
@@ -3378,13 +3375,13 @@ member_initializer_list
 member_initializer
 	: IDENTIFIER ASSIGN initializer_value
 	  {
-	  	var lt = (Tokenizer.LocatedToken) $1;
+	  	var lt = (LocatedToken) $1;
 	  	$$ = new ElementInitializer (lt.Value, (Expression)$3, lt.Location);
 	  	lbag.AddLocation ($$, GetLocation ($2));
 	  }
 	| AWAIT ASSIGN initializer_value
 	  {
-	  	var lt = (Tokenizer.LocatedToken) Error_AwaitAsIdentifier ($1);
+	  	var lt = (LocatedToken) Error_AwaitAsIdentifier ($1);
 	  	$$ = new ElementInitializer (lt.Value, (Expression)$3, lt.Location);
 	  	lbag.AddLocation ($$, GetLocation ($2));
 	  }
@@ -3722,13 +3719,13 @@ anonymous_type_parameters
 anonymous_type_parameter
 	: identifier_inside_body ASSIGN variable_initializer
 	  {
-		var lt = (Tokenizer.LocatedToken)$1;
+		var lt = (LocatedToken)$1;
 	  	$$ = new AnonymousTypeParameter ((Expression)$3, lt.Value, lt.Location);
 	  	lbag.AddLocation ($$, GetLocation ($2));
 	  }
 	| identifier_inside_body
 	  {
-		var lt = (Tokenizer.LocatedToken)$1;
+		var lt = (LocatedToken)$1;
 	  	$$ = new AnonymousTypeParameter (new SimpleName (lt.Value, lt.Location),
 	  		lt.Value, lt.Location);
 	  }
@@ -3857,15 +3854,17 @@ typeof_type_expression
 unbound_type_name
 	: identifier_inside_body generic_dimension
 	  {  
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
+
 		var sn = new SimpleName (lt.Value, (int) $2, lt.Location);
 		$$ = sn;
 		lbag.AddLocation (sn.TypeArguments, Lexer.GetGenericDimensionLocations ());
 	  }
 	| qualified_alias_member identifier_inside_body generic_dimension
 	  {
-		var lt1 = (Tokenizer.LocatedToken) $1;
+		var lt1 = (LocatedToken) $1;
-		var lt2 = (Tokenizer.LocatedToken) $2;
+		var lt2 = (LocatedToken) $2;
+
 		var qam = new QualifiedAliasMember (lt1.Value, lt2.Value, (int) $3, lt1.Location);
 		$$ = qam;
 		lbag.AddLocation (qam.TypeArguments, Lexer.GetGenericDimensionLocations ());
@@ -3873,20 +3872,18 @@ unbound_type_name
 	  }
 	| unbound_type_name DOT identifier_inside_body
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		
-		$$ = new MemberAccess ((Expression) $1, lt.Value, lt.Location) {
+		$$ = new MemberAccess ((Expression) $1, lt.Value, lt.Location);
-			DotLocation = GetLocation ($2)
+		lbag.AddLocation ($$, savedLocation, GetLocation ($2));
-		};
 	  }
 	| unbound_type_name DOT identifier_inside_body generic_dimension
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		
-		var ma = new MemberAccess ((Expression) $1, lt.Value, (int) $4, lt.Location) {
+		var ma = new MemberAccess ((Expression) $1, lt.Value, (int) $4, lt.Location);
-			DotLocation = GetLocation ($2)
-		};
 		$$ = ma;
+		lbag.AddLocation ($$, savedLocation, GetLocation ($2));
 		lbag.AddLocation (ma.TypeArguments, Lexer.GetGenericDimensionLocations ());
 	  }
 	| namespace_or_type_expr DOT identifier_inside_body generic_dimension
@@ -3895,10 +3892,8 @@ unbound_type_name
 		if (tne.HasTypeArguments)
 			Error_TypeExpected (GetLocation ($4));
 
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
-		var ma = new MemberAccess (tne, lt.Value, (int) $4, lt.Location) {
+		var ma = new MemberAccess (tne, lt.Value, (int) $4, lt.Location);		
-			DotLocation = GetLocation ($2)
-		};		
 		$$ = ma;
 		lbag.AddLocation (ma.TypeArguments, Lexer.GetGenericDimensionLocations ());
 	  }
@@ -3917,7 +3912,7 @@ generic_dimension
 qualified_alias_member
 	: IDENTIFIER DOUBLE_COLON
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		if (lang_version == LanguageVersion.ISO_1)
 			FeatureIsNotAvailable (lt.Location, "namespace alias qualifier");
 		savedLocation = GetLocation ($2);
@@ -3971,7 +3966,7 @@ unchecked_expression
 pointer_member_access
 	: primary_expression OP_PTR IDENTIFIER opt_type_argument_list
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		$$ = new MemberAccess (new Indirection ((Expression) $1, GetLocation ($2)), lt.Value, (TypeArguments) $4, lt.Location);
 	  }
 	;
@@ -4570,24 +4565,24 @@ lambda_parameter_list
 lambda_parameter
 	: parameter_modifier parameter_type identifier_inside_body
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 
 		$$ = new Parameter ((FullNamedExpression) $2, lt.Value, (Parameter.Modifier) $1, null, lt.Location);
 	  }
 	| parameter_type identifier_inside_body
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 
 		$$ = new Parameter ((FullNamedExpression) $1, lt.Value, Parameter.Modifier.NONE, null, lt.Location);
 	  }
 	| IDENTIFIER
 	  {
-	  	var lt = (Tokenizer.LocatedToken) $1;
+	  	var lt = (LocatedToken) $1;
 		$$ = new ImplicitLambdaParameter (lt.Value, lt.Location);
 	  }
 	| AWAIT
 	  {
-	  	var lt = (Tokenizer.LocatedToken) Error_AwaitAsIdentifier ($1);
+	  	var lt = (LocatedToken) Error_AwaitAsIdentifier ($1);
 		$$ = new ImplicitLambdaParameter (lt.Value, lt.Location);
 	  }
 	;
@@ -4637,7 +4632,7 @@ expression_or_error
 lambda_expression
 	: IDENTIFIER ARROW 
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;	
+		var lt = (LocatedToken) $1;	
 		Parameter p = new ImplicitLambdaParameter (lt.Value, lt.Location);
 		start_anonymous (true, new ParametersCompiled (p), false, lt.Location);
 	  }
@@ -4648,7 +4643,7 @@ lambda_expression
 	  }
 	| AWAIT ARROW
 	  {
-		var lt = (Tokenizer.LocatedToken) Error_AwaitAsIdentifier ($1);
+		var lt = (LocatedToken) Error_AwaitAsIdentifier ($1);
 		Parameter p = new ImplicitLambdaParameter (lt.Value, lt.Location);
 		start_anonymous (true, new ParametersCompiled (p), false, lt.Location);
 	  }
@@ -4659,7 +4654,7 @@ lambda_expression
 	  }
 	| ASYNC identifier_inside_body ARROW
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		Parameter p = new ImplicitLambdaParameter (lt.Value, lt.Location);
 		start_anonymous (true, new ParametersCompiled (p), true, lt.Location);
 	  }
@@ -4923,14 +4918,14 @@ opt_class_base
 	: /* empty */
 	| COLON type_list
 	 {
-		current_type.AddBasesForPart ((List<FullNamedExpression>) $2);
+		current_type.SetBaseTypes ((List<FullNamedExpression>) $2);
 		lbag.AppendToMember (current_type, GetLocation ($1));
 	 }
 	| COLON type_list error
 	  {
 		Error_SyntaxError (yyToken);
 
-		current_type.AddBasesForPart ((List<FullNamedExpression>) $2);
+		current_type.SetBaseTypes ((List<FullNamedExpression>) $2);
 	  }
 	;
 
@@ -4970,7 +4965,7 @@ type_parameter_constraints_clauses
 type_parameter_constraints_clause
 	: WHERE IDENTIFIER COLON type_parameter_constraints
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		$$ = new Constraints (new SimpleMemberName (lt.Value, lt.Location), (List<FullNamedExpression>) $4, GetLocation ($1));
 		lbag.AddLocation ($$, GetLocation ($3));
 	  }
@@ -4978,7 +4973,7 @@ type_parameter_constraints_clause
 	  {
 		Error_SyntaxError (yyToken);
 	  
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		$$ = new Constraints (new SimpleMemberName (lt.Value, lt.Location), null, GetLocation ($1));
 	  }
 	; 
@@ -5160,7 +5155,7 @@ statement
 	| IDENTIFIER error
 	{
 		Error_SyntaxError (yyToken);
-		var lt =(Tokenizer.LocatedToken) $1;
+		var lt =(LocatedToken) $1;
 		var sn = new SimpleName (lt.Value, lt.Location);
 		current_block.AddStatement(new StatementErrorExpression (sn));
 		$$ = null;
@@ -5258,7 +5253,7 @@ empty_statement
 labeled_statement
 	: identifier_inside_body COLON 
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		LabeledStatement labeled = new LabeledStatement (lt.Value, current_block, lt.Location);
 		lbag.AddLocation (labeled, GetLocation ($2));
 		current_block.AddLabel (labeled);
@@ -5375,10 +5370,10 @@ identifier_inside_body
 block_variable_declaration
 	: variable_type identifier_inside_body
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		var li = new LocalVariable (current_block, lt.Value, lt.Location);
 		current_block.AddLocalName (li);
-		current_variable = new BlockVariableDeclaration ((FullNamedExpression) $1, li);
+		current_variable = new BlockVariable ((FullNamedExpression) $1, li);
 	  }
 	  opt_local_variable_initializer opt_variable_declarators semicolon_or_handle_error_close_brace
 	  {
@@ -5391,10 +5386,10 @@ block_variable_declaration
 	  }
 	| CONST variable_type identifier_inside_body
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		var li = new LocalVariable (current_block, lt.Value, LocalVariable.Flags.Constant, lt.Location);
 		current_block.AddLocalName (li);
-		current_variable = new BlockConstantDeclaration ((FullNamedExpression) $2, li);
+		current_variable = new BlockConstant ((FullNamedExpression) $2, li);
 	  }
 	  const_variable_initializer opt_const_declarators SEMICOLON
 	  {
@@ -5461,18 +5456,18 @@ variable_declarators
 variable_declarator
 	: COMMA identifier_inside_body
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;	  
+		var lt = (LocatedToken) $2;	  
 		var li = new LocalVariable (current_variable.Variable, lt.Value, lt.Location);
-		var d = new BlockVariableDeclaration.Declarator (li, null);
+		var d = new BlockVariableDeclarator (li, null);
 		current_variable.AddDeclarator (d);
 		current_block.AddLocalName (li);
 	  	lbag.AddLocation (d, GetLocation ($1));
 	  }
 	| COMMA identifier_inside_body ASSIGN block_variable_initializer
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;	  
+		var lt = (LocatedToken) $2;	  
 		var li = new LocalVariable (current_variable.Variable, lt.Value, lt.Location);
-		var d = new BlockVariableDeclaration.Declarator (li, (Expression) $4);
+		var d = new BlockVariableDeclarator (li, (Expression) $4);
 		current_variable.AddDeclarator (d);
 		current_block.AddLocalName (li);
 	  	lbag.AddLocation (d, GetLocation ($1), GetLocation ($3));
@@ -5504,9 +5499,9 @@ const_declarators
 const_declarator
 	: COMMA identifier_inside_body ASSIGN constant_initializer_expr
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;	  
+		var lt = (LocatedToken) $2;	  
 		var li = new LocalVariable (current_block, lt.Value, LocalVariable.Flags.Constant, lt.Location);
-		var d = new BlockVariableDeclaration.Declarator (li, (Expression) $4);
+		var d = new BlockVariableDeclarator (li, (Expression) $4);
 		current_variable.AddDeclarator (d);
 		current_block.AddLocalName (li);
 	  	lbag.AddLocation (d, GetLocation ($1), GetLocation ($3));
@@ -5557,7 +5552,6 @@ statement_expression
 		ExpressionStatement s = $1 as ExpressionStatement;
 		if (s == null) {
 			var expr = $1 as Expression;
-			expr.Error_InvalidExpressionStatement (report);
 			$$ = new StatementErrorExpression (expr);
 		} else {
 			$$ = new StatementExpression (s);
@@ -5822,10 +5816,10 @@ opt_for_initializer
 for_initializer
 	: variable_type identifier_inside_body
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		var li = new LocalVariable (current_block, lt.Value, lt.Location);
 		current_block.AddLocalName (li);
-		current_variable = new BlockVariableDeclaration ((FullNamedExpression) $1, li);
+		current_variable = new BlockVariable ((FullNamedExpression) $1, li);
 	  }
 	  opt_local_variable_initializer opt_variable_declarators
 	  {
@@ -5891,7 +5885,7 @@ foreach_statement
 		start_block (GetLocation ($2));
 		current_block.IsCompilerGenerated = true;
 		
-		var lt = (Tokenizer.LocatedToken) $4;
+		var lt = (LocatedToken) $4;
 		var li = new LocalVariable (current_block, lt.Value, LocalVariable.Flags.ForeachVariable | LocalVariable.Flags.Used, lt.Location);
 		current_block.AddLocalName (li);
 		
@@ -5905,7 +5899,8 @@ foreach_statement
 	  {
 		start_block (GetLocation ($2));
 		current_block.IsCompilerGenerated = true;
-		var lt = (Tokenizer.LocatedToken) $4;
+		
+		var lt = (LocatedToken) $4;
 		var li = new LocalVariable (current_block, lt.Value, LocalVariable.Flags.ForeachVariable | LocalVariable.Flags.Used, lt.Location);
 		current_block.AddLocalName (li);
 		$$ = li;
@@ -5925,7 +5920,7 @@ foreach_statement
 	  {
 		start_block (GetLocation ($2));
 		current_block.IsCompilerGenerated = true;
-		var lt = $4 as Tokenizer.LocatedToken;
+		var lt = $4 as LocatedToken;
 		var li = lt != null ? new LocalVariable (current_block, lt.Value, LocalVariable.Flags.ForeachVariable | LocalVariable.Flags.Used, lt.Location) : null;
 		
 		Foreach f = new Foreach ((Expression) $3, li, null, null, null, GetLocation ($1));
@@ -5977,7 +5972,7 @@ continue_statement
 goto_statement
 	: GOTO identifier_inside_body SEMICOLON 
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		$$ = new Goto (lt.Value, GetLocation ($1));
 		lbag.AddStatement ($$, GetLocation ($2), GetLocation ($3));
 	  }
@@ -6027,7 +6022,7 @@ throw_statement
 yield_statement 
 	: identifier_inside_body RETURN opt_expression SEMICOLON
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		string s = lt.Value;
 		if (s != "yield"){
 			report.Error (1003, lt.Location, "; expected");
@@ -6045,7 +6040,7 @@ yield_statement
 	  {
 		Error_SyntaxError (yyToken);
 
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		string s = lt.Value;
 		if (s != "yield"){
 			report.Error (1003, lt.Location, "; expected");
@@ -6061,7 +6056,7 @@ yield_statement
 	  }
 	| identifier_inside_body BREAK SEMICOLON
 	  {
-		var lt = (Tokenizer.LocatedToken) $1;
+		var lt = (LocatedToken) $1;
 		string s = lt.Value;
 		if (s != "yield"){
 			report.Error (1003, lt.Location, "; expected");
@@ -6069,7 +6064,7 @@ yield_statement
 			FeatureIsNotAvailable (lt.Location, "iterators");
 		}
 		
-		current_block.Explicit.RegisterIteratorYield ();
+		current_block.ParametersBlock.TopBlock.IsIterator = true;
 		$$ = new YieldBreak (lt.Location);
 		lbag.AddStatement ($$, GetLocation ($2), GetLocation ($3));
 	  }
@@ -6141,7 +6136,7 @@ catch_clause
 		c.TypeExpression = (FullNamedExpression) $3;
 
 		if ($4 != null) {
-			var lt = (Tokenizer.LocatedToken) $4;
+			var lt = (LocatedToken) $4;
 			c.Variable = new LocalVariable (current_block, lt.Value, lt.Location);
 			current_block.AddLocalName (c.Variable);
 		}
@@ -6174,12 +6169,12 @@ catch_clause
 		c.TypeExpression = (FullNamedExpression) $3;
 		
 		if ($4 != null) {
-			var lt = (Tokenizer.LocatedToken) $4;
+			var lt = (LocatedToken) $4;
 			c.Variable = new LocalVariable (current_block, lt.Value, lt.Location);
 		}
 
 		if ($4 != null) {
-			var lt = (Tokenizer.LocatedToken) $4;
+			var lt = (LocatedToken) $4;
 			c.Variable = new LocalVariable (current_block, lt.Value, lt.Location);
 		}
 
@@ -6237,7 +6232,7 @@ fixed_statement
 	    start_block (GetLocation ($2));
 	    
 		current_block.IsCompilerGenerated = true;
-		var lt = (Tokenizer.LocatedToken) $4;
+		var lt = (LocatedToken) $4;
 		var li = new LocalVariable (current_block, lt.Value, LocalVariable.Flags.FixedVariable | LocalVariable.Flags.Used, lt.Location);
 		current_block.AddLocalName (li);
 		current_variable = new Fixed.VariableDeclaration ((FullNamedExpression) $3, li);
@@ -6265,7 +6260,7 @@ using_statement
 	    start_block (GetLocation ($2));
 	    
 		current_block.IsCompilerGenerated = true;
-		var lt = (Tokenizer.LocatedToken) $4;
+		var lt = (LocatedToken) $4;
 		var li = new LocalVariable (current_block, lt.Value, LocalVariable.Flags.UsingVariable | LocalVariable.Flags.Used, lt.Location);
 		current_block.AddLocalName (li);
 		current_variable = new Using.VariableDeclaration ((FullNamedExpression) $3, li);
@@ -6371,7 +6366,7 @@ first_from_clause
 	  {
 		current_block = new Linq.QueryBlock (current_block, lexer.Location);
 	  
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		var rv = new Linq.RangeVariable (lt.Value, lt.Location);
 		var start = new Linq.QueryStartClause ((Linq.QueryBlock)current_block, (Expression)$4, rv, GetLocation ($1));
 		lbag.AddLocation (start, GetLocation ($3));
@@ -6381,7 +6376,7 @@ first_from_clause
 	  {
 		current_block = new Linq.QueryBlock (current_block, lexer.Location);
 	  
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		var rv = new Linq.RangeVariable (lt.Value, lt.Location);
 		var start = new Linq.QueryStartClause ((Linq.QueryBlock)current_block, (Expression)$5, rv, GetLocation ($1)) {
 			IdentifierType = (FullNamedExpression)$2
@@ -6396,7 +6391,7 @@ nested_from_clause
 	  {
 		current_block = new Linq.QueryBlock (current_block, lexer.Location);
 	  
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		var rv = new Linq.RangeVariable (lt.Value, lt.Location);
 		var start = new Linq.QueryStartClause ((Linq.QueryBlock)current_block, (Expression)$4, rv, GetLocation ($1));
 		lbag.AddLocation (start, GetLocation ($3));
@@ -6406,7 +6401,7 @@ nested_from_clause
 	  {
 		current_block = new Linq.QueryBlock (current_block, lexer.Location);
 	  
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		var rv = new Linq.RangeVariable (lt.Value, lt.Location);
 		var start = new Linq.QueryStartClause ((Linq.QueryBlock)current_block, (Expression)$5, rv, GetLocation ($1)) {
 			IdentifierType = (FullNamedExpression)$2
@@ -6423,7 +6418,7 @@ from_clause
 	  }
 	  expression_or_error
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		var sn = new Linq.RangeVariable (lt.Value, lt.Location);
 		$$ = new Linq.SelectMany ((Linq.QueryBlock)current_block, sn, (Expression)$5, GetLocation ($1));
 		
@@ -6439,7 +6434,7 @@ from_clause
 	  }
 	  expression_or_error
 	  {
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		var sn = new Linq.RangeVariable (lt.Value, lt.Location);
 
 		$$ = new Linq.SelectMany ((Linq.QueryBlock)current_block, sn, (Expression)$6, GetLocation ($1)) {
@@ -6571,7 +6566,7 @@ let_clause
 	  }
 	  expression_or_error
 	  {
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		var sn = new Linq.RangeVariable (lt.Value, lt.Location);
 	  	$$ = new Linq.Let ((Linq.QueryBlock) current_block, sn, (Expression)$5, GetLocation ($1));
 		lbag.AddLocation ($$, GetLocation ($3));
@@ -6630,7 +6625,7 @@ join_clause
 		var outer_selector = linq_clause_blocks.Pop ();
 		var block = linq_clause_blocks.Pop ();
 
-		var lt = (Tokenizer.LocatedToken) $2;	
+		var lt = (LocatedToken) $2;	
 		var sn = new Linq.RangeVariable (lt.Value, lt.Location);
 		Linq.RangeVariable into;
 		
@@ -6650,7 +6645,7 @@ join_clause
 			
 			((Linq.QueryBlock)current_block).AddRangeVariable (sn);
 		
-			lt = (Tokenizer.LocatedToken) $12;
+			lt = (LocatedToken) $12;
 			into = new Linq.RangeVariable (lt.Value, lt.Location);
 
 			$$ = new Linq.GroupJoin (block, sn, (Expression)$5, outer_selector, (Linq.QueryBlock) current_block, into, GetLocation ($1));	
@@ -6692,7 +6687,7 @@ join_clause
 		var outer_selector = linq_clause_blocks.Pop ();
 		var block = linq_clause_blocks.Pop ();
 		
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		var sn = new Linq.RangeVariable (lt.Value, lt.Location);
 		Linq.RangeVariable into;
 		
@@ -6714,7 +6709,7 @@ join_clause
 		
 			((Linq.QueryBlock)current_block).AddRangeVariable (sn);
 		
-			lt = (Tokenizer.LocatedToken) $13;
+			lt = (LocatedToken) $13;
 			into = new Linq.RangeVariable (lt.Value, lt.Location); // TODO:
 			
 			$$ = new Linq.GroupJoin (block, sn, (Expression)$6, outer_selector, (Linq.QueryBlock) current_block, into, GetLocation ($1)) {
@@ -6840,7 +6835,7 @@ opt_query_continuation
 	  query_body
 	  {
 		var current_block = linq_clause_blocks.Pop ();	  
-		var lt = (Tokenizer.LocatedToken) $2;
+		var lt = (LocatedToken) $2;
 		var rv = new Linq.RangeVariable (lt.Value, lt.Location);
   		$$ = new Linq.QueryStartClause ((Linq.QueryBlock)current_block, null, rv, GetLocation ($1)) {
   			next = (Linq.AQueryClause)$4
@@ -6945,7 +6940,7 @@ doc_cref
 	  {
 		module.DocumentationBuilder.ParsedBuiltinType = (TypeExpression)$1;
 		module.DocumentationBuilder.ParsedParameters = (List<DocumentationParameter>)$4;
-		var lt = (Tokenizer.LocatedToken) $3;
+		var lt = (LocatedToken) $3;
 		$$ = new MemberName (lt.Value);
 	  }
 	| doc_type_declaration_name DOT THIS
@@ -7107,7 +7102,7 @@ object Error_AwaitAsIdentifier (object token)
 {
 	if (async_block) {
 		report.Error (4003, GetLocation (token), "`await' cannot be used as an identifier within an async method or lambda expression");
-		return new Tokenizer.LocatedToken ("await", GetLocation (token));
+		return new LocatedToken ("await", GetLocation (token));
 	}
 
 	return token;
@@ -7301,7 +7296,7 @@ void FeatureIsNotAvailable (Location loc, string feature)
 
 Location GetLocation (object obj)
 {
-	var lt = obj as Tokenizer.LocatedToken;
+	var lt = obj as LocatedToken;
 	if (lt != null)
 		return lt.Location;
 		
@@ -7379,7 +7374,7 @@ AnonymousMethodExpression end_anonymous (ParametersBlock anon_block)
 	retval = current_anonymous_method;
 
 	async_block = (bool) oob_stack.Pop ();
-	current_variable = (BlockVariableDeclaration) oob_stack.Pop ();
+	current_variable = (BlockVariable) oob_stack.Pop ();
 	current_local_parameters = (ParametersCompiled) oob_stack.Pop ();
 	current_anonymous_method = (AnonymousMethodExpression) oob_stack.Pop ();
 
@@ -7488,7 +7483,7 @@ string GetSymbolName (int token)
 	case Token.LITERAL:
 		return ((Constant)lexer.Value).GetValue ().ToString ();
 	case Token.IDENTIFIER:
-		return ((Tokenizer.LocatedToken)lexer.Value).Value;
+		return ((LocatedToken)lexer.Value).Value;
 
 	case Token.BOOL:
 		return "bool";

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/cs-tokenizer.cs

@@ -20,6 +20,44 @@ using System.Collections;
 
 namespace Mono.CSharp
 {
+	//
+	// This class has to be used by parser only, it reuses token
+	// details once a file is parsed
+	//
+	public class LocatedToken
+	{
+		public int row, column;
+		public string value;
+		public SourceFile file;
+
+		public LocatedToken ()
+		{
+		}
+
+		public LocatedToken (string value, Location loc)
+		{
+			this.value = value;
+			file = loc.SourceFile;
+			row = loc.Row;
+			column = loc.Column;
+		}
+
+		public override string ToString ()
+		{
+			return string.Format ("Token '{0}' at {1},{2}", Value, row, column);
+		}
+
+		public Location Location
+		{
+			get { return new Location (file, row, column); }
+		}
+
+		public string Value
+		{
+			get { return value; }
+		}
+	}
+
 	/// <summary>
 	///    Tokenizer for C# source code. 
 	/// </summary>
@@ -66,42 +104,6 @@ namespace Mono.CSharp
 			}
 		}
 
-		//
-		// This class has to be used by parser only, it reuses token
-		// details after each file parse completion
-		//
-		public class LocatedToken
-		{
-			public int row, column;
-			public string value;
-			public SourceFile file;
-
-			public LocatedToken ()
-			{
-			}
-
-			public LocatedToken (string value, Location loc)
-			{
-				this.value = value;
-				file = loc.SourceFile;
-				row = loc.Row;
-				column = loc.Column;
-			}
-
-			public override string ToString ()
-			{
-				return string.Format ("Token '{0}' at {1},{2}", Value, row, column);
-			}
-			
-			public Location Location {
-				get { return new Location (file, row, column); }
-			}
-
-			public string Value {
-				get { return value; }
-			}
-		}
-
 		public class LocatedTokenBuffer
 		{
 			readonly LocatedToken[] buffer;
@@ -2035,6 +2037,9 @@ namespace Mono.CSharp
 		bool PreProcessLine ()
 		{
 			Location loc = Location;
+			#if FULL_AST
+			var lineDirective = sbag.GetCurrentLineProcessorDirective();
+			#endif
 
 			int c;
 
@@ -2085,6 +2090,9 @@ namespace Mono.CSharp
 
 				return new_line != 0;
 			}
+			#if FULL_AST
+			lineDirective.LineNumber = new_line;
+			#endif
 
 			c = get_char ();
 			if (c == ' ') {
@@ -2111,6 +2119,9 @@ namespace Mono.CSharp
 			string new_file_name = null;
 			if (c == '"') {
 				new_file_name = TokenizeFileName (ref c);
+				#if FULL_AST
+				lineDirective.FileName = new_file_name;
+				#endif
 
 				// skip over white space
 				while (c == ' ' || c == '\t') {
@@ -2454,6 +2465,7 @@ namespace Mono.CSharp
 				//
 				if (length == pragma_warning_disable.Length) {
 					bool disable = IsTokenIdentifierEqual (pragma_warning_disable);
+					sbag.SetPragmaDisable (disable);
 					if (disable || IsTokenIdentifierEqual (pragma_warning_restore)) {
 						// skip over white space
 						while (c == ' ' || c == '\t')
@@ -2481,6 +2493,7 @@ namespace Mono.CSharp
 							do {
 								code = TokenizePragmaNumber (ref c);
 								if (code > 0) {
+									sbag.AddPragmaCode (code);
 									if (disable) {
 										Report.RegisterWarningRegion (loc).WarningDisable (loc, code, context.Report);
 									} else {
@@ -2819,6 +2832,7 @@ namespace Mono.CSharp
 					}
 
 					if ((state & TAKING) != 0) {
+						sbag.SkipIf ();
 						ifstack.Push (0);
 						return false;
 					}
@@ -2828,6 +2842,7 @@ namespace Mono.CSharp
 						return true;
 					}
 
+					sbag.SkipIf ();
 					ifstack.Push (state);
 					return false;
 				}
@@ -3028,7 +3043,6 @@ namespace Mono.CSharp
 
 				value_builder[pos++] = (char) c;
 			}
-			recordNewLine = true;
 		}
 
 		private int consume_identifier (int s)
@@ -3607,6 +3621,7 @@ namespace Mono.CSharp
 						if (c == '#') {
 							if (ParsePreprocessingDirective (false))
 								break;
+							sbag.StartComment(SpecialsBag.CommentType.InactiveCode, false, line, 1);
 						}
 						sbag.PushCommentChar (c);
 						directive_expected = false;

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/decl.cs

@@ -53,12 +53,6 @@ namespace Mono.CSharp {
 			: this (name, Location.Null)
 		{ }
 
-#if FULL_AST
-		public Location DotLocation {
-			get;
-			set;
-		}
-#endif
 		public MemberName (string name, Location loc)
 			: this (null, name, loc)
 		{ }
@@ -1281,6 +1275,11 @@ namespace Mono.CSharp {
 		void SetIsUsed ();
 	}
 
+	public interface IMethodDefinition : IMemberDefinition
+	{
+		MethodBase Metadata { get; }
+	}
+
 	public interface IParametersMember : IInterfaceMemberSpec
 	{
 		AParametersCollection Parameters { get; }

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/delegate.cs

@@ -153,7 +153,7 @@ namespace Mono.CSharp {
 					Report.SymbolRelatedToPreviousError (partype);
 					Report.Error (59, Location,
 						"Inconsistent accessibility: parameter type `{0}' is less accessible than delegate `{1}'",
-						TypeManager.CSharpName (partype), GetSignatureForError ());
+						partype.GetSignatureForError (), GetSignatureForError ());
 				}
 			}
 
@@ -169,7 +169,7 @@ namespace Mono.CSharp {
 				Report.SymbolRelatedToPreviousError (ret_type);
 				Report.Error (58, Location,
 						  "Inconsistent accessibility: return type `" +
-						  TypeManager.CSharpName (ret_type) + "' is less " +
+						  ret_type.GetSignatureForError () + "' is less " +
 						  "accessible than delegate `" + GetSignatureForError () + "'");
 				return false;
 			}
@@ -297,6 +297,12 @@ namespace Mono.CSharp {
 			if (!Parameters.IsEmpty) {
 				parameters.ResolveDefaultValues (this);
 			}
+
+			InvokeBuilder.PrepareEmit ();
+			if (BeginInvokeBuilder != null) {
+				BeginInvokeBuilder.PrepareEmit ();
+				EndInvokeBuilder.PrepareEmit ();
+			}
 		}
 
 		public override void Emit ()
@@ -522,7 +528,7 @@ namespace Mono.CSharp {
 				TypeSpec e_type = emg.ExtensionExpression.Type;
 				if (TypeSpec.IsValueType (e_type)) {
 					ec.Report.Error (1113, loc, "Extension method `{0}' of value type `{1}' cannot be used to create delegates",
-						delegate_method.GetSignatureForError (), TypeManager.CSharpName (e_type));
+						delegate_method.GetSignatureForError (), e_type.GetSignatureForError ());
 				}
 			}
 
@@ -586,8 +592,8 @@ namespace Mono.CSharp {
 			ec.Report.SymbolRelatedToPreviousError (method);
 			if (ec.Module.Compiler.Settings.Version == LanguageVersion.ISO_1) {
 				ec.Report.Error (410, loc, "A method or delegate `{0} {1}' parameters and return type must be same as delegate `{2} {3}' parameters and return type",
-					TypeManager.CSharpName (method.ReturnType), member_name,
+					method.ReturnType.GetSignatureForError (), member_name,
-					TypeManager.CSharpName (invoke_method.ReturnType), Delegate.FullDelegateDesc (invoke_method));
+					invoke_method.ReturnType.GetSignatureForError (), Delegate.FullDelegateDesc (invoke_method));
 				return;
 			}
 
@@ -599,7 +605,7 @@ namespace Mono.CSharp {
 
 			ec.Report.Error (407, loc, "A method or delegate `{0} {1}' return type does not match delegate `{2} {3}' return type",
 				return_type.GetSignatureForError (), member_name,
-				TypeManager.CSharpName (invoke_method.ReturnType), Delegate.FullDelegateDesc (invoke_method));
+				invoke_method.ReturnType.GetSignatureForError (), Delegate.FullDelegateDesc (invoke_method));
 		}
 
 		public static bool ImplicitStandardConversionExists (ResolveContext ec, MethodGroupExpr mg, TypeSpec target_type)

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/driver.cs

@@ -80,7 +80,7 @@ namespace Mono.CSharp
 
 			var session = new ParserSession () {
 				UseJayGlobalArrays = true,
-				LocatedTokens = new Tokenizer.LocatedToken[15000]
+				LocatedTokens = new LocatedToken[15000]
 			};
 
 			for (int i = 0; i < sources.Count; ++i) {
@@ -419,7 +419,7 @@ namespace Mono.CSharp
 		public ModuleContainer ModuleCompiled { get; set; }
 		public LocationsBag LocationsBag { get; set; }
 		public SpecialsBag SpecialsBag { get; set; }
-		public IEnumerable<string> Conditionals { get; set; }
+		public IDictionary<string, bool> Conditionals { get; set; }
 		public object LastYYValue { get; set; }
 	}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/dynamic.cs

@@ -447,6 +447,7 @@ namespace Mono.CSharp
 				d.CreateContainer ();
 				d.DefineContainer ();
 				d.Define ();
+				d.PrepareEmit ();
 
 				site.AddTypeContainer (d);
 				del_type = new TypeExpression (d.CurrentType, loc);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/ecore.cs

@@ -251,7 +251,7 @@ namespace Mono.CSharp {
 		public void Error_ConstantCanBeInitializedWithNullOnly (ResolveContext rc, TypeSpec type, Location loc, string name)
 		{
 			rc.Report.Error (134, loc, "A constant `{0}' of reference type `{1}' can only be initialized with null",
-				name, TypeManager.CSharpName (type));
+				name, type.GetSignatureForError ());
 		}
 
 		protected virtual void Error_InvalidExpressionStatement (Report report, Location loc)
@@ -282,7 +282,10 @@ namespace Mono.CSharp {
 		protected void Error_ValueCannotBeConvertedCore (ResolveContext ec, Location loc, TypeSpec target, bool expl)
 		{
 			// The error was already reported as CS1660
-			if (type == InternalType.AnonymousMethod || type == InternalType.ErrorType)
+			if (type == InternalType.AnonymousMethod)
+				return;
+
+			if (type == InternalType.ErrorType || target == InternalType.ErrorType)
 				return;
 
 			string from_type = type.GetSignatureForError ();
@@ -351,13 +354,15 @@ namespace Mono.CSharp {
 		{
 			ec.Report.SymbolRelatedToPreviousError (type);
 			ec.Report.Error (117, loc, "`{0}' does not contain a definition for `{1}'",
-				TypeManager.CSharpName (type), name);
+				type.GetSignatureForError (), name);
 		}
 
 		public virtual void Error_ValueAssignment (ResolveContext rc, Expression rhs)
 		{
 			if (rhs == EmptyExpression.LValueMemberAccess || rhs == EmptyExpression.LValueMemberOutAccess) {
 				// Already reported as CS1612
+			} else if (rhs == EmptyExpression.OutAccess) {
+				rc.Report.Error (1510, loc, "A ref or out argument must be an assignable variable");
 			} else {
 				rc.Report.Error (131, loc, "The left-hand side of an assignment must be a variable, a property or an indexer");
 			}
@@ -492,10 +497,7 @@ namespace Mono.CSharp {
 
 			if (e == null) {
 				if (errors == ec.Report.Errors) {
-					if (out_access)
+					Error_ValueAssignment (ec, right_side);
-						ec.Report.Error (1510, loc, "A ref or out argument must be an assignable variable");
-					else
-						Error_ValueAssignment (ec, right_side);
 				}
 				return null;
 			}
@@ -1475,7 +1477,7 @@ namespace Mono.CSharp {
 
 		public override string GetSignatureForError()
 		{
-			return TypeManager.CSharpName (Type);
+			return Type.GetSignatureForError ();
 		}
 
 		public override object GetValue ()
@@ -1534,7 +1536,7 @@ namespace Mono.CSharp {
 			}
 		}
 
-		public override Constant ConvertExplicitly(bool in_checked_context, TypeSpec target_type)
+		public override Constant ConvertExplicitly (bool in_checked_context, TypeSpec target_type)
 		{
 			if (Child.Type == target_type)
 				return Child;
@@ -2418,15 +2420,15 @@ namespace Mono.CSharp {
 			}
 		}
 
-		public override FullNamedExpression ResolveAsTypeOrNamespace (IMemberContext ec)
+		public override FullNamedExpression ResolveAsTypeOrNamespace (IMemberContext mc)
 		{
-			FullNamedExpression fne = ec.LookupNamespaceOrType (Name, Arity, LookupMode.Normal, loc);
+			FullNamedExpression fne = mc.LookupNamespaceOrType (Name, Arity, LookupMode.Normal, loc);
 
 			if (fne != null) {
 				if (fne.Type != null && Arity > 0) {
 					if (HasTypeArguments) {
 						GenericTypeExpr ct = new GenericTypeExpr (fne.Type, targs, loc);
-						if (ct.ResolveAsType (ec) == null)
+						if (ct.ResolveAsType (mc) == null)
 							return null;
 
 						return ct;
@@ -2442,21 +2444,21 @@ namespace Mono.CSharp {
 					return fne;
 			}
 
-			if (Arity == 0 && Name == "dynamic" && ec.Module.Compiler.Settings.Version > LanguageVersion.V_3) {
+			if (Arity == 0 && Name == "dynamic" && mc.Module.Compiler.Settings.Version > LanguageVersion.V_3) {
-				if (!ec.Module.PredefinedAttributes.Dynamic.IsDefined) {
+				if (!mc.Module.PredefinedAttributes.Dynamic.IsDefined) {
-					ec.Module.Compiler.Report.Error (1980, Location,
+					mc.Module.Compiler.Report.Error (1980, Location,
 						"Dynamic keyword requires `{0}' to be defined. Are you missing System.Core.dll assembly reference?",
-						ec.Module.PredefinedAttributes.Dynamic.GetSignatureForError ());
+						mc.Module.PredefinedAttributes.Dynamic.GetSignatureForError ());
 				}
 
 				fne = new DynamicTypeExpr (loc);
-				fne.ResolveAsType (ec);
+				fne.ResolveAsType (mc);
 			}
 
 			if (fne != null)
 				return fne;
 
-			Error_TypeOrNamespaceNotFound (ec);
+			Error_TypeOrNamespaceNotFound (mc);
 			return null;
 		}
 
@@ -3297,8 +3299,12 @@ namespace Mono.CSharp {
 			if (ExtensionExpression == null)
 				return null;
 
+			var cand = candidates;
 			arguments.Insert (0, new Argument (ExtensionExpression, Argument.AType.ExtensionType));
 			var res = base.OverloadResolve (ec, ref arguments, ehandler ?? this, restr);
+			
+			// Restore candidates in case we are running in probing mode 
+			candidates = cand;
 
 			// Store resolved argument and restore original arguments
 			if (res == null) {
@@ -3508,7 +3514,7 @@ namespace Mono.CSharp {
 		public override void Error_ValueCannotBeConverted (ResolveContext ec, TypeSpec target, bool expl)
 		{
 			ec.Report.Error (428, loc, "Cannot convert method group `{0}' to non-delegate type `{1}'. Consider using parentheses to invoke the method",
-				Name, TypeManager.CSharpName (target));
+				Name, target.GetSignatureForError ());
 		}
 
 		public static bool IsExtensionMethodArgument (Expression expr)
@@ -5050,14 +5056,14 @@ namespace Mono.CSharp {
 			string index = (idx + 1).ToString ();
 			if (((mod & Parameter.Modifier.RefOutMask) ^ (a.Modifier & Parameter.Modifier.RefOutMask)) != 0) {
 				if ((mod & Parameter.Modifier.RefOutMask) == 0)
-					ec.Report.Error (1615, loc, "Argument `#{0}' does not require `{1}' modifier. Consider removing `{1}' modifier",
+					ec.Report.Error (1615, a.Expr.Location, "Argument `#{0}' does not require `{1}' modifier. Consider removing `{1}' modifier",
 						index, Parameter.GetModifierSignature (a.Modifier));
 				else
-					ec.Report.Error (1620, loc, "Argument `#{0}' is missing `{1}' modifier",
+					ec.Report.Error (1620, a.Expr.Location, "Argument `#{0}' is missing `{1}' modifier",
 						index, Parameter.GetModifierSignature (mod));
 			} else {
 				string p1 = a.GetSignatureForError ();
-				string p2 = TypeManager.CSharpName (paramType);
+				string p2 = paramType.GetSignatureForError ();
 
 				if (p1 == p2) {
 					p1 = a.Type.GetSignatureForErrorIncludingAssemblyName ();

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/enum.cs

@@ -269,7 +269,7 @@ namespace Mono.CSharp {
 			case BuiltinTypeSpec.Type.ULong:
 			case BuiltinTypeSpec.Type.UShort:
 				Report.Warning (3009, 1, Location, "`{0}': base type `{1}' is not CLS-compliant",
-					GetSignatureForError (), TypeManager.CSharpName (UnderlyingType));
+					GetSignatureForError (), UnderlyingType.GetSignatureForError ());
 				break;
 			}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/eval.cs

@@ -652,7 +652,7 @@ namespace Mono.CSharp
 					new TypeExpression (base_class_imported, host.Location)
 				};
 
-				host.AddBasesForPart (baseclass_list);
+				host.SetBaseTypes (baseclass_list);
 
 				host.CreateContainer ();
 				host.DefineContainer ();
@@ -679,6 +679,7 @@ namespace Mono.CSharp
 			}
 
 			if (host != null){
+				host.PrepareEmit ();
 				host.EmitContainer ();
 			}
 			

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/expression.cs

@@ -1437,10 +1437,10 @@ namespace Mono.CSharp
 		{
 			if (result)
 				ec.Report.Warning (183, 1, loc, "The given expression is always of the provided (`{0}') type",
-					TypeManager.CSharpName (probe_type_expr));
+					probe_type_expr.GetSignatureForError ());
 			else
 				ec.Report.Warning (184, 1, loc, "The given expression is never of the provided (`{0}') type",
-					TypeManager.CSharpName (probe_type_expr));
+					probe_type_expr.GetSignatureForError ());
 
 			return ReducedExpression.Create (new BoolConstant (ec.BuiltinTypes, result, loc), this);
 		}
@@ -1630,7 +1630,7 @@ namespace Mono.CSharp
 				} else {
 					ec.Report.Error (77, loc,
 						"The `as' operator cannot be used with a non-nullable value type `{0}'",
-						TypeManager.CSharpName (type));
+						type.GetSignatureForError ());
 				}
 				return null;
 			}
@@ -1663,7 +1663,7 @@ namespace Mono.CSharp
 			}
 
 			ec.Report.Error (39, loc, "Cannot convert type `{0}' to `{1}' via a built-in conversion",
-				TypeManager.CSharpName (etype), TypeManager.CSharpName (type));
+				etype.GetSignatureForError (), type.GetSignatureForError ());
 
 			return null;
 		}
@@ -1702,7 +1702,7 @@ namespace Mono.CSharp
 				return null;
 
 			if (type.IsStatic) {
-				ec.Report.Error (716, loc, "Cannot convert to static type `{0}'", TypeManager.CSharpName (type));
+				ec.Report.Error (716, loc, "Cannot convert to static type `{0}'", type.GetSignatureForError ());
 				return null;
 			}
 
@@ -2255,6 +2255,12 @@ namespace Mono.CSharp
 			}
 		}
 
+		public override Location StartLocation {
+			get {
+				return left.StartLocation;
+			}
+		}
+
 		#endregion
 
 		/// <summary>
@@ -2340,8 +2346,8 @@ namespace Mono.CSharp
 				return;
 
 			string l, r;
-			l = TypeManager.CSharpName (left.Type);
+			l = left.Type.GetSignatureForError ();
-			r = TypeManager.CSharpName (right.Type);
+			r = right.Type.GetSignatureForError ();
 
 			ec.Report.Error (19, loc, "Operator `{0}' cannot be applied to operands of type `{1}' and `{2}'",
 				oper, l, r);
@@ -2716,9 +2722,10 @@ namespace Mono.CSharp
 
 			// FIXME: consider constants
 
+			var ltype = lcast != null ? lcast.UnderlyingType : rcast.UnderlyingType;
 			ec.Report.Warning (675, 3, loc,
 				"The operator `|' used on the sign-extended type `{0}'. Consider casting to a smaller unsigned type first",
-				TypeManager.CSharpName (lcast != null ? lcast.UnderlyingType : rcast.UnderlyingType));
+				ltype.GetSignatureForError ());
 		}
 
 		public static PredefinedOperator[] CreatePointerOperatorsTable (BuiltinTypes types)
@@ -2931,7 +2938,7 @@ namespace Mono.CSharp
 				// FIXME: resolve right expression as unreachable
 				// right.Resolve (ec);
 
-				ec.Report.Warning (429, 4, loc, "Unreachable expression code detected");
+				ec.Report.Warning (429, 4, right.StartLocation, "Unreachable expression code detected");
 				return left;
 			}
 
@@ -3557,7 +3564,7 @@ namespace Mono.CSharp
 
 				if (best_operator == null) {
 					ec.Report.Error (34, loc, "Operator `{0}' is ambiguous on operands of type `{1}' and `{2}'",
-						OperName (oper), TypeManager.CSharpName (l), TypeManager.CSharpName (r));
+						OperName (oper), l.GetSignatureForError (), r.GetSignatureForError ());
 
 					best_operator = po;
 					break;
@@ -3713,7 +3720,7 @@ namespace Mono.CSharp
 				} catch (OverflowException) {
 					ec.Report.Warning (652, 2, loc,
 						"A comparison between a constant and a variable is useless. The constant is out of the range of the variable type `{0}'",
-						TypeManager.CSharpName (type));
+						type.GetSignatureForError ());
 				}
 			}
 		}
@@ -4273,7 +4280,7 @@ namespace Mono.CSharp
 			if (op_true == null || op_false == null) {
 				ec.Report.Error (218, loc,
 					"The type `{0}' must have operator `true' and operator `false' defined when `{1}' is used as a short circuit operator",
-					TypeManager.CSharpName (type), oper.GetSignatureForError ());
+					type.GetSignatureForError (), oper.GetSignatureForError ());
 				return null;
 			}
 
@@ -4684,7 +4691,7 @@ namespace Mono.CSharp
 				} else {
 					ec.Report.Error (173, true_expr.Location,
 						"Type of conditional expression cannot be determined because there is no implicit conversion between `{0}' and `{1}'",
-						TypeManager.CSharpName (true_type), TypeManager.CSharpName (false_type));
+						true_type.GetSignatureForError (), false_type.GetSignatureForError ());
 					return null;
 				}
 			}			
@@ -5194,6 +5201,9 @@ namespace Mono.CSharp
 
 		void SetAssigned (ResolveContext ec)
 		{
+			if (Parameter.HoistedVariant != null)
+				Parameter.HoistedVariant.IsAssigned = true;
+
 			if (HasOutModifier && ec.DoFlowAnalysis)
 				ec.CurrentBranching.SetAssigned (VariableInfo);
 		}
@@ -5777,7 +5787,7 @@ namespace Mono.CSharp
 
 			if (type.IsPointer) {
 				ec.Report.Error (1919, loc, "Unsafe type `{0}' cannot be used in an object creation expression",
-					TypeManager.CSharpName (type));
+					type.GetSignatureForError ());
 				return null;
 			}
 
@@ -5800,13 +5810,13 @@ namespace Mono.CSharp
 				if ((tparam.SpecialConstraint & (SpecialConstraint.Struct | SpecialConstraint.Constructor)) == 0 && !TypeSpec.IsValueType (tparam)) {
 					ec.Report.Error (304, loc,
 						"Cannot create an instance of the variable type `{0}' because it does not have the new() constraint",
-						TypeManager.CSharpName (type));
+						type.GetSignatureForError ());
 				}
 
 				if ((arguments != null) && (arguments.Count != 0)) {
 					ec.Report.Error (417, loc,
 						"`{0}': cannot provide arguments when creating an instance of a variable type",
-						TypeManager.CSharpName (type));
+						type.GetSignatureForError ());
 				}
 
 				return this;
@@ -5814,7 +5824,7 @@ namespace Mono.CSharp
 
 			if (type.IsStatic) {
 				ec.Report.SymbolRelatedToPreviousError (type);
-				ec.Report.Error (712, loc, "Cannot create an instance of the static class `{0}'", TypeManager.CSharpName (type));
+				ec.Report.Error (712, loc, "Cannot create an instance of the static class `{0}'", type.GetSignatureForError ());
 				return null;
 			}
 
@@ -5826,7 +5836,7 @@ namespace Mono.CSharp
 				}
 				
 				ec.Report.SymbolRelatedToPreviousError (type);
-				ec.Report.Error (144, loc, "Cannot create an instance of the abstract class or interface `{0}'", TypeManager.CSharpName (type));
+				ec.Report.Error (144, loc, "Cannot create an instance of the abstract class or interface `{0}'", type.GetSignatureForError ());
 				return null;
 			}
 
@@ -6048,7 +6058,7 @@ namespace Mono.CSharp
 	public class ArrayInitializer : Expression
 	{
 		List<Expression> elements;
-		BlockVariableDeclaration variable;
+		BlockVariable variable;
 
 		public ArrayInitializer (List<Expression> init, Location loc)
 		{
@@ -6084,7 +6094,7 @@ namespace Mono.CSharp
 			}
 		}
 
-		public BlockVariableDeclaration VariableDeclaration {
+		public BlockVariable VariableDeclaration {
 			get {
 				return variable;
 			}
@@ -7823,7 +7833,7 @@ namespace Mono.CSharp
 			if (!ec.IsUnsafe) {
 				ec.Report.Error (233, loc,
 					"`{0}' does not have a predefined size, therefore sizeof can only be used in an unsafe context (consider using System.Runtime.InteropServices.Marshal.SizeOf)",
-					TypeManager.CSharpName (type_queried));
+					type_queried.GetSignatureForError ());
 			}
 			
 			type = ec.BuiltinTypes.Int;
@@ -7941,13 +7951,6 @@ namespace Mono.CSharp
 	public class MemberAccess : ATypeNameExpression
 	{
 		protected Expression expr;
-
-#if FULL_AST
-		public Location DotLocation {
-			get;
-			set;
-		}
-#endif
 		
 		public MemberAccess (Expression expr, string id)
 			: base (id, expr.Location)
@@ -10139,8 +10142,8 @@ namespace Mono.CSharp
 							ec.Report.Error (1922, loc, "A field or property `{0}' cannot be initialized with a collection " +
 								"object initializer because type `{1}' does not implement `{2}' interface",
 								ec.CurrentInitializerVariable.GetSignatureForError (),
-								TypeManager.CSharpName (ec.CurrentInitializerVariable.Type),
+								ec.CurrentInitializerVariable.Type.GetSignatureForError (),
-								TypeManager.CSharpName (ec.BuiltinTypes.IEnumerable));
+								ec.BuiltinTypes.IEnumerable.GetSignatureForError ());
 							return null;
 						}
 						is_collection_initialization = true;
@@ -10174,7 +10177,7 @@ namespace Mono.CSharp
 			if (is_collection_initialization) {
 				if (TypeManager.HasElementType (type)) {
 					ec.Report.Error (1925, loc, "Cannot initialize object of type `{0}' with a collection initializer",
-						TypeManager.CSharpName (type));
+						type.GetSignatureForError ());
 				}
 			}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/field.cs

@@ -42,6 +42,11 @@ namespace Mono.CSharp
 		public Expression Initializer { get; private set; }
 
 		#endregion
+
+		public virtual FullNamedExpression GetFieldTypeExpression (FieldBase field)
+		{
+			return new TypeExpression (field.MemberType, Name.Location); 
+		}
 	}
 
 	//
@@ -407,9 +412,8 @@ namespace Mono.CSharp
 					"`{0}': Fixed size buffers type must be one of the following: bool, byte, short, int, long, char, sbyte, ushort, uint, ulong, float or double",
 					GetSignatureForError ());
 			} else if (declarators != null) {
-				var t = new TypeExpression (MemberType, TypeExpression.Location);
 				foreach (var d in declarators) {
-					var f = new FixedField (Parent, t, ModFlags, new MemberName (d.Name.Value, d.Name.Location), OptAttributes);
+					var f = new FixedField (Parent, d.GetFieldTypeExpression (this), ModFlags, new MemberName (d.Name.Value, d.Name.Location), OptAttributes);
 					f.initializer = d.Initializer;
 					((ConstInitializer) f.initializer).Name = d.Name.Value;
 					f.Define ();
@@ -486,7 +490,7 @@ namespace Mono.CSharp
 
 			if (buffer_size > int.MaxValue / type_size) {
 				Report.Error (1664, Location, "Fixed size buffer `{0}' of length `{1}' and type `{2}' exceeded 2^31 limit",
-					GetSignatureForError (), buffer_size.ToString (), TypeManager.CSharpName (MemberType));
+					GetSignatureForError (), buffer_size.ToString (), MemberType.GetSignatureForError ());
 				return;
 			}
 
@@ -645,8 +649,7 @@ namespace Mono.CSharp
 
 			if (declarators != null) {
 				foreach (var d in declarators) {
-					var t = new TypeExpression (MemberType, d.Name.Location);
+					var f = new Field (Parent, d.GetFieldTypeExpression (this), ModFlags, new MemberName (d.Name.Value, d.Name.Location), OptAttributes);
-					var f = new Field (Parent, t, ModFlags, new MemberName (d.Name.Value, d.Name.Location), OptAttributes);
 					if (d.Initializer != null)
 						f.initializer = d.Initializer;
 
@@ -668,7 +671,7 @@ namespace Mono.CSharp
 			if ((ModFlags & Modifiers.VOLATILE) != 0) {
 				if (!CanBeVolatile ()) {
 					Report.Error (677, Location, "`{0}': A volatile field cannot be of the type `{1}'",
-						GetSignatureForError (), TypeManager.CSharpName (MemberType));
+						GetSignatureForError (), MemberType.GetSignatureForError ());
 				}
 
 				if ((ModFlags & Modifiers.READONLY) != 0) {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/generic.cs

@@ -318,7 +318,7 @@ namespace Mono.CSharp {
 				if (type.IsSealed || !type.IsClass) {
 					context.Module.Compiler.Report.Error (701, loc,
 						"`{0}' is not a valid constraint. A constraint must be an interface, a non-sealed class or a type parameter",
-						TypeManager.CSharpName (type));
+						type.GetSignatureForError ());
 					continue;
 				}
 
@@ -495,7 +495,7 @@ namespace Mono.CSharp {
 		//
 		// If partial type parameters constraints are not null and we don't
 		// already have constraints they become our constraints. If we already
-		// have constraints, we must check that they're the same.
+		// have constraints, we must check that they're same.
 		//
 		public bool AddPartialConstraints (TypeDefinition part, TypeParameter tp)
 		{
@@ -551,15 +551,19 @@ namespace Mono.CSharp {
 		// with SRE (by calling `DefineGenericParameters()' on the TypeBuilder /
 		// MethodBuilder).
 		//
-		public void Define (GenericTypeParameterBuilder type, TypeSpec declaringType, TypeContainer parent)
+		public void Create (TypeSpec declaringType, TypeContainer parent)
 		{
 			if (builder != null)
 				throw new InternalErrorException ();
 
 			// Needed to get compiler reference
 			this.Parent = parent;
-			this.builder = type;
 			spec.DeclaringType = declaringType;
+		}
+
+		public void Define (GenericTypeParameterBuilder type)
+		{
+			this.builder = type;
 			spec.SetMetaInfo (type);
 		}
 
@@ -1382,6 +1386,9 @@ namespace Mono.CSharp {
 				return ac;
 			}
 
+			if (type.Kind == MemberKind.MissingType)
+				return type;
+
 			//
 			// When inflating a nested type, inflate its parent first
 			// in case it's using same type parameters (was inflated within the type)
@@ -2185,13 +2192,13 @@ namespace Mono.CSharp {
 			names.AddRange (tparams.names);
 		}
 
-		public void Define (GenericTypeParameterBuilder[] buiders, TypeSpec declaringType, int parentOffset, TypeContainer parent)
+		public void Create (TypeSpec declaringType, int parentOffset, TypeContainer parent)
 		{
 			types = new TypeParameterSpec[Count];
 			for (int i = 0; i < types.Length; ++i) {
 				var tp = names[i];
 
-				tp.Define (buiders[i + parentOffset], declaringType, parent);
+				tp.Create (declaringType, parent);
 				types[i] = tp.Type;
 				types[i].DeclaredPosition = i + parentOffset;
 
@@ -2201,6 +2208,14 @@ namespace Mono.CSharp {
 			}
 		}
 
+		public void Define (GenericTypeParameterBuilder[] builders)
+		{
+			for (int i = 0; i < types.Length; ++i) {
+				var tp = names[i];
+				tp.Define (builders [types [i].DeclaredPosition]);
+			}
+		}
+
 		public TypeParameter this[int index] {
 			get {
 				return names [index];
@@ -2240,6 +2255,44 @@ namespace Mono.CSharp {
 			return sb.ToString ();
 		}
 
+
+		public void CheckPartialConstraints (Method part)
+		{
+			var partTypeParameters = part.CurrentTypeParameters;
+
+			for (int i = 0; i < Count; i++) {
+				var tp_a = names[i];
+				var tp_b = partTypeParameters [i];
+				if (tp_a.Constraints == null) {
+					if (tp_b.Constraints == null)
+						continue;
+				} else if (tp_b.Constraints != null && tp_a.Type.HasSameConstraintsDefinition (tp_b.Type)) {
+					continue;
+				}
+
+				part.Compiler.Report.SymbolRelatedToPreviousError (this[i].CurrentMemberDefinition.Location, "");
+				part.Compiler.Report.Error (761, part.Location,
+					"Partial method declarations of `{0}' have inconsistent constraints for type parameter `{1}'",
+					part.GetSignatureForError (), partTypeParameters[i].GetSignatureForError ());
+			}
+		}
+
+		public void UpdateConstraints (TypeDefinition part)
+		{
+			var partTypeParameters = part.MemberName.TypeParameters;
+
+			for (int i = 0; i < Count; i++) {
+				var tp = names [i];
+				if (tp.AddPartialConstraints (part, partTypeParameters [i]))
+					continue;
+
+				part.Compiler.Report.SymbolRelatedToPreviousError (this[i].CurrentMemberDefinition);
+				part.Compiler.Report.Error (265, part.Location,
+					"Partial declarations of `{0}' have inconsistent constraints for type parameter `{1}'",
+					part.GetSignatureForError (), tp.GetSignatureForError ());
+			}
+		}
+
 		public void VerifyClsCompliance ()
 		{
 			foreach (var tp in names) {
@@ -2270,7 +2323,7 @@ namespace Mono.CSharp {
 
 		public override string GetSignatureForError ()
 		{
-			return TypeManager.CSharpName (type);
+			return type.GetSignatureForError ();
 		}
 
 		public override TypeSpec ResolveAsType (IMemberContext mc)
@@ -2418,7 +2471,7 @@ namespace Mono.CSharp {
 				if (mc != null) {
 					mc.Module.Compiler.Report.Error (452, loc,
 						"The type `{0}' must be a reference type in order to use it as type parameter `{1}' in the generic type or method `{2}'",
-						TypeManager.CSharpName (atype), tparam.GetSignatureForError (), context.GetSignatureForError ());
+						atype.GetSignatureForError (), tparam.GetSignatureForError (), context.GetSignatureForError ());
 				}
 
 				return false;
@@ -2428,7 +2481,7 @@ namespace Mono.CSharp {
 				if (mc != null) {
 					mc.Module.Compiler.Report.Error (453, loc,
 						"The type `{0}' must be a non-nullable value type in order to use it as type parameter `{1}' in the generic type or method `{2}'",
-						TypeManager.CSharpName (atype), tparam.GetSignatureForError (), context.GetSignatureForError ());
+						atype.GetSignatureForError (), tparam.GetSignatureForError (), context.GetSignatureForError ());
 				}
 
 				return false;
@@ -2489,7 +2542,7 @@ namespace Mono.CSharp {
 					mc.Module.Compiler.Report.SymbolRelatedToPreviousError (atype);
 					mc.Module.Compiler.Report.Error (310, loc,
 						"The type `{0}' must have a public parameterless constructor in order to use it as parameter `{1}' in the generic type or method `{2}'",
-						TypeManager.CSharpName (atype), tparam.GetSignatureForError (), context.GetSignatureForError ());
+						atype.GetSignatureForError (), tparam.GetSignatureForError (), context.GetSignatureForError ());
 				}
 				return false;
 			}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/import.cs

@@ -420,7 +420,7 @@ namespace Mono.CSharp
 				}
 			}
 
-			IMemberDefinition definition;
+			IMethodDefinition definition;
 			if (tparams != null) {
 				var gmd = new ImportedGenericMethodDefinition ((MethodInfo) mb, returnType, parameters, tparams, this);
 				foreach (var tp in gmd.TypeParameters) {
@@ -429,10 +429,10 @@ namespace Mono.CSharp
 
 				definition = gmd;
 			} else {
-				definition = new ImportedParameterMemberDefinition (mb, returnType, parameters, this);
+				definition = new ImportedMethodDefinition (mb, returnType, parameters, this);
 			}
 
-			MethodSpec ms = new MethodSpec (kind, declaringType, definition, returnType, mb, parameters, mod);
+			MethodSpec ms = new MethodSpec (kind, declaringType, definition, returnType, parameters, mod);
 			if (tparams != null)
 				ms.IsGeneric = true;
 
@@ -1683,7 +1683,7 @@ namespace Mono.CSharp
 	{
 		readonly AParametersCollection parameters;
 
-		public ImportedParameterMemberDefinition (MethodBase provider, TypeSpec type, AParametersCollection parameters, MetadataImporter importer)
+		protected ImportedParameterMemberDefinition (MethodBase provider, TypeSpec type, AParametersCollection parameters, MetadataImporter importer)
 			: base (provider, type, importer)
 		{
 			this.parameters = parameters;
@@ -1706,7 +1706,21 @@ namespace Mono.CSharp
 		#endregion
 	}
 
-	class ImportedGenericMethodDefinition : ImportedParameterMemberDefinition, IGenericMethodDefinition
+	class ImportedMethodDefinition : ImportedParameterMemberDefinition, IMethodDefinition
+	{
+		public ImportedMethodDefinition (MethodBase provider, TypeSpec type, AParametersCollection parameters, MetadataImporter importer)
+			: base (provider, type, parameters, importer)
+		{
+		}
+
+		MethodBase IMethodDefinition.Metadata {
+			get {
+				return (MethodBase) provider;
+			}
+		}
+	}
+
+	class ImportedGenericMethodDefinition : ImportedMethodDefinition, IGenericMethodDefinition
 	{
 		readonly TypeParameterSpec[] tparams;
 
@@ -1877,33 +1891,36 @@ namespace Mono.CSharp
 			// or referenced from the user core in which case compilation error has to
 			// be reported because compiler cannot continue anyway
 			//
+
+			var report = ctx.Module.Compiler.Report;
+
 			for (int i = 0; i < types.Count; ++i) {
 				var t = types [i];
 
 				//
-				// Report missing types only once per type
+				// Report missing types only once
 				//
-				if (i > 0 && types.IndexOf (t) < i)
+				if (report.Printer.MissingTypeReported (t.MemberDefinition))
 					continue;
 
 				string name = t.GetSignatureForError ();
 
 				if (t.MemberDefinition.DeclaringAssembly == ctx.Module.DeclaringAssembly) {
-					ctx.Module.Compiler.Report.Error (1683, loc,
+					report.Error (1683, loc,
 						"Reference to type `{0}' claims it is defined in this assembly, but it is not defined in source or any added modules",
 						name);
 				} else if (t.MemberDefinition.DeclaringAssembly.IsMissing) {
 					if (t.MemberDefinition.IsTypeForwarder) {
-						ctx.Module.Compiler.Report.Error (1070, loc,
+						report.Error (1070, loc,
 							"The type `{0}' has been forwarded to an assembly that is not referenced. Consider adding a reference to assembly `{1}'",
 							name, t.MemberDefinition.DeclaringAssembly.FullName);
 					} else {
-						ctx.Module.Compiler.Report.Error (12, loc,
+						report.Error (12, loc,
 							"The type `{0}' is defined in an assembly that is not referenced. Consider adding a reference to assembly `{1}'",
 							name, t.MemberDefinition.DeclaringAssembly.FullName);
 					}
 				} else {
-					ctx.Module.Compiler.Report.Error (1684, loc,
+					report.Error (1684, loc,
 						"Reference to type `{0}' claims it is defined assembly `{1}', but it could not be found",
 						name, t.MemberDefinition.DeclaringAssembly.FullName);
 				}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/iterators.cs

@@ -245,7 +245,7 @@ namespace Mono.CSharp
 
 						for (int i = 0; i < host.hoisted_params.Count; ++i) {
 							HoistedParameter hp = host.hoisted_params [i];
-							HoistedParameter hp_cp = host.hoisted_params_copy [i];
+							HoistedParameter hp_cp = host.hoisted_params_copy [i] ?? hp;
 
 							FieldExpr from = new FieldExpr (hp_cp.Field, loc);
 							from.InstanceExpression = new CompilerGeneratedThis (ec.CurrentType, loc);
@@ -431,6 +431,13 @@ namespace Mono.CSharp
 			get { return hoisted_params; }
 		}
 
+		protected override Constructor DefineDefaultConstructor (bool is_static)
+		{
+			var ctor = base.DefineDefaultConstructor (is_static);
+			ctor.ModFlags |= Modifiers.DEBUGGER_HIDDEN;
+			return ctor;
+		}
+
 		protected override TypeSpec[] ResolveBaseTypes (out FullNamedExpression base_class)
 		{
 			var mtype = Iterator.OriginalIteratorType;
@@ -469,17 +476,26 @@ namespace Mono.CSharp
 			current_field = AddCompilerGeneratedField ("$current", iterator_type_expr);
 			disposing_field = AddCompilerGeneratedField ("$disposing", new TypeExpression (Compiler.BuiltinTypes.Bool, Location));
 
-			if (hoisted_params != null) {
+			if (Iterator.IsEnumerable && hoisted_params != null) {
 				//
 				// Iterators are independent, each GetEnumerator call has to
 				// create same enumerator therefore we have to keep original values
 				// around for re-initialization
 				//
-				// TODO: Do it for assigned/modified parameters only
-				//
 				hoisted_params_copy = new List<HoistedParameter> (hoisted_params.Count);
 				foreach (HoistedParameter hp in hoisted_params) {
-					hoisted_params_copy.Add (new HoistedParameter (hp, "<$>" + hp.Field.Name));
+
+					//
+					// Don't create field copy for unmodified captured parameters
+ 					//
+					HoistedParameter hp_copy;
+					if (hp.IsAssigned) {
+						hp_copy = new HoistedParameter (hp, "<$>" + hp.Field.Name);
+					} else {
+						hp_copy = null;
+					}
+
+					hoisted_params_copy.Add (hp_copy);
 				}
 			}
 
@@ -565,7 +581,8 @@ namespace Mono.CSharp
 		protected override void EmitHoistedParameters (EmitContext ec, List<HoistedParameter> hoisted)
 		{
 			base.EmitHoistedParameters (ec, hoisted);
-			base.EmitHoistedParameters (ec, hoisted_params_copy);
+			if (hoisted_params_copy != null)
+				base.EmitHoistedParameters (ec, hoisted_params_copy);
 		}
 	}
 
@@ -1101,7 +1118,7 @@ namespace Mono.CSharp
 					      "The body of `{0}' cannot be an iterator block " +
 					      "because `{1}' is not an iterator interface type",
 					      method.GetSignatureForError (),
-					      TypeManager.CSharpName (ret));
+					      ret.GetSignatureForError ());
 				return;
 			}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/linq.cs

@@ -135,7 +135,7 @@ namespace Mono.CSharp.Linq
 
 					if (!Convert.ImplicitConversionExists (rc, a.Expr, source_type)) {
 						rc.Report.Error (1936, loc, "An implementation of `{0}' query expression pattern for source type `{1}' could not be found",
-							best.Name, TypeManager.CSharpName (a.Type));
+							best.Name, a.Type.GetSignatureForError ());
 						return true;
 					}
 				}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/literal.cs

@@ -61,7 +61,7 @@ namespace Mono.CSharp
 
 			if (TypeSpec.IsValueType (t)) {
 				ec.Report.Error(37, loc, "Cannot convert null to `{0}' because it is a value type",
-					TypeManager.CSharpName(t));
+					t.GetSignatureForError ());
 				return;
 			}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/location.cs

@@ -483,6 +483,26 @@ if (checkpoints.Length <= CheckpointIndex) throw new Exception (String.Format ("
 			}
 		}
 
+		public class PragmaPreProcessorDirective : PreProcessorDirective
+		{
+			public bool Disalbe { get; set; }
+			public List<int> Codes = new List<int> ();
+
+			public PragmaPreProcessorDirective (int line, int col, int endLine, int endCol, Tokenizer.PreprocessorDirective cmd, string arg) : base (line, col, endLine, endCol, cmd, arg)
+			{
+			}
+		}
+
+		public class LineProcessorDirective : PreProcessorDirective
+		{
+			public int LineNumber { get; set; }
+			public string FileName { get; set; }
+
+			public LineProcessorDirective (int line, int col, int endLine, int endCol, Tokenizer.PreprocessorDirective cmd, string arg) : base (line, col, endLine, endCol, cmd, arg)
+			{
+			}
+		}
+
 		public class PreProcessorDirective : SpecialBase
 		{
 			public readonly int Line;
@@ -562,7 +582,40 @@ if (checkpoints.Length <= CheckpointIndex) throw new Exception (String.Format ("
 		{
 			if (inComment)
 				EndComment (startLine, startCol);
-			Specials.Add (new PreProcessorDirective (startLine, startCol, endLine, endColumn, cmd, arg));
+			switch (cmd) {
+			case Tokenizer.PreprocessorDirective.Pragma:
+				Specials.Add (new PragmaPreProcessorDirective (startLine, startCol, endLine, endColumn, cmd, arg));
+				break;
+			case Tokenizer.PreprocessorDirective.Line:
+				Specials.Add (new LineProcessorDirective (startLine, startCol, endLine, endColumn, cmd, arg));
+				break;
+			default:
+				Specials.Add (new PreProcessorDirective (startLine, startCol, endLine, endColumn, cmd, arg));
+				break;
+			}
+		}
+
+		[Conditional ("FULL_AST")]
+		public void SetPragmaDisable(bool disable)
+		{
+			var pragmaDirective = Specials [Specials.Count - 1] as PragmaPreProcessorDirective;
+			if (pragmaDirective == null)
+				return;
+			pragmaDirective.Disalbe = disable;
+		}
+
+		[Conditional ("FULL_AST")]
+		public void AddPragmaCode(int code)
+		{
+			var pragmaDirective = Specials [Specials.Count - 1] as PragmaPreProcessorDirective;
+			if (pragmaDirective == null)
+				return;
+			pragmaDirective.Codes.Add (code);
+		}
+
+		public LineProcessorDirective GetCurrentLineProcessorDirective()
+		{
+			return Specials [Specials.Count - 1] as LineProcessorDirective;
 		}
 
 		public enum NewLine { Unix, Windows }

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/membercache.cs

@@ -795,13 +795,14 @@ namespace Mono.CSharp {
 			while (true) {
 				foreach (var entry in abstract_type.MemberCache.member_hash) {
 					foreach (var name_entry in entry.Value) {
-						if ((name_entry.Modifiers & (Modifiers.ABSTRACT | Modifiers.OVERRIDE)) != Modifiers.ABSTRACT)
+						if ((name_entry.Modifiers & Modifiers.ABSTRACT) == 0)
 							continue;
 
-						if (name_entry.Kind != MemberKind.Method)
+						var ms = name_entry as MethodSpec;
+						if (ms == null)
 							continue;
 
-						abstract_methods.Add ((MethodSpec) name_entry);
+						abstract_methods.Add (ms);
 					}
 				}
 
@@ -1445,9 +1446,12 @@ namespace Mono.CSharp {
 									"A partial method declaration and partial method implementation must be both `static' or neither");
 							}
 
-							Report.SymbolRelatedToPreviousError (ce);
+							if ((method_a.ModFlags & Modifiers.UNSAFE) != (method_b.ModFlags & Modifiers.UNSAFE)) {
-							Report.Error (764, member.Location,
+								Report.SymbolRelatedToPreviousError (ce);
-								"A partial method declaration and partial method implementation must be both `unsafe' or neither");
+								Report.Error (764, member.Location,
+									"A partial method declaration and partial method implementation must be both `unsafe' or neither");
+							}
+
 							return false;
 						}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/method.cs

@@ -188,7 +188,7 @@ namespace Mono.CSharp {
 		}
 	}
 
-	public interface IGenericMethodDefinition : IMemberDefinition
+	public interface IGenericMethodDefinition : IMethodDefinition
 	{
 		TypeParameterSpec[] TypeParameters { get; }
 		int TypeParametersCount { get; }
@@ -198,18 +198,17 @@ namespace Mono.CSharp {
 
 	public sealed class MethodSpec : MemberSpec, IParametersMember
 	{
-		MethodBase metaInfo, inflatedMetaInfo;
+		MethodBase inflatedMetaInfo;
 		AParametersCollection parameters;
 		TypeSpec returnType;
 
 		TypeSpec[] targs;
 		TypeParameterSpec[] constraints;
 
-		public MethodSpec (MemberKind kind, TypeSpec declaringType, IMemberDefinition details, TypeSpec returnType,
+		public MethodSpec (MemberKind kind, TypeSpec declaringType, IMethodDefinition details, TypeSpec returnType,
-			MethodBase info, AParametersCollection parameters, Modifiers modifiers)
+			AParametersCollection parameters, Modifiers modifiers)
 			: base (kind, declaringType, details, modifiers)
 		{
-			this.metaInfo = info;
 			this.parameters = parameters;
 			this.returnType = returnType;
 		}
@@ -237,6 +236,12 @@ namespace Mono.CSharp {
 			}
 		}
 
+		public new IMethodDefinition MemberDefinition {
+			get {
+				return (IMethodDefinition) definition;
+			}
+		}
+
 		public IGenericMethodDefinition GenericDefinition {
 			get {
 				return (IGenericMethodDefinition) definition;
@@ -322,21 +327,21 @@ namespace Mono.CSharp {
 
 					if (DeclaringType.IsTypeBuilder) {
 						if (IsConstructor)
-							inflatedMetaInfo = TypeBuilder.GetConstructor (dt_meta, (ConstructorInfo) metaInfo);
+							inflatedMetaInfo = TypeBuilder.GetConstructor (dt_meta, (ConstructorInfo) MemberDefinition.Metadata);
 						else
-							inflatedMetaInfo = TypeBuilder.GetMethod (dt_meta, (MethodInfo) metaInfo);
+							inflatedMetaInfo = TypeBuilder.GetMethod (dt_meta, (MethodInfo) MemberDefinition.Metadata);
 					} else {
 #if STATIC
 						// it should not be reached
 						throw new NotImplementedException ();
 #else
-						inflatedMetaInfo = MethodInfo.GetMethodFromHandle (metaInfo.MethodHandle, dt_meta.TypeHandle);
+						inflatedMetaInfo = MethodInfo.GetMethodFromHandle (MemberDefinition.Metadata.MethodHandle, dt_meta.TypeHandle);
 #endif
 					}
 
 					state &= ~StateFlags.PendingMetaInflate;
 				} else {
-					inflatedMetaInfo = metaInfo;
+					inflatedMetaInfo = MemberDefinition.Metadata;
 				}
 			}
 
@@ -518,19 +523,10 @@ namespace Mono.CSharp {
 
 			return missing;			
 		}
-
-		public void SetMetaInfo (MethodInfo info)
-		{
-			if (this.metaInfo != null)
-				throw new InternalErrorException ("MetaInfo reset");
-
-			this.metaInfo = info;
-		}
 	}
 
-	public abstract class MethodOrOperator : MethodCore, IMethodData
+	public abstract class MethodOrOperator : MethodCore, IMethodData, IMethodDefinition
 	{
-		public MethodBuilder MethodBuilder;
 		ReturnParameter return_attributes;
 		SecurityType declarative_security;
 		protected MethodData MethodData;
@@ -583,6 +579,19 @@ namespace Mono.CSharp {
 			}
 		}
 
+		MethodBase IMethodDefinition.Metadata {
+			get {
+				return MethodData.MethodBuilder;
+			}
+		}
+
+		// TODO: Remove and use MethodData abstraction
+		public MethodBuilder MethodBuilder {
+			get {
+				return MethodData.MethodBuilder;
+			}
+		}
+
 		protected override bool CheckForDuplications ()
 		{
 			return Parent.MemberCache.CheckExistingMembersOverloads (this, parameters);
@@ -609,41 +618,34 @@ namespace Mono.CSharp {
 			else
 				kind = MemberKind.Method;
 
+			string explicit_name;
+
 			if (IsPartialDefinition) {
 				caching_flags &= ~Flags.Excluded_Undetected;
 				caching_flags |= Flags.Excluded;
 
 				// Add to member cache only when a partial method implementation has not been found yet
-				if ((caching_flags & Flags.PartialDefinitionExists) == 0) {
+				if ((caching_flags & Flags.PartialDefinitionExists) != 0)
-//					MethodBase mb = new PartialMethodDefinitionInfo (this);
+					return true;
 
-					spec = new MethodSpec (kind, Parent.Definition, this, ReturnType, null, parameters, ModFlags);
+				if (IsExplicitImpl)
-					if (MemberName.Arity > 0) {
+					return true;
-						spec.IsGeneric = true;
 
-						// TODO: Have to move DefineMethod after Define (ideally to Emit)
+				explicit_name = null;
-						throw new NotImplementedException ("Generic partial methods");
+			} else {
-					}
+				MethodData = new MethodData (this, ModFlags, flags, this, base_method);
 
-					Parent.MemberCache.AddMember (spec);
+				if (!MethodData.Define (Parent.PartialContainer, GetFullName (MemberName)))
-				}
+					return false;
 
-				return true;
+				explicit_name = MethodData.MetadataName;
 			}
 
-			MethodData = new MethodData (
+			spec = new MethodSpec (kind, Parent.Definition, this, ReturnType, parameters, ModFlags);
-				this, ModFlags, flags, this, MethodBuilder, base_method);
-
-			if (!MethodData.Define (Parent.PartialContainer, GetFullName (MemberName)))
-				return false;
-					
-			MethodBuilder = MethodData.MethodBuilder;
-
-			spec = new MethodSpec (kind, Parent.Definition, this, ReturnType, MethodBuilder, parameters, ModFlags);
 			if (MemberName.Arity > 0)
 				spec.IsGeneric = true;
-			
+
-			Parent.MemberCache.AddMember (this, MethodBuilder.Name, spec);
+			Parent.MemberCache.AddMember (this, explicit_name, spec);
 
 			return true;
 		}
@@ -713,7 +715,8 @@ namespace Mono.CSharp {
 			if (MethodData != null)
 				MethodData.Emit (Parent);
 
-			Block = null;
+			if ((ModFlags & Modifiers.PARTIAL) == 0)
+				Block = null;
 		}
 
 		protected void Error_ConditionalAttributeIsNotValid ()
@@ -798,9 +801,36 @@ namespace Mono.CSharp {
 
 		#endregion
 
+		public virtual void PrepareEmit ()
+		{
+			var mb = MethodData.DefineMethodBuilder (Parent);
+
+			if (CurrentTypeParameters != null) {
+				string[] gnames = new string[CurrentTypeParameters.Count];
+				for (int i = 0; i < gnames.Length; ++i) {
+					gnames[i] = CurrentTypeParameters[i].Name;
+				}
+
+				var gen_params = MethodBuilder.DefineGenericParameters (gnames);
+
+				for (int i = 0; i < CurrentTypeParameters.Count; ++i) {
+					var tp = CurrentTypeParameters[i];
+
+					tp.Define (gen_params[i]);
+				}
+			}
+
+			//
+			// Generic method has been already defined to resolve method parameters
+			// correctly when they use type parameters
+			//
+			mb.SetParameters (parameters.GetMetaInfo ());
+			mb.SetReturnType (ReturnType.GetMetaInfo ());
+		}
+
 		public override void WriteDebugSymbol (MonoSymbolFile file)
 		{
-			if (MethodData != null)
+			if (MethodData != null && !IsPartialDefinition)
 				MethodData.WriteDebugSymbol (file);
 		}
 	}
@@ -844,7 +874,7 @@ namespace Mono.CSharp {
 			}
 		}
 
-#endregion
+		#endregion
 
 		public override void Accept (StructuralVisitor visitor)
 		{
@@ -972,10 +1002,9 @@ namespace Mono.CSharp {
 		void CreateTypeParameters ()
 		{
 			var tparams = MemberName.TypeParameters;
-			string[] snames = new string[MemberName.Arity];
 			var parent_tparams = Parent.TypeParametersAll;
 
-			for (int i = 0; i < snames.Length; i++) {
+			for (int i = 0; i < MemberName.Arity; i++) {
 				string type_argument_name = tparams[i].MemberName.Name;
 
 				if (block == null) {
@@ -1000,12 +1029,9 @@ namespace Mono.CSharp {
 						tparams[i].WarningParentNameConflict (tp);
 					}
 				}
-
-				snames[i] = type_argument_name;
 			}
 
-			GenericTypeParameterBuilder[] gen_params = MethodBuilder.DefineGenericParameters (snames);
+			tparams.Create (null, 0, Parent);
-			tparams.Define (gen_params, null, 0, Parent);
 		}
 
 		protected virtual void DefineTypeParameters ()
@@ -1171,9 +1197,6 @@ namespace Mono.CSharp {
 					"Introducing `Finalize' method can interfere with destructor invocation. Did you intend to declare a destructor?");
 			}
 
-			if (partialMethodImplementation != null && IsPartialDefinition)
-				MethodBuilder = partialMethodImplementation.MethodBuilder;
-
 			if (Compiler.Settings.StdLib && ReturnType.IsSpecialRuntimeType) {
 				Error1599 (Location, ReturnType, Report);
 				return false;
@@ -1208,7 +1231,7 @@ namespace Mono.CSharp {
 						Report.Error (1983, Location, "The return type of an async method must be void, Task, or Task<T>");
 					}
 
-					block = (ToplevelBlock) block.ConvertToAsyncTask (this, Parent.PartialContainer, parameters, ReturnType, Location);
+					block = (ToplevelBlock) block.ConvertToAsyncTask (this, Parent.PartialContainer, parameters, ReturnType, null, Location);
 					ModFlags |= Modifiers.DEBUGGER_HIDDEN;
 				}
 
@@ -1272,6 +1295,22 @@ namespace Mono.CSharp {
 			return true;
 		}
 
+		public override void PrepareEmit ()
+		{
+			if (IsPartialDefinition) {
+				//
+				// Use partial method implementation builder for partial method declaration attributes
+				//
+				if (partialMethodImplementation != null) {
+					MethodData = partialMethodImplementation.MethodData;
+				}
+
+				return;
+			}
+
+			base.PrepareEmit ();
+		}
+
 		//
 		// Emits the code
 		// 
@@ -1279,11 +1318,8 @@ namespace Mono.CSharp {
 		{
 			try {
 				if (IsPartialDefinition) {
-					//
+					if (partialMethodImplementation != null && CurrentTypeParameters != null) {
-					// Use partial method implementation builder for partial method declaration attributes
+						CurrentTypeParameters.CheckPartialConstraints (partialMethodImplementation);
-					//
-					if (partialMethodImplementation != null) {
-						MethodBuilder = partialMethodImplementation.MethodBuilder;
 					}
 
 					return;
@@ -1297,6 +1333,7 @@ namespace Mono.CSharp {
 				if (CurrentTypeParameters != null) {
 					for (int i = 0; i < CurrentTypeParameters.Count; ++i) {
 						var tp = CurrentTypeParameters [i];
+
 						tp.CheckGenericConstraints (false);
 						tp.Emit ();
 					}
@@ -1312,10 +1349,8 @@ namespace Mono.CSharp {
 					Module.PredefinedAttributes.Extension.EmitAttribute (MethodBuilder);
 
 				base.Emit ();
-			} catch {
+			} catch (Exception e) {
-				Console.WriteLine ("Internal compiler error at {0}: exception caught while emitting {1}",
+				throw new InternalErrorException (this, e);
-						   Location, MethodBuilder);
-				throw;
 			}
 		}
 
@@ -1329,13 +1364,12 @@ namespace Mono.CSharp {
 
 		public static void Error1599 (Location loc, TypeSpec t, Report Report)
 		{
-			Report.Error (1599, loc, "Method or delegate cannot return type `{0}'", TypeManager.CSharpName (t));
+			Report.Error (1599, loc, "Method or delegate cannot return type `{0}'", t.GetSignatureForError ());
 		}
 
 		protected override bool ResolveMemberType ()
 		{
 			if (CurrentTypeParameters != null) {
-				MethodBuilder = Parent.TypeBuilder.DefineMethod (GetFullName (MemberName), flags);
 				CreateTypeParameters ();
 			}
 
@@ -1485,7 +1519,7 @@ namespace Mono.CSharp {
 		}
 	}
 	
-	public class Constructor : MethodCore, IMethodData
+	public class Constructor : MethodCore, IMethodData, IMethodDefinition
 	{
 		public ConstructorBuilder ConstructorBuilder;
 		public ConstructorInitializer Initializer;
@@ -1533,6 +1567,13 @@ namespace Mono.CSharp {
 		    }
 		}
 
+		
+		MethodBase IMethodDefinition.Metadata {
+			get {
+				return ConstructorBuilder;
+			}
+		}
+
 		//
 		// Returns true if this is a default constructor
 		//
@@ -1620,7 +1661,7 @@ namespace Mono.CSharp {
 				ca, CallingConventions,
 				parameters.GetMetaInfo ());
 
-			spec = new MethodSpec (MemberKind.Constructor, Parent.Definition, this, Compiler.BuiltinTypes.Void, ConstructorBuilder, parameters, ModFlags);
+			spec = new MethodSpec (MemberKind.Constructor, Parent.Definition, this, Compiler.BuiltinTypes.Void, parameters, ModFlags);
 			
 			Parent.MemberCache.AddMember (spec);
 			
@@ -1828,10 +1869,6 @@ namespace Mono.CSharp {
 	//
 	public class MethodData
 	{
-#if !STATIC
-		static FieldInfo methodbuilder_attrs_field;
-#endif
-
 		public readonly IMethodData method;
 
 		//
@@ -1848,6 +1885,7 @@ namespace Mono.CSharp {
 		protected TypeSpec declaring_type;
 		protected MethodSpec parent_method;
 		SourceMethodBuilder debug_builder;
+		string full_name;
 
 		MethodBuilder builder;
 		public MethodBuilder MethodBuilder {
@@ -1862,6 +1900,12 @@ namespace Mono.CSharp {
 			}
 		}
 
+		public string MetadataName {
+			get {
+				return full_name;
+			}
+		}
+
 		public MethodData (InterfaceMemberBase member,
 				   Modifiers modifiers, MethodAttributes flags, IMethodData method)
 		{
@@ -1874,11 +1918,10 @@ namespace Mono.CSharp {
 
 		public MethodData (InterfaceMemberBase member,
 				   Modifiers modifiers, MethodAttributes flags, 
-				   IMethodData method, MethodBuilder builder,
+				   IMethodData method,
 				   MethodSpec parent_method)
 			: this (member, modifiers, flags, method)
 		{
-			this.builder = builder;
 			this.parent_method = parent_method;
 		}
 
@@ -1896,13 +1939,13 @@ namespace Mono.CSharp {
 						if (member is PropertyBase) {
 							container.Compiler.Report.Error (550, method.Location,
 								"`{0}' is an accessor not found in interface member `{1}{2}'",
-									  method.GetSignatureForError (), TypeManager.CSharpName (member.InterfaceType),
+									  method.GetSignatureForError (), member.InterfaceType.GetSignatureForError (),
 									  member.GetSignatureForError ().Substring (member.GetSignatureForError ().LastIndexOf ('.')));
 
 						} else {
 							container.Compiler.Report.Error (539, method.Location,
 									  "`{0}.{1}' in explicit interface declaration is not a member of interface",
-									  TypeManager.CSharpName (member.InterfaceType), member.ShortName);
+									  member.InterfaceType.GetSignatureForError (), member.ShortName);
 						}
 						return false;
 					}
@@ -1910,7 +1953,7 @@ namespace Mono.CSharp {
 						container.Compiler.Report.SymbolRelatedToPreviousError (implementing);
 						container.Compiler.Report.Error (683, method.Location,
 							"`{0}' explicit method implementation cannot implement `{1}' because it is an accessor",
-							member.GetSignatureForError (), TypeManager.CSharpSignature (implementing));
+							member.GetSignatureForError (), implementing.GetSignatureForError ());
 						return false;
 					}
 				} else {
@@ -2033,58 +2076,45 @@ namespace Mono.CSharp {
 					method_full_name = implementing.MemberDefinition.Name;
 			}
 
-			DefineMethodBuilder (container, method_full_name, method.ParameterInfo);
+			full_name = method_full_name;
+			declaring_type = container.Definition;
 
-			if (builder == null)
+			return true;
-				return false;
+		}
 
-//			if (container.CurrentType != null)
+		void DefineOverride (TypeDefinition container)
-//				declaring_type = container.CurrentType;
+		{
-//			else
+			if (implementing == null)
-				declaring_type = container.Definition;
+				return;
 
-			if (implementing != null && member.IsExplicitImpl) {
+			if (!member.IsExplicitImpl)
-				container.TypeBuilder.DefineMethodOverride (builder, (MethodInfo) implementing.GetMetaInfo ());
+				return;
-			}
 
-			return true;
+			container.TypeBuilder.DefineMethodOverride (builder, (MethodInfo) implementing.GetMetaInfo ());
 		}
 
-
+		//
-		/// <summary>
+		// Creates partial MethodBuilder for the method when has generic parameters used
-		/// Create the MethodBuilder for the method 
+		// as arguments or return type
-		/// </summary>
+		//
-		void DefineMethodBuilder (TypeDefinition container, string method_name, ParametersCompiled param)
+		public MethodBuilder DefineMethodBuilder (TypeDefinition container)
 		{
-			var return_type = method.ReturnType.GetMetaInfo ();
+			if (builder != null)
-			var p_types = param.GetMetaInfo ();
+				throw new InternalErrorException ();
 
-			if (builder == null) {
+			builder = container.TypeBuilder.DefineMethod (full_name, flags, method.CallingConventions);
-				builder = container.TypeBuilder.DefineMethod (
+			return builder;
-					method_name, flags, method.CallingConventions,
+		}
-					return_type, p_types);
-				return;
-			}
 
-			//
+		//
-			// Generic method has been already defined to resolve method parameters
+		// Creates full MethodBuilder for the method 
-			// correctly when they use type parameters
+		//
-			//
+		public MethodBuilder DefineMethodBuilder (TypeDefinition container, ParametersCompiled param)
-			builder.SetParameters (p_types);
+		{
-			builder.SetReturnType (return_type);
+			DefineMethodBuilder (container);
-			if (builder.Attributes != flags) {
+			builder.SetReturnType (method.ReturnType.GetMetaInfo ());
-#if STATIC
+			builder.SetParameters (param.GetMetaInfo ());
-				builder.__SetAttributes (flags);
+			return builder;
-#else
-				try {
-					if (methodbuilder_attrs_field == null)
-						methodbuilder_attrs_field = typeof (MethodBuilder).GetField ("attrs", BindingFlags.NonPublic | BindingFlags.Instance);
-					methodbuilder_attrs_field.SetValue (builder, flags);
-				} catch {
-					container.Compiler.Report.RuntimeMissingSupport (method.Location, "Generic method MethodAttributes");
-				}
-#endif
-			}
 		}
 
 		//
@@ -2092,6 +2122,8 @@ namespace Mono.CSharp {
 		// 
 		public void Emit (TypeDefinition parent)
 		{
+			DefineOverride (parent);
+
 			var mc = (IMemberContext) method;
 
 			method.ParameterInfo.ApplyAttributes (mc, MethodBuilder);
@@ -2231,7 +2263,7 @@ namespace Mono.CSharp {
 
 	// Ooouh Martin, templates are missing here.
 	// When it will be possible move here a lot of child code and template method type.
-	public abstract class AbstractPropertyEventMethod : MemberCore, IMethodData {
+	public abstract class AbstractPropertyEventMethod : MemberCore, IMethodData, IMethodDefinition {
 		protected MethodData method_data;
 		protected ToplevelBlock block;
 		protected SecurityType declarative_security;
@@ -2297,6 +2329,12 @@ namespace Mono.CSharp {
 			}
 		}
 
+		MethodBase IMethodDefinition.Metadata {
+			get {
+				return method_data.MethodBuilder;
+			}
+		}
+
 		public abstract ParametersCompiled ParameterInfo { get ; }
 		public abstract TypeSpec ReturnType { get; }
 
@@ -2307,7 +2345,7 @@ namespace Mono.CSharp {
 			if (a.Type == pa.CLSCompliant || a.Type == pa.Obsolete || a.Type == pa.Conditional) {
 				Report.Error (1667, a.Location,
 					"Attribute `{0}' is not valid on property or event accessors. It is valid on `{1}' declarations only",
-					TypeManager.CSharpName (a.Type), a.GetValidTargets ());
+					a.Type.GetSignatureForError (), a.GetValidTargets ());
 				return;
 			}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/modifiers.cs

@@ -262,7 +262,7 @@ namespace Mono.CSharp
 				return mod;
 			}
 
-			for (i = 1; i <= (int) Modifiers.TOP; i <<= 1) {
+			for (i = 1; i < (int) Modifiers.TOP; i <<= 1) {
 				if ((i & invalid_flags) == 0)
 					continue;
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/namespace.cs

@@ -276,16 +276,7 @@ namespace Mono.CSharp {
 
 		public Namespace AddNamespace (MemberName name)
 		{
-			Namespace ns_parent;
+			var ns_parent = name.Left == null ? this : AddNamespace (name.Left);
-			if (name.Left != null) {
-				if (parent != null)
-					ns_parent = parent.AddNamespace (name.Left);
-				else
-					ns_parent = AddNamespace (name.Left);
-			} else {
-				ns_parent = this;
-			}
-
 			return ns_parent.TryAddNamespace (name.Basename);
 		}
 
@@ -683,11 +674,9 @@ namespace Mono.CSharp {
 			}
 		}
 
-		public IEnumerable<string> Conditionals {
+		public IDictionary<string, bool> Conditionals {
 			get {
-				if (conditionals == null)
+				return conditionals ?? new Dictionary<string, bool> ();
-					return Enumerable.Empty<string> ();
-				return conditionals.Where (kv => kv.Value).Select (kv => kv.Key);
 			}
 		}
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/nullable.cs

@@ -320,7 +320,7 @@ namespace Mono.CSharp.Nullable
 		public static Constant CreateFromExpression (ResolveContext ec, Expression e)
 		{
 			ec.Report.Warning (458, 2, e.Location, "The result of the expression is always `null' of type `{0}'",
-				TypeManager.CSharpName (e.Type));
+				e.Type.GetSignatureForError ());
 
 			return ReducedExpression.Create (Create (e.Type, e.Location), e);
 		}
@@ -592,10 +592,10 @@ namespace Mono.CSharp.Nullable
 
 			if ((Oper & Operator.EqualityMask) != 0) {
 				ec.Report.Warning (472, 2, loc, "The result of comparing value type `{0}' with null is always `{1}'",
-					TypeManager.CSharpName (expr.Type), c.GetValueAsLiteral ());
+					expr.Type.GetSignatureForError (), c.GetValueAsLiteral ());
 			} else {
 				ec.Report.Warning (464, 2, loc, "The result of comparing type `{0}' with null is always `{1}'",
-					TypeManager.CSharpName (expr.Type), c.GetValueAsLiteral ());
+					expr.Type.GetSignatureForError (), c.GetValueAsLiteral ());
 			}
 
 			return ReducedExpression.Create (c, this);

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/parameter.cs

@@ -338,7 +338,7 @@ namespace Mono.CSharp {
 				if (HasOptionalExpression) {
 					a.Report.Error (1745, a.Location,
 						"Cannot specify `{0}' attribute on optional parameter `{1}'",
-						TypeManager.CSharpName (a.Type).Replace ("Attribute", ""), Name);
+						a.Type.GetSignatureForError ().Replace ("Attribute", ""), Name);
 				}
 
 				if (a.Type == pa.DefaultParameterValue)
@@ -406,7 +406,7 @@ namespace Mono.CSharp {
 
 			if ((modFlags & Modifier.This) != 0 && (parameter_type.IsPointer || parameter_type.BuiltinType == BuiltinTypeSpec.Type.Dynamic)) {
 				rc.Module.Compiler.Report.Error (1103, Location, "The extension method cannot be of type `{0}'",
-					TypeManager.CSharpName (parameter_type));
+					parameter_type.GetSignatureForError ());
 			}
 
 			return parameter_type;
@@ -582,7 +582,7 @@ namespace Mono.CSharp {
 		{
 			string type_name;
 			if (parameter_type != null)
-				type_name = TypeManager.CSharpName (parameter_type);
+				type_name = parameter_type.GetSignatureForError ();
 			else
 				type_name = texpr.GetSignatureForError ();
 
@@ -989,7 +989,7 @@ namespace Mono.CSharp {
 			if (types == null || types [pos] == null)
 				return ((Parameter)FixedParameters [pos]).GetSignatureForError ();
 
-			string type = TypeManager.CSharpName (types [pos]);
+			string type = types [pos].GetSignatureForError ();
 			if (FixedParameters [pos].HasExtensionMethodModifier)
 				return "this " + type;
 

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/pending.cs

@@ -534,10 +534,14 @@ namespace Mono.CSharp {
 			// about mismatch at return type when the check bellow rejects them
 			//
 			var parameters = mi.Parameters;
+			MethodSpec close_match = null;
+
 			while (true) {
 				var candidates = MemberCache.FindMembers (base_type, mi.Name, false);
-				if (candidates == null)
+				if (candidates == null) {
+					base_method = close_match;
 					return false;
+				}
 
 				MethodSpec similar_candidate = null;
 				foreach (var candidate in candidates) {
@@ -590,19 +594,29 @@ namespace Mono.CSharp {
 					// From this point the candidate is used for detailed error reporting
 					// because it's very close match to what we are looking for
 					//
-					base_method = (MethodSpec) candidate;
+					var m = (MethodSpec) candidate;
+
+					if (!m.IsPublic) {
+						if (close_match == null)
+							close_match = m;
 
-					if (!candidate.IsPublic)
+						continue;
-						return false;
+					}
 
-					if (!TypeSpecComparer.Override.IsEqual (mi.ReturnType, base_method.ReturnType))
+					if (!TypeSpecComparer.Override.IsEqual (mi.ReturnType, m.ReturnType)) {
-						return false;
+						if (close_match == null)
+							close_match = m;
 
-					if (mi.IsGeneric && !Method.CheckImplementingMethodConstraints (container, base_method, mi)) {
+						continue;
+					}
+						
+					base_method = m;
+
+					if (mi.IsGeneric && !Method.CheckImplementingMethodConstraints (container, m, mi)) {
 						return true;
 					}
 				}
-
+				
 				if (base_method != null) {
 					if (similar_candidate != null) {
 						Report.SymbolRelatedToPreviousError (similar_candidate);
@@ -617,8 +631,10 @@ namespace Mono.CSharp {
 				}
 
 				base_type = candidates[0].DeclaringType.BaseType;
-				if (base_type == null)
+				if (base_type == null) {
+					base_method = close_match;
 					return false;
+				}
 			}
 
 			if (!base_method.IsVirtual) {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/property.cs

@@ -201,14 +201,14 @@ namespace Mono.CSharp
 			{
 				base.Define (parent);
 
-				Spec = new MethodSpec (MemberKind.Method, parent.PartialContainer.Definition, this, ReturnType, null, ParameterInfo, ModFlags);
+				Spec = new MethodSpec (MemberKind.Method, parent.PartialContainer.Definition, this, ReturnType, ParameterInfo, ModFlags);
 
 				method_data = new MethodData (method, ModFlags, flags, this);
 
 				if (!method_data.Define (parent.PartialContainer, method.GetFullName (MemberName)))
 					return null;
 
-				Spec.SetMetaInfo (method_data.MethodBuilder);
+				method_data.DefineMethodBuilder (parent.PartialContainer, ParameterInfo);
 
 				return method_data.MethodBuilder;
 			}
@@ -268,14 +268,14 @@ namespace Mono.CSharp
 				
 				base.Define (parent);
 
-				Spec = new MethodSpec (MemberKind.Method, parent.PartialContainer.Definition, this, ReturnType, null, ParameterInfo, ModFlags);
+				Spec = new MethodSpec (MemberKind.Method, parent.PartialContainer.Definition, this, ReturnType, ParameterInfo, ModFlags);
 
 				method_data = new MethodData (method, ModFlags, flags, this);
 
 				if (!method_data.Define (parent.PartialContainer, method.GetFullName (MemberName)))
 					return null;
 
-				Spec.SetMetaInfo (method_data.MethodBuilder);
+				method_data.DefineMethodBuilder (parent.PartialContainer, ParameterInfo);
 
 				return method_data.MethodBuilder;
 			}
@@ -1198,15 +1198,15 @@ namespace Mono.CSharp
 				if (!method_data.Define (parent.PartialContainer, method.GetFullName (MemberName)))
 					return null;
 
+				method_data.DefineMethodBuilder (parent.PartialContainer, ParameterInfo);
+
 				if (Compiler.Settings.WriteMetadataOnly)
 					block = null;
 
-				MethodBuilder mb = method_data.MethodBuilder;
+				Spec = new MethodSpec (MemberKind.Method, parent.PartialContainer.Definition, this, ReturnType, ParameterInfo, method.ModFlags);
-
-				Spec = new MethodSpec (MemberKind.Method, parent.PartialContainer.Definition, this, ReturnType, mb, ParameterInfo, method.ModFlags);
 				Spec.IsAccessor = true;
 
-				return mb;
+				return method_data.MethodBuilder;
 			}
 
 			public override TypeSpec ReturnType {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/report.cs

@@ -550,6 +550,8 @@ namespace Mono.CSharp {
 	//
 	public abstract class ReportPrinter
 	{
+		protected HashSet<ITypeDefinition> reported_missing_definitions;
+
 		#region Properties
 
 		public int ErrorsCount { get; protected set; }
@@ -605,6 +607,22 @@ namespace Mono.CSharp {
 			}
 		}
 
+		//
+		// Tracks reported missing types. It needs to be session specific 
+		// because we can run in probing mode
+		//
+		public bool MissingTypeReported (ITypeDefinition typeDefinition)
+		{
+			if (reported_missing_definitions == null)
+				reported_missing_definitions = new HashSet<ITypeDefinition> ();
+
+			if (reported_missing_definitions.Contains (typeDefinition))
+				return true;
+
+			reported_missing_definitions.Add (typeDefinition);
+			return false;
+		}
+
 		public void Reset ()
 		{
 			// HACK: Temporary hack for broken repl flow
@@ -735,6 +753,11 @@ namespace Mono.CSharp {
 				error_msg |= !msg.IsWarning;
 			}
 
+			if (reported_missing_definitions != null) {
+				foreach (var missing in reported_missing_definitions)
+					dest.MissingTypeReported (missing);
+			}
+
 			return error_msg;
 		}
 	}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/settings.cs

@@ -350,6 +350,17 @@ namespace Mono.CSharp {
 		public CompilerSettings ParseArguments (string[] args)
 		{
 			CompilerSettings settings = new CompilerSettings ();
+			if (!ParseArguments (settings, args))
+				return null;
+
+			return settings;
+		}
+
+		public bool ParseArguments (CompilerSettings settings, string[] args)
+		{
+			if (settings == null)
+				throw new ArgumentNullException ("settings");
+
 			List<string> response_file_list = null;
 			bool parsing_options = true;
 			stop_argument = false;
@@ -369,7 +380,7 @@ namespace Mono.CSharp {
 
 					if (response_file_list.Contains (response_file)) {
 						report.Error (1515, "Response file `{0}' specified multiple times", response_file);
-						return null;
+						return false;
 					}
 
 					response_file_list.Add (response_file);
@@ -377,7 +388,7 @@ namespace Mono.CSharp {
 					extra_args = LoadArgs (response_file);
 					if (extra_args == null) {
 						report.Error (2011, "Unable to open response file: " + response_file);
-						return null;
+						return false;
 					}
 
 					args = AddArgs (args, extra_args);
@@ -399,7 +410,7 @@ namespace Mono.CSharp {
 							continue;
 						case ParseResult.Stop:
 							stop_argument = true;
-							return settings;
+							return true;
 						case ParseResult.UnknownOption:
 							if (UnknownOptionHandler != null) {
 								var ret = UnknownOptionHandler (args, i);
@@ -433,11 +444,11 @@ namespace Mono.CSharp {
 							}
 
 							Error_WrongOption (arg);
-							return null;
+							return false;
 
 						case ParseResult.Stop:
 							stop_argument = true;
-							return settings;
+							return true;
 						}
 					}
 				}
@@ -445,10 +456,7 @@ namespace Mono.CSharp {
 				ProcessSourceFiles (arg, false, settings.SourceFiles);
 			}
 
-			if (report.Errors > 0)
+			return report.Errors == 0;
-				return null;
-
-			return settings;
 		}
 
 		void ProcessSourceFiles (string spec, bool recurse, List<SourceFile> sourceFiles)

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/statement.cs

@@ -706,6 +706,7 @@ namespace Mono.CSharp {
 		public StatementErrorExpression (Expression expr)
 		{
 			this.expr = expr;
+			this.loc = expr.StartLocation;
 		}
 
 		public Expression Expr {
@@ -714,6 +715,12 @@ namespace Mono.CSharp {
 			}
 		}
 
+		public override bool Resolve (BlockContext bc)
+		{
+			expr.Error_InvalidExpressionStatement (bc);
+			return true;
+		}
+
 		protected override void DoEmit (EmitContext ec)
 		{
 			throw new NotSupportedException ();
@@ -903,9 +910,18 @@ namespace Mono.CSharp {
 							if (this is ContextualReturn)
 								return true;
 
-							ec.Report.Error (1997, loc,
+							// Same error code as .NET but better error message
-								"`{0}': A return keyword must not be followed by an expression when async method returns `Task'. Consider using `Task<T>' return type",
+							if (async_block.DelegateType != null) {
-								ec.GetSignatureForError ());
+								ec.Report.Error (1997, loc,
+									"`{0}': A return keyword must not be followed by an expression when async delegate returns `Task'. Consider using `Task<T>' return type",
+									async_block.DelegateType.GetSignatureForError ());
+							} else {
+								ec.Report.Error (1997, loc,
+									"`{0}': A return keyword must not be followed by an expression when async method returns `Task'. Consider using `Task<T>' return type",
+									ec.GetSignatureForError ());
+
+							}
+
 							return false;
 						}
 
@@ -1252,7 +1268,7 @@ namespace Mono.CSharp {
 				if (!Convert.ImplicitStandardConversionExists (c, type))
 					ec.Report.Warning (469, 2, loc,
 						"The `goto case' value is not implicitly convertible to type `{0}'",
-						TypeManager.CSharpName (type));
+						type.GetSignatureForError ());
 
 			}
 
@@ -1420,69 +1436,72 @@ namespace Mono.CSharp {
 		Location Location { get; }
 	}
 
-	public class BlockVariableDeclaration : Statement
+	public class BlockVariableDeclarator
 	{
-		public class Declarator
+		LocalVariable li;
+		Expression initializer;
+
+		public BlockVariableDeclarator (LocalVariable li, Expression initializer)
 		{
-			LocalVariable li;
+			if (li.Type != null)
-			Expression initializer;
+				throw new ArgumentException ("Expected null variable type");
 
-			public Declarator (LocalVariable li, Expression initializer)
+			this.li = li;
-			{
+			this.initializer = initializer;
-				if (li.Type != null)
+		}
-					throw new ArgumentException ("Expected null variable type");
 
-				this.li = li;
+		#region Properties
-				this.initializer = initializer;
-			}
 
-			public Declarator (Declarator clone, Expression initializer)
+		public LocalVariable Variable {
-			{
+			get {
-				this.li = clone.li;
+				return li;
-				this.initializer = initializer;
 			}
+		}
 
-			#region Properties
+		public Expression Initializer {
-
+			get {
-			public LocalVariable Variable {
+				return initializer;
-				get {
-					return li;
-				}
 			}
-
+			set {
-			public Expression Initializer {
+				initializer = value;
-				get {
-					return initializer;
-				}
-				set {
-					initializer = value;
-				}
 			}
+		}
 
-			#endregion
+		#endregion
+
+		public virtual BlockVariableDeclarator Clone (CloneContext cloneCtx)
+		{
+			var t = (BlockVariableDeclarator) MemberwiseClone ();
+			if (initializer != null)
+				t.initializer = initializer.Clone (cloneCtx);
+
+			return t;
 		}
+	}
 
+	public class BlockVariable : Statement
+	{
 		Expression initializer;
 		protected FullNamedExpression type_expr;
 		protected LocalVariable li;
-		protected List<Declarator> declarators;
+		protected List<BlockVariableDeclarator> declarators;
 		TypeSpec type;
 
-		public BlockVariableDeclaration (FullNamedExpression type, LocalVariable li)
+		public BlockVariable (FullNamedExpression type, LocalVariable li)
 		{
 			this.type_expr = type;
 			this.li = li;
 			this.loc = type_expr.Location;
 		}
 
-		protected BlockVariableDeclaration (LocalVariable li)
+		protected BlockVariable (LocalVariable li)
 		{
 			this.li = li;
 		}
 
 		#region Properties
 
-		public List<Declarator> Declarators {
+		public List<BlockVariableDeclarator> Declarators {
 			get {
 				return declarators;
 			}
@@ -1511,10 +1530,10 @@ namespace Mono.CSharp {
 
 		#endregion
 
-		public void AddDeclarator (Declarator decl)
+		public void AddDeclarator (BlockVariableDeclarator decl)
 		{
 			if (declarators == null)
-				declarators = new List<Declarator> ();
+				declarators = new List<BlockVariableDeclarator> ();
 
 			declarators.Add (decl);
 		}
@@ -1607,7 +1626,7 @@ namespace Mono.CSharp {
 			bool eval_global = bc.Module.Compiler.Settings.StatementMode && bc.CurrentBlock is ToplevelBlock;
 			if (eval_global) {
 				CreateEvaluatorVariable (bc, li);
-			} else {
+			} else if (type != InternalType.ErrorType) {
 				li.PrepareForFlowAnalysis (bc);
 			}
 
@@ -1621,7 +1640,7 @@ namespace Mono.CSharp {
 					d.Variable.Type = li.Type;
 					if (eval_global) {
 						CreateEvaluatorVariable (bc, d.Variable);
-					} else {
+					} else if (type != InternalType.ErrorType) {
 						d.Variable.PrepareForFlowAnalysis (bc);
 					}
 
@@ -1661,7 +1680,7 @@ namespace Mono.CSharp {
 
 		protected override void CloneTo (CloneContext clonectx, Statement target)
 		{
-			BlockVariableDeclaration t = (BlockVariableDeclaration) target;
+			BlockVariable t = (BlockVariable) target;
 
 			if (type_expr != null)
 				t.type_expr = (FullNamedExpression) type_expr.Clone (clonectx);
@@ -1672,7 +1691,7 @@ namespace Mono.CSharp {
 			if (declarators != null) {
 				t.declarators = null;
 				foreach (var d in declarators)
-					t.AddDeclarator (new Declarator (d, d.Initializer == null ? null : d.Initializer.Clone (clonectx)));
+					t.AddDeclarator (d.Clone (clonectx));
 			}
 		}
 
@@ -1682,9 +1701,9 @@ namespace Mono.CSharp {
 		}
 	}
 
-	public class BlockConstantDeclaration : BlockVariableDeclaration
+	public class BlockConstant : BlockVariable
 	{
-		public BlockConstantDeclaration (FullNamedExpression type, LocalVariable li)
+		public BlockConstant (FullNamedExpression type, LocalVariable li)
 			: base (type, li)
 		{
 		}
@@ -2059,7 +2078,8 @@ namespace Mono.CSharp {
 			HasAsyncModifier = 1 << 10,
 			Resolved = 1 << 11,
 			YieldBlock = 1 << 12,
-			AwaitBlock = 1 << 13
+			AwaitBlock = 1 << 13,
+			Iterator = 1 << 14
 		}
 
 		public Block Parent;
@@ -2646,6 +2666,7 @@ namespace Mono.CSharp {
 			}
 
 			storey.Define ();
+			storey.PrepareEmit ();
 			storey.Parent.PartialContainer.AddCompilerGeneratedClass (storey);
 		}
 
@@ -2664,6 +2685,8 @@ namespace Mono.CSharp {
 
 		public void RegisterIteratorYield ()
 		{
+			ParametersBlock.TopBlock.IsIterator = true;
+
 			var block = this;
 			while ((block.flags & Flags.YieldBlock) == 0) {
 				block.flags |= Flags.YieldBlock;
@@ -3112,7 +3135,7 @@ namespace Mono.CSharp {
 			return tlb;
 		}
 
-		public ParametersBlock ConvertToAsyncTask (IMemberContext context, TypeDefinition host, ParametersCompiled parameters, TypeSpec returnType, Location loc)
+		public ParametersBlock ConvertToAsyncTask (IMemberContext context, TypeDefinition host, ParametersCompiled parameters, TypeSpec returnType, TypeSpec delegateType, Location loc)
 		{
 			for (int i = 0; i < parameters.Count; i++) {
 				Parameter p = parameters[i];
@@ -3144,6 +3167,7 @@ namespace Mono.CSharp {
 			var block_type = host.Module.Compiler.BuiltinTypes.Void;
 			var initializer = new AsyncInitializer (this, host, block_type);
 			initializer.Type = block_type;
+			initializer.DelegateType = delegateType;
 
 			var stateMachine = new AsyncTaskStorey (this, context, initializer, returnType);
 
@@ -3207,7 +3231,10 @@ namespace Mono.CSharp {
 
 		public bool IsIterator {
 			get {
-				return HasYield;
+				return (flags & Flags.Iterator) != 0;
+			}
+			set {
+				flags = value ? flags | Flags.Iterator : flags & ~Flags.Iterator;
 			}
 		}
 
@@ -4110,10 +4137,13 @@ namespace Mono.CSharp {
 				new_expr = SwitchGoverningType (ec, unwrap);
 			}
 
-			if (new_expr == null){
+			if (new_expr == null) {
-				ec.Report.Error (151, loc,
+				if (Expr.Type != InternalType.ErrorType) {
-					"A switch expression of type `{0}' cannot be converted to an integral type, bool, char, string, enum or nullable type",
+					ec.Report.Error (151, loc,
-					TypeManager.CSharpName (Expr.Type));
+						"A switch expression of type `{0}' cannot be converted to an integral type, bool, char, string, enum or nullable type",
+						Expr.Type.GetSignatureForError ());
+				}
+
 				return false;
 			}
 
@@ -4512,6 +4542,7 @@ namespace Mono.CSharp {
 
 			if (finally_host != null) {
 				finally_host.Define ();
+				finally_host.PrepareEmit ();
 				finally_host.Emit ();
 
 				// Now it's safe to add, to close it properly and emit sequence points
@@ -5049,8 +5080,7 @@ namespace Mono.CSharp {
 			}
 		}
 
-
+		public class VariableDeclaration : BlockVariable
-		public class VariableDeclaration : BlockVariableDeclaration
 		{
 			public VariableDeclaration (FullNamedExpression type, LocalVariable li)
 				: base (type, li)
@@ -5175,7 +5205,7 @@ namespace Mono.CSharp {
 			}
 		}
 
-		public BlockVariableDeclaration Variables {
+		public BlockVariable Variables {
 			get {
 				return decl;
 			}
@@ -5557,7 +5587,7 @@ namespace Mono.CSharp {
 
 	public class Using : TryFinallyBlock
 	{
-		public class VariableDeclaration : BlockVariableDeclaration
+		public class VariableDeclaration : BlockVariable
 		{
 			Statement dispose_call;
 
@@ -5734,7 +5764,7 @@ namespace Mono.CSharp {
 			}
 		}
 
-		public BlockVariableDeclaration Variables {
+		public BlockVariable Variables {
 			get {
 				return decl;
 			}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/typemanager.cs

@@ -691,6 +691,7 @@ namespace Mono.CSharp
 		readonly MemberKind kind;
 		protected readonly ModuleContainer module;
 		protected TypeSpec type;
+		bool defined;
 
 		public PredefinedType (ModuleContainer module, MemberKind kind, string ns, string name, int arity)
 			: this (module, kind, ns, name)
@@ -753,7 +754,11 @@ namespace Mono.CSharp
 			if (type != null)
 				return true;
 
-			type = Resolve (module, kind, ns, name, arity, false, false);
+			if (!defined) {
+				defined = true;
+				type = Resolve (module, kind, ns, name, arity, false, false);
+			}
+
 			return type != null;
 		}
 
@@ -771,12 +776,13 @@ namespace Mono.CSharp
 			// fake namespaces when type is optional and does not exist (e.g. System.Linq).
 			//
 			Namespace type_ns = module.GlobalRootNamespace.GetNamespace (ns, required);
+
 			IList<TypeSpec> found = null;
 			if (type_ns != null)
 				found = type_ns.GetAllTypes (name);
 
 			if (found == null) {
-				if (reportErrors )
+				if (reportErrors)
 					module.Compiler.Report.Error (518, "The predefined type `{0}.{1}' is not defined or imported", ns, name);
 
 				return null;
@@ -984,15 +990,7 @@ namespace Mono.CSharp
 
 	partial class TypeManager {
 
-	/// <summary>
+	static public string CSharpName(IList<TypeSpec> types)
-	///   Returns the C# name of a type if possible, or the full type name otherwise
-	/// </summary>
-	static public string CSharpName (TypeSpec t)
-	{
-		return t.GetSignatureForError ();
-	}
-
-	static public string CSharpName (IList<TypeSpec> types)
 	{
 		if (types.Count == 0)
 			return string.Empty;
@@ -1002,7 +1000,7 @@ namespace Mono.CSharp
 			if (i > 0)
 				sb.Append (",");
 
-			sb.Append (CSharpName (types [i]));
+			sb.Append (types [i].GetSignatureForError ());
 		}
 		return sb.ToString ();
 	}
@@ -1090,7 +1088,7 @@ namespace Mono.CSharp
 		rc.Compiler.Report.SymbolRelatedToPreviousError (t);
 		rc.Compiler.Report.Error (208, loc,
 			"Cannot take the address of, get the size of, or declare a pointer to a managed type `{0}'",
-			CSharpName (t));
+			t.GetSignatureForError ());
 
 		return false;	
 	}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Parser/mcs/visit.cs

@@ -130,12 +130,12 @@ namespace Mono.CSharp
 			return null;
 		}
 		
-		public virtual object Visit (BlockVariableDeclaration blockVariableDeclaration)
+		public virtual object Visit (BlockVariable blockVariableDeclaration)
 		{
 			return null;
 		}
 		
-		public virtual object Visit (BlockConstantDeclaration blockConstantDeclaration)
+		public virtual object Visit (BlockConstant blockConstantDeclaration)
 		{
 			return null;
 		}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeActions/AddAnotherAccessorAction.cs

@@ -73,7 +73,7 @@ namespace ICSharpCode.NRefactory.CSharp.Refactoring
 		{
 			if (pdecl.Setter.IsNull && !pdecl.Getter.IsNull) {
 				var field = RemoveBackingStoreAction.ScanGetter (context, pdecl);
-				if (field != null) 
+				if (field != null && !field.IsReadOnly && !field.IsConst) 
 					return new ExpressionStatement (new AssignmentExpression (new IdentifierExpression (field.Name), AssignmentOperatorType.Assign, new IdentifierExpression ("value")));
 			}
 			

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeActions/RemoveBackingStoreAction.cs

@@ -89,7 +89,7 @@ namespace ICSharpCode.NRefactory.CSharp.Refactoring
 			var setterField = ScanSetter (context, propertyDeclaration);
 			if (setterField == null)
 				return null;
-			if (getterField.Region != setterField.Region)
+			if (!getterField.Equals(setterField))
 				return null;
 			return getterField;
 		}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/AssignmentMadeToSameVariableIssue.cs

@@ -29,6 +29,7 @@ using System.Collections.Generic;
 using ICSharpCode.NRefactory.Semantics;
 using ICSharpCode.NRefactory.TypeSystem;
 using ICSharpCode.NRefactory.PatternMatching;
+using ICSharpCode.NRefactory.Refactoring;
 using System.Linq;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/BitwiseOperationOnNonFlagsEnumIssue.cs

@@ -27,6 +27,7 @@
 using System.Collections.Generic;
 using System.Linq;
 using ICSharpCode.NRefactory.TypeSystem;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/CallToObjectEqualsViaBaseIssue.cs

@@ -28,6 +28,7 @@ using System.Collections.Generic;
 using ICSharpCode.NRefactory.TypeSystem;
 using ICSharpCode.NRefactory.Semantics;
 using System.Linq;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/CallToVirtualFunctionFromConstructorIssue.cs

@@ -26,6 +26,7 @@
 using ICSharpCode.NRefactory.CSharp.Refactoring;
 using System.Collections.Generic;
 using ICSharpCode.NRefactory.Semantics;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/CastExpressionOfIncompatibleTypeIssue.cs

@@ -28,6 +28,7 @@ using System.Collections.Generic;
 using ICSharpCode.NRefactory.TypeSystem;
 using ICSharpCode.NRefactory.CSharp.Resolver;
 using ICSharpCode.NRefactory.Semantics;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/CompareBooleanWithTrueOrFalseIssue.cs

@@ -28,6 +28,7 @@ using System.Collections.Generic;
 using System.Linq;
 using ICSharpCode.NRefactory.PatternMatching;
 using ICSharpCode.NRefactory.TypeSystem;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/CompareFloatWithEqualityOperatorIssue.cs

@@ -27,6 +27,7 @@
 using System.Collections.Generic;
 using ICSharpCode.NRefactory.Semantics;
 using ICSharpCode.NRefactory.TypeSystem;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/CompilerErrors/CS0029InvalidConversionIssue.cs

@@ -0,0 +1,119 @@
+// 
+// ExpressionOfCompatibleTypeCastIssue.cs
+// 
+// Author:
+//      Ciprian Khlud <ciprian.mustiata@yahoo.com>
+// 
+// Copyright (c) 2013 Ciprian Khlud <ciprian.mustiata@yahoo.com>
+// 
+// Permission is hereby granted, free of charge, to any person obtaining a copy
+// of this software and associated documentation files (the "Software"), to deal
+// in the Software without restriction, including without limitation the rights
+// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+// copies of the Software, and to permit persons to whom the Software is
+// furnished to do so, subject to the following conditions:
+// 
+// The above copyright notice and this permission notice shall be included in
+// all copies or substantial portions of the Software.
+// 
+// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+// THE SOFTWARE.
+
+using System;
+using System.Collections.Generic;
+using ICSharpCode.NRefactory.CSharp.Resolver;
+using ICSharpCode.NRefactory.Semantics;
+using ICSharpCode.NRefactory.TypeSystem;
+using ICSharpCode.NRefactory.Refactoring;
+
+namespace ICSharpCode.NRefactory.CSharp.Refactoring
+{
+	[IssueDescription("CS0029: Cannot implicitly convert type 'A' to 'B'.",
+	                  Description = "This error occurs when trying to assign a value of an incompatible type.",
+	                  Category = IssueCategories.CompilerErrors,
+	                  Severity = Severity.Error,
+	                  IssueMarker = IssueMarker.Underline)]
+	public class CS0029InvalidConversionIssue : ICodeIssueProvider
+	{
+		// This class handles both
+		// CS0029: Cannot implicitly convert type 'type' to 'type'
+		// and
+		// CS0266: Cannot implicitly convert type 'type1' to 'type2'. An explicit conversion exists (are you missing a cast?)
+		
+		public IEnumerable<CodeIssue> GetIssues(BaseRefactoringContext context)
+		{
+			return new GatherVisitor(context).GetIssues();
+		}
+
+		class GatherVisitor : GatherVisitorBase<CS0029InvalidConversionIssue>
+		{
+			readonly CSharpConversions conversion;
+
+			public GatherVisitor(BaseRefactoringContext ctx)
+				: base(ctx)
+			{
+				conversion = new CSharpConversions(ctx.Compilation);
+			}
+
+			// Currently, we only checks assignments
+			public override void VisitAssignmentExpression(AssignmentExpression assignmentExpression)
+			{
+				base.VisitAssignmentExpression(assignmentExpression);
+				if (assignmentExpression.Operator != AssignmentOperatorType.Assign)
+					return;
+				var variableType = ctx.Resolve(assignmentExpression.Left).Type;
+				VisitAssignment(variableType, assignmentExpression.Right);
+			}
+			
+			public override void VisitVariableInitializer(VariableInitializer variableInitializer)
+			{
+				base.VisitVariableInitializer(variableInitializer);
+				if (!variableInitializer.Initializer.IsNull) {
+					var variableType = ctx.Resolve(variableInitializer).Type;
+					VisitAssignment(variableType, variableInitializer.Initializer);
+				}
+			}
+			
+			void VisitAssignment(IType variableType, Expression expression)
+			{
+				if (variableType.Kind == TypeKind.Unknown)
+					return; // ignore error if the variable type is unknown
+				if (ctx.GetConversion(expression).IsValid)
+					return; // don't complain if the code is valid
+				
+				var rr = ctx.Resolve(expression);
+				if (rr.Type.Kind == TypeKind.Unknown)
+					return; // ignore error if expression type is unknown
+				
+				var foundConversion = conversion.ExplicitConversion(rr, variableType);
+				
+				var builder = ctx.CreateTypeSytemAstBuilder(expression);
+				AstType variableTypeNode = builder.ConvertType(variableType);
+				AstType expressionTypeNode = builder.ConvertType(rr.Type);
+				
+				if (foundConversion.IsValid) {
+					// CS0266: An explicit conversion exists -> suggested fix is to insert the cast
+					string title = string.Format(ctx.TranslateString("Cannot implicitly convert type `{0}' to `{1}'. An explicit conversion exists (are you missing a cast?)"),
+					                             expressionTypeNode, variableTypeNode);
+					string fixTitle = string.Format(ctx.TranslateString("Cast to '{0}'"), variableTypeNode);
+					Action<Script> fixAction = script => {
+						var right = expression.Clone();
+						var castRight = right.CastTo(variableTypeNode);
+						script.Replace(expression, castRight);
+					};
+					AddIssue(expression, title, new CodeAction(fixTitle, fixAction, expression));
+				} else {
+					// CS0029: No explicit conversion -> Issue without suggested fix
+					string title = string.Format(ctx.TranslateString("Cannot implicitly convert type `{0}' to `{1}'"),
+					                             expressionTypeNode, variableTypeNode);
+					AddIssue(expression, title);
+				}
+			}
+		}
+	}
+}

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/CompilerErrors/CS0127ReturnMustNotBeFollowedByAnyExpression.cs

@@ -27,6 +27,7 @@ using System;
 using System.Collections.Generic;
 using System.Linq;
 using ICSharpCode.NRefactory.PatternMatching;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/ConditionalToNullCoalescingIssue.cs

@@ -27,6 +27,7 @@ using System;
 using System.Collections.Generic;
 using System.Linq;
 using ICSharpCode.NRefactory.PatternMatching;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/ConstantConditionIssue.cs

@@ -25,6 +25,7 @@
 // THE SOFTWARE.
 
 using System.Collections.Generic;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {
@@ -94,7 +95,7 @@ namespace ICSharpCode.NRefactory.CSharp.Refactoring
 				var value = (bool)resolveResult.ConstantValue;
 				var conditionalExpr = condition.Parent as ConditionalExpression;
 				var ifElseStatement = condition.Parent as IfElseStatement;
-				var valueStr = value.ToString ().ToLower ();
+				var valueStr = value.ToString ().ToLowerInvariant ();
 
 				CodeAction action;
 				if (conditionalExpr != null) {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/ConstructorIssues/PublicConstructorInAbstractClass.cs

@@ -28,6 +28,7 @@ using System.Linq;
 using ICSharpCode.NRefactory.CSharp.Resolver;
 using ICSharpCode.NRefactory.Semantics;
 using ICSharpCode.NRefactory.TypeSystem;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/ConstructorIssues/RedudantConstructorIssue.cs

@@ -29,6 +29,7 @@ using System.Linq;
 using ICSharpCode.NRefactory.CSharp.Resolver;
 using ICSharpCode.NRefactory.Semantics;
 using ICSharpCode.NRefactory.TypeSystem;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/ConstructorIssues/StaticConstructorAccessModifierIssue.cs

@@ -29,6 +29,7 @@ using System.Linq;
 using ICSharpCode.NRefactory.CSharp.Resolver;
 using ICSharpCode.NRefactory.Semantics;
 using ICSharpCode.NRefactory.TypeSystem;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/ConstructorIssues/StaticConstructorParameterIssue.cs

@@ -29,7 +29,7 @@ using System.Linq;
 using ICSharpCode.NRefactory.CSharp.Resolver;
 using ICSharpCode.NRefactory.Semantics;
 using ICSharpCode.NRefactory.TypeSystem;
-
+using ICSharpCode.NRefactory.Refactoring;
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {
 	[IssueDescription("Static constructor should be parameterless",

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/DoubleNegationIssue.cs

@@ -25,6 +25,7 @@
 // THE SOFTWARE.
 
 using System.Collections.Generic;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/DuplicateExpressionsInConditionsIssue.cs

@@ -26,6 +26,7 @@
 
 using System.Collections.Generic;
 using ICSharpCode.NRefactory.PatternMatching;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {
@@ -51,7 +52,7 @@ namespace ICSharpCode.NRefactory.CSharp.Refactoring
             SupportedOperators.Add(BinaryOperatorType.ConditionalOr);
         }
 		
-		class GatherVisitor : GatherVisitorBase<IdenticalConditionalBranchIssue>
+		class GatherVisitor : GatherVisitorBase<DuplicateExpressionsInConditionsIssue>
 		{
 			public GatherVisitor (BaseRefactoringContext ctx)
 				: base (ctx)

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/DuplicateIfInIfChainIssue.cs

@@ -26,6 +26,7 @@
 
 using System.Collections.Generic;
 using ICSharpCode.NRefactory.PatternMatching;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {
@@ -42,7 +43,7 @@ namespace ICSharpCode.NRefactory.CSharp.Refactoring
 			return new GatherVisitor (context).GetIssues ();
 		}
 		
-		class GatherVisitor : GatherVisitorBase<IdenticalConditionalBranchIssue>
+		class GatherVisitor : GatherVisitorBase<DuplicateIfInIfChainIssue>
 		{
 			public GatherVisitor (BaseRefactoringContext ctx)
 				: base (ctx)

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/ExceptionRethrowIssue.cs

@@ -27,6 +27,7 @@ using System;
 using System.Collections.Generic;
 using ICSharpCode.NRefactory.TypeSystem;
 using ICSharpCode.NRefactory.Semantics;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {

src/Libraries/NRefactory/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/ExplicitConversionInForEachIssue.cs

@@ -21,6 +21,7 @@ using System.Collections.Generic;
 using ICSharpCode.NRefactory.CSharp.Resolver;
 using ICSharpCode.NRefactory.Semantics;
 using ICSharpCode.NRefactory.TypeSystem;
+using ICSharpCode.NRefactory.Refactoring;
 
 namespace ICSharpCode.NRefactory.CSharp.Refactoring
 {