Merge pull request #856 from microsoft/samarsha/sized-array

Add "[value, size = n]" array constructor

Author: bamarsha

src/QsCompiler/BondSchemas/BondSchemaTranslator.cs

@@ -859,6 +859,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;

src/QsCompiler/BondSchemas/CompilerDataStructures.bond

@@ -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.

src/QsCompiler/BondSchemas/CompilerObjectTranslator.cs

@@ -868,6 +868,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 +902,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>.