Merge remote-tracking branch 'origin/develop' into ts-parser

CHANGELOG.md

@@ -578,6 +578,7 @@
 - [Renamed `Decimal` to `Float`.][7807]
 - [Implemented `Date_Time_Formatter` for more user-friendly date/time format
   parsing.][7826]
+- [Implemented `Table.auto_value_types` for in-memory tables.][7908]
 
 [debug-shortcuts]:
   https://github.com/enso-org/enso/blob/develop/app/gui/docs/product/shortcuts.md#debug
@@ -820,6 +821,7 @@
 [7776]: https://github.com/enso-org/enso/pull/7776
 [7807]: https://github.com/enso-org/enso/pull/7807
 [7826]: https://github.com/enso-org/enso/pull/7826
+[7908]: https://github.com/enso-org/enso/pull/7908
 
 #### Enso Compiler
 

app/gui2/package.json

@@ -28,6 +28,7 @@
     "@vueuse/core": "^10.4.1",
     "codemirror": "^6.0.1",
     "enso-authentication": "^1.0.0",
+    "events": "^3.3.0",
     "install": "^0.13.0",
     "hash-sum": "^2.0.0",
     "isomorphic-ws": "^5.0.0",

app/gui2/shared/languageServer.ts

@@ -1,20 +1,28 @@
 import { Client } from '@open-rpc/client-js'
 
 import * as map from 'lib0/map'
+import { ObservableV2 } from 'lib0/observable'
 import * as set from 'lib0/set'
 import { SHA3 } from 'sha3'
-import { Emitter } from './event'
 import type {
   Checksum,
+  ContextId,
+  ExecutionEnvironment,
+  ExpressionId,
   FileEdit,
+  FileSystemObject,
   Notifications,
   Path,
   RegisterOptions,
+  StackItem,
+  TextFileContents,
+  VisualizationConfiguration,
   response,
 } from './languageServerTypes'
 import type { Uuid } from './yjsModel'
 
-export class LanguageServer extends Emitter<Notifications> {
+/** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md) */
+export class LanguageServer extends ObservableV2<Notifications> {
   client: Client
   handlers: Map<string, Set<(...params: any[]) => void>>
 
@@ -46,49 +54,236 @@ export class LanguageServer extends Emitter<Notifications> {
     }
   }
 
-  private request(method: string, params: object): Promise<any> {
+  // The "magic bag of holding" generic that is only present in the return type is UNSOUND.
+  // However, it is SAFE, as the return type of the API is statically known.
+  private request<T>(method: string, params: object): Promise<T> {
     return this.client.request({ method, params })
   }
 
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#capabilityacquire) */
   acquireCapability(method: string, registerOptions: RegisterOptions): Promise<void> {
     return this.request('capability/acquire', { method, registerOptions })
   }
 
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#filereceivestreeupdates) */
   acquireReceivesTreeUpdates(path: Path): Promise<void> {
     return this.acquireCapability('file/receivesTreeUpdates', { path })
   }
 
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#sessioninitprotocolconnection) */
   initProtocolConnection(clientId: Uuid): Promise<response.InitProtocolConnection> {
     return this.request('session/initProtocolConnection', { clientId })
   }
 
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#textopenfile) */
   openTextFile(path: Path): Promise<response.OpenTextFile> {
     return this.request('text/openFile', { path })
   }
 
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#textclosefile) */
   closeTextFile(path: Path): Promise<void> {
     return this.request('text/closeFile', { path })
   }
 
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#textsave) */
   saveTextFile(path: Path, currentVersion: Checksum): Promise<void> {
     return this.request('text/save', { path, currentVersion })
   }
 
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#textapplyedit) */
   applyEdit(edit: FileEdit, execute: boolean): Promise<void> {
     return this.request('text/applyEdit', { edit, execute })
   }
 
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#filewrite) */
+  writeFile(path: Path, contents: TextFileContents): Promise<void> {
+    return this.request('file/write', { path, contents })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#fileread) */
+  readFile(path: Path): Promise<response.FileContents> {
+    return this.request('file/read', { path })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#filecreate) */
+  createFile(object: FileSystemObject): Promise<void> {
+    return this.request('file/create', { object })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#filedelete) */
+  deleteFile(path: Path): Promise<void> {
+    return this.request('file/delete', { path })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#filecopy) */
+  copyFile(from: Path, to: Path): Promise<void> {
+    return this.request('file/copy', { from, to })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#filemove) */
+  moveFile(from: Path, to: Path): Promise<void> {
+    return this.request('file/move', { from, to })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#fileexists) */
+  fileExists(path: Path): Promise<response.FileExists> {
+    return this.request('file/exists', { path })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#filetree) */
+  fileTree(path: Path, depth?: number): Promise<response.FileTree> {
+    return this.request('file/tree', { path, depth })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#filelist) */
   listFiles(path: Path): Promise<response.FileList> {
     return this.request('file/list', { path })
   }
 
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#fileinfo) */
+  fileInfo(path: Path): Promise<response.FileInfo> {
+    return this.request('file/info', { path })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#filechecksum) */
+  fileChecksum(path: Path): Promise<response.FileChecksum> {
+    return this.request('file/checksum', { path })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#vcsinit) */
+  vcsInit(root: Path): Promise<void> {
+    return this.request('vcs/init', { root })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#vcssave) */
+  vcsSave(root: Path, name?: string): Promise<response.VCSCommit> {
+    return this.request('vcs/save', { root, name })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#vcsstatus) */
+  vcsStatus(root: Path): Promise<response.VCSStatus> {
+    return this.request('vcs/status', { root })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#vcsrestore) */
+  vcsRestore(root: Path, commitId?: string): Promise<response.VCSChanges> {
+    return this.request('vcs/restore', { root, commitId })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#vcslist) */
+  vcsList(root: Path, limit?: number): Promise<response.VCSSaves> {
+    return this.request('vcs/list', { root, limit })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextcreate) */
+  createExecutionContext(contextId?: ContextId): Promise<response.ExecutionContext> {
+    return this.request('executionContext/create', { contextId })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextdestroy) */
+  destroyExecutionContext(contextId: ContextId): Promise<void> {
+    return this.request('executionContext/destroy', { contextId })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextfork) */
+  forkExecutionContext(contextId: ContextId): Promise<response.ExecutionContext> {
+    return this.request('executionContext/fork', { contextId })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextpush) */
+  pushExecutionContextItem(contextId: ContextId, stackItem: StackItem): Promise<void> {
+    return this.request('executionContext/push', { contextId, stackItem })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextpop) */
+  popExecutionContextItem(contextId: ContextId): Promise<void> {
+    return this.request('executionContext/pop', { contextId })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextrecompute) */
+  recomputeExecutionContext(
+    contextId: ContextId,
+    invalidatedExpressions?: 'all' | string[],
+    executionEnvironment?: ExecutionEnvironment,
+  ): Promise<void> {
+    return this.request('executionContext/recompute', {
+      contextId,
+      invalidatedExpressions,
+      executionEnvironment,
+    })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextinterrupt) */
+  interruptExecutionContext(contextId: ContextId): Promise<void> {
+    return this.request('executionContext/interrupt', { contextId })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextsetexecutionenvironment) */
+  setExecutionEnvironment(
+    contextId: ContextId,
+    executionEnvironment?: ExecutionEnvironment,
+  ): Promise<void> {
+    return this.request('executionContext/setExecutionEnvironment', {
+      contextId,
+      executionEnvironment,
+    })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextexecuteexpression) */
+  executeExpression(
+    visualizationId: Uuid,
+    expressionId: ExpressionId,
+    visualizationConfig: VisualizationConfiguration,
+  ): Promise<void> {
+    return this.request('executionContext/interrupt', {
+      visualizationId,
+      expressionId,
+      visualizationConfig,
+    })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextattachvisualization) */
+  attachVisualization(
+    visualizationId: Uuid,
+    expressionId: ExpressionId,
+    visualizationConfig: VisualizationConfiguration,
+  ): Promise<void> {
+    return this.request('executionContext/attachVisualization', {
+      visualizationId,
+      expressionId,
+      visualizationConfig,
+    })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextdetachvisualization) */
+  detachVisualization(
+    visualizationId: Uuid,
+    expressionId: ExpressionId,
+    executionContextId: ContextId,
+  ): Promise<void> {
+    return this.request('executionContext/detachVisualization', {
+      visualizationId,
+      expressionId,
+      executionContextId,
+    })
+  }
+
+  /** [Documentation](https://github.com/enso-org/enso/blob/develop/docs/language-server/protocol-language-server.md#executioncontextmodifyvisualization) */
+  modifyVisualization(
+    visualizationId: Uuid,
+    visualizationConfig: VisualizationConfiguration,
+  ): Promise<void> {
+    return this.request('executionContext/modifyVisualization', {
+      visualizationId,
+      visualizationConfig,
+    })
+  }
+
   dispose() {
     this.client.close()
   }
 }
 
 export function computeTextChecksum(text: string): Checksum {
-  const hash = new SHA3(224)
-  hash.update(text)
-  return hash.digest('hex') as Checksum
+  return new SHA3(224).update(text).digest('hex') as Checksum
 }