@harmoniclabs/pebble 0.1.3-dev3 → 0.1.3-dev4

package/dist/compiler/tir/statements/TirVarDecl/TirNamedDeconstructVarDecl.d.ts

@@ -12,9 +12,27 @@ export declare class TirNamedDeconstructVarDecl implements ITirStmt, ITirVarDecl
     initExpr: TirExpr | undefined;
     isConst: boolean;
     readonly range: SourceRange;
+    /** range of just the constructor name identifier (for LSP) */
+    readonly constrNameRange?: SourceRange | undefined;
+    /** source ranges and constructor-definition types of field label identifiers (for LSP hover) */
+    readonly fieldLabelRanges?: Map<string, {
+        range: SourceRange;
+        type: TirType;
+    }> | undefined;
+    /** range of explicit type annotation (e.g., `MyDatum` in `as MyDatum`) for LSP */
+    readonly typeAnnotationRange?: SourceRange | undefined;
     constructor(
     /** only original (not aliased) constr name used in destructuring */
-    constrName: string, fields: Map<string, TirVarDecl>, rest: string | undefined, type: TirType, initExpr: TirExpr | undefined, isConst: boolean, range: SourceRange);
+    constrName: string, fields: Map<string, TirVarDecl>, rest: string | undefined, type: TirType, initExpr: TirExpr | undefined, isConst: boolean, range: SourceRange, 
+    /** range of just the constructor name identifier (for LSP) */
+    constrNameRange?: SourceRange | undefined, 
+    /** source ranges and constructor-definition types of field label identifiers (for LSP hover) */
+    fieldLabelRanges?: Map<string, {
+        range: SourceRange;
+        type: TirType;
+    }> | undefined, 
+    /** range of explicit type annotation (e.g., `MyDatum` in `as MyDatum`) for LSP */
+    typeAnnotationRange?: SourceRange | undefined);
     toString(): string;
     pretty(indent: number): string;
     deps(): string[];

package/dist/compiler/tir/statements/TirVarDecl/TirNamedDeconstructVarDecl.js

@@ -7,9 +7,18 @@ export class TirNamedDeconstructVarDecl {
     initExpr;
     isConst;
     range;
+    constrNameRange;
+    fieldLabelRanges;
+    typeAnnotationRange;
     constructor(
     /** only original (not aliased) constr name used in destructuring */
-    constrName, fields, rest, type, initExpr, isConst, range) {
+    constrName, fields, rest, type, initExpr, isConst, range, 
+    /** range of just the constructor name identifier (for LSP) */
+    constrNameRange, 
+    /** source ranges and constructor-definition types of field label identifiers (for LSP hover) */
+    fieldLabelRanges, 
+    /** range of explicit type annotation (e.g., `MyDatum` in `as MyDatum`) for LSP */
+    typeAnnotationRange) {
         this.constrName = constrName;
         this.fields = fields;
         this.rest = rest;
@@ -17,6 +26,9 @@ export class TirNamedDeconstructVarDecl {
         this.initExpr = initExpr;
         this.isConst = isConst;
         this.range = range;
+        this.constrNameRange = constrNameRange;
+        this.fieldLabelRanges = fieldLabelRanges;
+        this.typeAnnotationRange = typeAnnotationRange;
     }
     toString() {
         return (`${this.isConst ? "const" : "let"} ` +

package/dist/compiler/tir/statements/TirVarDecl/TirSimpleVarDecl.d.ts

@@ -9,8 +9,16 @@ export declare class TirSimpleVarDecl implements ITirStmt, ITirVarDecl {
     initExpr: TirExpr | undefined;
     isConst: boolean;
     readonly range: SourceRange;
+    /** range of explicit type annotation (e.g., `MyDatum` in `as MyDatum`) for LSP */
+    readonly typeAnnotationRange?: SourceRange | undefined;
+    /** original source name for internal-renamed params (e.g., `owner` for `§owner_0`) for LSP */
+    readonly sourceName?: string | undefined;
     constructor(name: string, type: TirType, initExpr: TirExpr | undefined, // deconstructed OR function param
-    isConst: boolean, range: SourceRange);
+    isConst: boolean, range: SourceRange, 
+    /** range of explicit type annotation (e.g., `MyDatum` in `as MyDatum`) for LSP */
+    typeAnnotationRange?: SourceRange | undefined, 
+    /** original source name for internal-renamed params (e.g., `owner` for `§owner_0`) for LSP */
+    sourceName?: string | undefined);
     clone(): TirSimpleVarDecl;
     toString(): string;
     pretty(indent: number): string;

package/dist/compiler/tir/statements/TirVarDecl/TirSimpleVarDecl.js

@@ -4,13 +4,21 @@ export class TirSimpleVarDecl {
     initExpr;
     isConst;
     range;
+    typeAnnotationRange;
+    sourceName;
     constructor(name, type, initExpr, // deconstructed OR function param
-    isConst, range) {
+    isConst, range, 
+    /** range of explicit type annotation (e.g., `MyDatum` in `as MyDatum`) for LSP */
+    typeAnnotationRange, 
+    /** original source name for internal-renamed params (e.g., `owner` for `§owner_0`) for LSP */
+    sourceName) {
         this.name = name;
         this.type = type;
         this.initExpr = initExpr;
         this.isConst = isConst;
         this.range = range;
+        this.typeAnnotationRange = typeAnnotationRange;
+        this.sourceName = sourceName;
     }
     clone() {
         return new TirSimpleVarDecl(this.name, this.type, this.initExpr?.clone(), this.isConst, this.range);

package/dist/compiler/tir/statements/TirVarDecl/TirSingleDeconstructVarDecl.d.ts

@@ -10,7 +10,21 @@ export declare class TirSingleDeconstructVarDecl implements ITirStmt {
     initExpr: TirExpr | undefined;
     isConst: boolean;
     readonly range: SourceRange;
-    constructor(fields: Map<string, TirVarDecl>, rest: string | undefined, type: TirType, initExpr: TirExpr | undefined, isConst: boolean, range: SourceRange);
+    /** source ranges and constructor-definition types of field label identifiers (for LSP hover) */
+    readonly fieldLabelRanges?: Map<string, {
+        range: SourceRange;
+        type: TirType;
+    }> | undefined;
+    /** range of explicit type annotation (e.g., `MyDatum` in `as MyDatum`) for LSP */
+    readonly typeAnnotationRange?: SourceRange | undefined;
+    constructor(fields: Map<string, TirVarDecl>, rest: string | undefined, type: TirType, initExpr: TirExpr | undefined, isConst: boolean, range: SourceRange, 
+    /** source ranges and constructor-definition types of field label identifiers (for LSP hover) */
+    fieldLabelRanges?: Map<string, {
+        range: SourceRange;
+        type: TirType;
+    }> | undefined, 
+    /** range of explicit type annotation (e.g., `MyDatum` in `as MyDatum`) for LSP */
+    typeAnnotationRange?: SourceRange | undefined);
     toString(): string;
     pretty(indent: number): string;
     deps(): string[];

package/dist/compiler/tir/statements/TirVarDecl/TirSingleDeconstructVarDecl.js

@@ -6,13 +6,21 @@ export class TirSingleDeconstructVarDecl {
     initExpr;
     isConst;
     range;
-    constructor(fields, rest, type, initExpr, isConst, range) {
+    fieldLabelRanges;
+    typeAnnotationRange;
+    constructor(fields, rest, type, initExpr, isConst, range, 
+    /** source ranges and constructor-definition types of field label identifiers (for LSP hover) */
+    fieldLabelRanges, 
+    /** range of explicit type annotation (e.g., `MyDatum` in `as MyDatum`) for LSP */
+    typeAnnotationRange) {
         this.fields = fields;
         this.rest = rest;
         this.type = type;
         this.initExpr = initExpr;
         this.isConst = isConst;
         this.range = range;
+        this.fieldLabelRanges = fieldLabelRanges;
+        this.typeAnnotationRange = typeAnnotationRange;
     }
     toString() {
         return (`${this.isConst ? "const" : "let"} ` +

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@harmoniclabs/pebble",
-  "version": "0.1.3-dev3",
+  "version": "0.1.3-dev4",
   "description": "A simple, yet rock solid, functional language with an imperative bias, targeting UPLC",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",