fix the prop path

Author: peze

lib/semantic.js

@@ -2628,11 +2628,21 @@ class TypeChecker {
 
   calculatePropertyType(ast, env) {
     const type = this.getVariableType(ast.id, env);
+
+    if(!ast.id.inferred) {
+      ast.id.inferred = type;
+    }
+
+    if(!ast.propertyPathTypes) {
+      ast.propertyPathTypes = new Array(ast.propertyPath.length);
+    }
+    
     if (type.type === 'model' || type.type === 'map') {
       let current = type;
       for (let i = 0; i < ast.propertyPath.length; i++) {
         let prop = ast.propertyPath[i];
         current = this.getPropertyType(current, prop.lexeme);
+        ast.propertyPathTypes[i] = current;
       }
 
       return current;
@@ -3151,11 +3161,17 @@ class TypeChecker {
         mainType = this.getVariableType(ast.left.id, env);
       }
 
-      if (mainType.type === 'array') {
+      if (mainType.type === 'map') {
+        if (!this.isStringType(ast.left.accessKey, env)) {
+          this.error(`The key expr type must be string type`, ast.left.accessKey);
+        }
+      } else if (mainType.type === 'array') {
         ast.left.type = 'array_access';
         if (!this.isNumberType(ast.left.accessKey, env)) {
-          this.error(`The key expr type must be number type`, ast.accessKey);
+          this.error(`The key expr type must be number type`, ast.left.accessKey);
         }
+      } else {
+        this.error(`the [] form only support map or array type`, ast.left.accessKey);
       }
     } else {
       throw new Error('unimplemented');

package.json

@@ -1,6 +1,6 @@
 {
   "name": "@darabonba/parser",
-  "version": "2.1.6",
+  "version": "2.1.7",
   "main": "index.js",
   "directories": {
     "lib": "lib",