From 55388d16b4c9de3686465c857eeb3d6db33f1492 Mon Sep 17 00:00:00 2001
From: Arthur Ozga <aozgaa-ms@outlook.com>
Date: Wed, 19 Apr 2017 10:36:40 -0700
Subject: [PATCH] Readonly type literal members

---
 src/compiler/checker.ts |  9 ++++++---
 src/compiler/factory.ts | 10 ++++++----
 src/compiler/visitor.ts |  2 ++
 3 files changed, 14 insertions(+), 7 deletions(-)

diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index 28ba350f38b..0fd09251024 100644
--- a/src/compiler/checker.ts
+++ b/src/compiler/checker.ts
@@ -2602,14 +2602,17 @@ namespace ts {
                             }
                         }
                         else {
-
                             // TODO(aozgaa): should we create a node with explicit or implict any?
                             const propertyTypeNode = propertyType ? typeToTypeNodeHelper(propertyType, context) : createKeywordTypeNode(SyntaxKind.AnyKeyword);
-                            typeElements.push(createPropertySignature(
+
+                            const modifiers = isReadonlySymbol(propertySymbol) ? [createToken(SyntaxKind.ReadonlyKeyword)] : undefined;
+                            const propertySignature = createPropertySignature(
+                                modifiers,
                                 propertyName,
                                 optionalToken,
                                 propertyTypeNode,
-                               /*initializer*/undefined));
+                               /*initializer*/undefined);
+                            typeElements.push(propertySignature);
                         }
                     }
                     return typeElements.length ? typeElements : undefined;
diff --git a/src/compiler/factory.ts b/src/compiler/factory.ts
index 4bf4d1a9519..6b265c03d25 100644
--- a/src/compiler/factory.ts
+++ b/src/compiler/factory.ts
@@ -480,8 +480,9 @@ namespace ts {
 
     // Signature elements
 
-    export function createPropertySignature(name: PropertyName | string, questionToken: QuestionToken | undefined, type: TypeNode | undefined, initializer: Expression | undefined): PropertySignature {
+    export function createPropertySignature(modifiers: Modifier[] | undefined, name: PropertyName | string, questionToken: QuestionToken | undefined, type: TypeNode | undefined, initializer: Expression | undefined): PropertySignature {
         const propertySignature = createSynthesizedNode(SyntaxKind.PropertySignature) as PropertySignature;
+        propertySignature.modifiers = asNodeArray(modifiers);
         propertySignature.name = asName(name);
         propertySignature.questionToken = questionToken;
         propertySignature.type = type;
@@ -489,12 +490,13 @@ namespace ts {
         return propertySignature;
     }
 
-    export function updatePropertySignature(node: PropertySignature, name: PropertyName, questionToken: QuestionToken | undefined, type: TypeNode | undefined, initializer: Expression | undefined) {
-        return node.name !== name
+    export function updatePropertySignature(node: PropertySignature, modifiers: Modifier[] | undefined, name: PropertyName, questionToken: QuestionToken | undefined, type: TypeNode | undefined, initializer: Expression | undefined) {
+        return node.modifiers !== modifiers
+            || node.name !== name
             || node.questionToken !== questionToken
             || node.type !== type
             || node.initializer !== initializer
-            ? updateNode(createPropertySignature(name, questionToken, type, initializer), node)
+            ? updateNode(createPropertySignature(modifiers, name, questionToken, type, initializer), node)
             : node;
     }
 
diff --git a/src/compiler/visitor.ts b/src/compiler/visitor.ts
index 297d2cc0dde..523d4cb8e32 100644
--- a/src/compiler/visitor.ts
+++ b/src/compiler/visitor.ts
@@ -355,6 +355,8 @@ namespace ts {
 
             case SyntaxKind.PropertySignature:
                 return updatePropertySignature((<PropertySignature>node),
+                    // TODO: tokenVisitor or visitor for a nodearray of tokens?
+                    nodesVisitor((<PropertySignature>node).modifiers, visitor, isToken),
                     visitNode((<PropertySignature>node).name, visitor, isPropertyName),
                     visitNode((<PropertySignature>node).questionToken, tokenVisitor, isToken),
                     visitNode((<PropertySignature>node).type, visitor, isTypeNode),