microsoft
diff --git a/‎src/QsCompiler/BondSchemas/BondSchemaTranslator.cs‎
Lines changed: 10 additions & 6 deletions b/‎src/QsCompiler/BondSchemas/BondSchemaTranslator.cs‎
Lines changed: 10 additions & 6 deletions
diff --git a/‎src/QsCompiler/BondSchemas/CompilerDataStructures.bond‎
Lines changed: 6 additions & 3 deletions b/‎src/QsCompiler/BondSchemas/CompilerDataStructures.bond‎
Lines changed: 6 additions & 3 deletions
diff --git a/‎src/QsCompiler/BondSchemas/CompilerObjectTranslator.cs‎
Lines changed: 6 additions & 6 deletions b/‎src/QsCompiler/BondSchemas/CompilerObjectTranslator.cs‎
Lines changed: 6 additions & 6 deletions
@@ -536,9 +536,7 @@ private static QsTypeParameter ToBondSchema(this SyntaxTree.QsTypeParameter qsTy
             {
                 Origin = qsTypeParameter.Origin.ToBondSchema(),
                 TypeName = qsTypeParameter.TypeName,
-                Range = qsTypeParameter.Range.IsNull ?
-                    null :
-                    qsTypeParameter.Range.Item.ToBondSchema()
+                Range = null
             };
 
         private static QsValueUpdate ToBondSchema(this SyntaxTree.QsValueUpdate valueUpdate) =>
@@ -675,9 +673,7 @@ private static UserDefinedType ToBondSchema(this SyntaxTree.UserDefinedType user
             {
                 Namespace = userDefinedType.Namespace,
                 Name = userDefinedType.Name,
-                Range = userDefinedType.Range.IsNull ?
-                    null :
-                    userDefinedType.Range.Item.ToBondSchema()
+                Range = null
             };
 
         private static CharacteristicsKindComposition<TBond> ToBondSchemaGeneric<TBond, TCompiler>(
@@ -859,6 +855,14 @@ private static QsExpressionKindComposition<TBondExpression, TBondSymbol, TBondTy
                 kind = QsExpressionKind.ValueArray;
                 bondExpressionArray = compilerValueArray.Item.Select(e => expressionTranslator(e)).ToList();
             }
+            else if (qsExpressionKind is SyntaxTokens.QsExpressionKind<TCompilerExpression, TCompilerSymbol, TCompilerType>.SizedArray compilerSizedArray)
+            {
+                kind = QsExpressionKind.SizedArray;
+                bondExpressionDouble = ToQsExpressionKindExpressionDoubleGeneric(
+                    compilerSizedArray.value,
+                    compilerSizedArray.size,
+                    expressionTranslator);
+            }
             else if (qsExpressionKind is SyntaxTokens.QsExpressionKind<TCompilerExpression, TCompilerSymbol, TCompilerType>.ArrayItem compilerArrayItem)
             {
                 kind = QsExpressionKind.ArrayItem;
 
@@ -105,7 +105,8 @@ enum QsExpressionKind
     ControlledApplication,
     CallLikeExpression,
     MissingExpr,
-    InvalidExpr
+    InvalidExpr,
+    SizedArray
 }
 
 // Used to encapsulate data when QsExpressionKind is Identifier.
@@ -126,7 +127,8 @@ struct QsExpressionKindStringLiteral<TExpression>
     10: vector<TExpression> Expressions;
 }
 
-// Used to encapsulate data when QsExpressionKind is RangeLiteral, ArrayItem, ADD, SUB, MUL, DIV, MOD, POW, EQ, NEQ, LT, LTE, GT, GTE, AND, OR, BOR, BAND, BXOR, LSHIFT, RSHIFT, CallLikeApplication.
+// Used to encapsulate data when QsExpressionKind is RangeLiteral, ArrayItem, ADD, SUB, MUL, DIV, MOD, POW, EQ, NEQ, LT,
+// LTE, GT, GTE, AND, OR, BOR, BAND, BXOR, LSHIFT, RSHIFT, CallLikeApplication, SizedArray.
 // N.B. Does not have an equivalent F# type.
 struct QsExpressionKindExpressionDouble<TExpression>
 {
@@ -203,7 +205,8 @@ struct QsExpressionKindComposition<TExpression, TSymbol, TType>
     // Not null when Kind is NEG, NOT, BNOT, UnwrapApplication, AdjointApplication, ControlledApplication.
     65: nullable<TExpression> Expression;
 
-    // Not null when Kind is RangeLiteral, ArrayItem, ADD, SUB, MUL, DIV, MOD, POW, EQ, NEQ, LT, LTE, GT, GTE, AND, OR, BOR, BAND, BXOR, LSHIFT, RSHIFT, CallLikeApplication.
+    // Not null when Kind is RangeLiteral, ArrayItem, ADD, SUB, MUL, DIV, MOD, POW, EQ, NEQ, LT, LTE, GT, GTE, AND, OR,
+    // BOR, BAND, BXOR, LSHIFT, RSHIFT, CallLikeApplication, SizedArray.
     70: nullable<QsExpressionKindExpressionDouble<TExpression>> ExpressionDouble;
 
     // Not null when Kind is CONDITIONAL, CopyAndUpdate.
 
@@ -250,6 +250,7 @@ private static SyntaxTree.QsDeclarationAttribute ToCompilerObject(this QsDeclara
                 typeId: bondQsDeclarationAttribute.TypeId != null ?
                     bondQsDeclarationAttribute.TypeId.ToCompilerObject().ToQsNullableGeneric() :
                     QsNullable<SyntaxTree.UserDefinedType>.Null,
+                typeIdRange: QsNullable<DataTypes.Range>.Null,
                 argument: bondQsDeclarationAttribute.Argument.ToCompilerObject(),
                 offset: bondQsDeclarationAttribute.Offset.ToCompilerObject(),
                 comments: bondQsDeclarationAttribute.Comments.ToCompilerObject());
@@ -537,9 +538,7 @@ private static SyntaxTree.QsTypeParameter ToCompilerObject(this QsTypeParameter
             new SyntaxTree.QsTypeParameter(
                 origin: bondQsTypeParameter.Origin.ToCompilerObject(),
                 typeName: bondQsTypeParameter.TypeName,
-                range: bondQsTypeParameter.Range != null ?
-                    bondQsTypeParameter.Range.ToCompilerObject().ToQsNullableGeneric() :
-                    QsNullable<DataTypes.Range>.Null);
+                range: QsNullable<DataTypes.Range>.Null);
 
         private static SyntaxTree.QsWhileStatement ToCompilerObject(this QsWhileStatement bondQsWhileStatement) =>
             new SyntaxTree.QsWhileStatement(
@@ -653,9 +652,7 @@ private static SyntaxTree.UserDefinedType ToCompilerObject(this UserDefinedType
             new SyntaxTree.UserDefinedType(
                 @namespace: bondUserDefinedType.Namespace,
                 name: bondUserDefinedType.Name,
-                range: bondUserDefinedType.Range != null ?
-                    bondUserDefinedType.Range.ToCompilerObject().ToQsNullableGeneric() :
-                    QsNullable<DataTypes.Range>.Null);
+                range: QsNullable<DataTypes.Range>.Null);
 
         private static Tuple<SyntaxTree.SymbolTuple, SyntaxTree.ResolvedType> ToCompilerObject(this QsLoopItem bondQsLoopItem) =>
             new Tuple<SyntaxTree.SymbolTuple, SyntaxTree.ResolvedType>(
@@ -868,6 +865,7 @@ string UnexpectedNullFieldMessage(string fieldName) =>
             }
             else if ((bondQsExpressionKindComposition.Kind == QsExpressionKind.RangeLiteral) ||
                      (bondQsExpressionKindComposition.Kind == QsExpressionKind.ArrayItem) ||
+                     (bondQsExpressionKindComposition.Kind == QsExpressionKind.SizedArray) ||
                      (bondQsExpressionKindComposition.Kind == QsExpressionKind.ADD) ||
                      (bondQsExpressionKindComposition.Kind == QsExpressionKind.SUB) ||
                      (bondQsExpressionKindComposition.Kind == QsExpressionKind.MUL) ||
@@ -901,6 +899,8 @@ string UnexpectedNullFieldMessage(string fieldName) =>
                         NewRangeLiteral(item1: compilerExpression1, item2: compilerExpression2),
                     QsExpressionKind.ArrayItem => SyntaxTokens.QsExpressionKind<TCompilerExpression, TCompilerSymbol, TCompilerType>.
                         NewArrayItem(item1: compilerExpression1, item2: compilerExpression2),
+                    QsExpressionKind.SizedArray => SyntaxTokens.QsExpressionKind<TCompilerExpression, TCompilerSymbol, TCompilerType>.
+                        NewSizedArray(compilerExpression1, compilerExpression2),
                     QsExpressionKind.ADD => SyntaxTokens.QsExpressionKind<TCompilerExpression, TCompilerSymbol, TCompilerType>.
                         NewADD(item1: compilerExpression1, item2: compilerExpression2),
                     QsExpressionKind.SUB => SyntaxTokens.QsExpressionKind<TCompilerExpression, TCompilerSymbol, TCompilerType>.