Commit Graph

209 Commits

Author SHA1 Message Date
Ara Adkins
2edede781d
Update workflow to exclude on push 2020-03-24 19:51:05 +00:00
Ara Adkins
45863a611e
Update docs with new CI info 2020-03-24 19:48:53 +00:00
Ara Adkins
0a7b55ca66
Swap CI to GitHub actions (#622) 2020-03-24 19:35:42 +00:00
Ara Adkins
310d3ce617
Add a basic checkout action 2020-03-24 12:53:45 +00:00
Ara Adkins
a319a0177f
Add a basic GH actions workflow (#620) 2020-03-24 12:52:02 +00:00
Łukasz Olczak
b2f67c5353
project/create and project/delete methods (#615) 2020-03-24 13:03:43 +01:00
Ara Adkins
2c1d967dd6
Extract remaining analyses from codegen (#616) 2020-03-24 10:28:03 +00:00
Dmitry Bushev
6f8d3b73bb
test: wait for FileManager init (#617) 2020-03-23 21:37:11 +03:00
Ara Adkins
b6221e519a
Implement explicit alias analysis (#613) 2020-03-20 08:01:03 +00:00
Dmitry Bushev
1910498524
Add file/list filemanager command (#612)
* feat: impl file/list

* test: warmup zio executor
2020-03-19 18:40:23 +03:00
Marcin Kostrzewa
ed7c7c75f9
Execution context management (#611) 2020-03-19 12:29:11 +01:00
Dmitry Bushev
4864d2623f
Refactor FileManager file commands (#609)
* refactor: create Config.scala

* WIP FileSystemHandler

* doc: update FileSystem list

* add: zio FileSystem

* update: FileSystemHandler runAsync

* add: config timeouts

* rename FileSystemHandler to FileSystemManager

* add: ZioExec

* add: FileManager router

* fix: FileManager return FileWiteResult

* update: FileSystemApi interface

* refactor: FileSystem with Zio

* impl: FileManager

* impl: cleanup LanguageServer

* impl: ReadFileHandler

* impl: CreateFileHandler

* impl: DeleteFileHandler

* impl: CopyFileHandler

* impl: MoveFileHandler

* impl: ExistsFileHandler

* impl: TreeFileHandler

* fix: filemanager tests

* misc: cleanup

* fix: BufferRegistry tests

* doc: add misc

* doc: misc

* feat: add ZioExec parameter to FileManager

* feat: FileManager uses FileSystemApi interface

* feat: FileSystem has blocking semantics

* feat: FileManager props
2020-03-19 13:47:08 +03:00
Łukasz Olczak
2863498da3
Scaffold the Project Manager (#610) 2020-03-18 11:41:55 +01:00
Ara Adkins
530d54bce0
Fix a few things in CONTRIBUTING.md 2020-03-17 10:06:47 +00:00
Michał Wawrzyniec Urbańczyk
ad806e7a81
Fix for Parser Giving Ids (#595) 2020-03-13 18:20:52 +01:00
Dmitry Bushev
b5010d65c7
Add file/tree message for language server (#585)
* feat: impl FileSystem tree

* impl: conversion to DirectoryTree

* refactor: rename Path RelativePath

* WIP path encoding

* feat: add SystemPath encoding

* misc: fetch master

* doc: update engine-services

* refactor: rename SystemPath

* doc: cleanup

* test: fix json ordering

* test: fix symlink target

* test: fix unclosed source

* test: fix windows

* misc: cleanup

* doc: typo

* feat: follow symlinks

* feat: detect symlink loops

* refactor: rename RelativePath to Path

* feat: extend FileSystmObject api

* doc: update engine-services

* feat: add path to Other file system object

* test: fix windows

* refactor: remove TreeSet

* feat: DirectoryTree files filter directories

* feat: add NotDirectory error

* refactor: readDirectoryEntry

* feat: SymlinkLoop contains target to the loop

* refactor: DirectoryTree conversion

* feat: tailrec tree algorithm

* misc: cleanup

* misc: remove redundant if branch

Co-authored-by: Łukasz Olczak <lukasz.jan.olczak@gmail.com>
2020-03-13 19:41:57 +03:00
Josef
ed1a37f902
Fix parsing of metadata. (#604) 2020-03-13 12:34:38 +01:00
Marcin Kostrzewa
4b3943ce9b
Create a server instrument for language server <> runtime communications (#602) 2020-03-12 18:32:21 +01:00
Łukasz Olczak
7a1b333f2c
'text/save' method (#601) 2020-03-12 16:27:47 +01:00
Josef
c2df4e7957
Store idmap with metadata in source file. (#586) 2020-03-11 21:13:23 +01:00
Łukasz Olczak
004f73c649
text/applyEdit method (#598) 2020-03-11 17:55:07 +01:00
Ara Adkins
a96bae69fc
Remove rustfmt 2020-03-11 13:39:11 +00:00
Ara Adkins
96eee6ac1a
Remove unnecessary holdout from rust 2020-03-11 11:12:16 +00:00
Maciej Mikołajek
471c8aebe6
Add documentation for Documentation Parser (#596)
* Add documentation for DocParser

* Edit the documentation of the doc comment syntax

Co-authored-by: Ara Adkins <me@ara.io>
2020-03-10 16:18:59 +01:00
Michał Wawrzyniec Urbańczyk
22c431c796
Parser Attaching Ids to Expressions (#577)
This PR makes two changes:
1. parser will give IDs to nodes' expressions (unless already set);
2. `ASTOf.equals` will not compare IDs

Both were already agreed to and implemented as part of `wip/mwu/graph-syntax` branch (though 1. in quite different shape). However, it was abandoned after Rust was selected as the technology for IDE "backend". Now, as we are reimplementing double representation in Rust we need parts of the technology back in the parser.

Prerequisite for https://github.com/luna/ide/issues/186.
Implements https://github.com/luna/ide/issues/228.
2020-03-09 15:49:04 +01:00
Ara Adkins
cc98f15ee8
Update the bug report template 2020-03-09 13:51:28 +00:00
Ara Adkins
ac5a9eb639
Add a --version flag to the cli (#584) 2020-03-09 13:44:40 +00:00
Dmitry Bushev
7b17e7e789
Add file/move message to language server (#574)
* feat: impl Ws MoveFile

* doc: update engine-services

* misc: run scalafmt

* test: add more

* fix: rebase

* test: add missing cases

* misc: run scalafmt

* test: update
2020-03-09 14:26:10 +03:00
Dmitry Bushev
22f505b6c4
Add file/exists message to language server (#579)
* feat: impl file/exists

* doc: update engine-services

* doc: wrap 80
2020-03-09 13:54:44 +03:00
Łukasz Olczak
31d5e6eb5b
text/closeFile method (#583) 2020-03-06 19:14:50 +01:00
Marcin Kostrzewa
10539fcc27
Add a CI check of artifact validity (#582) 2020-03-06 17:32:57 +01:00
Ara Adkins
23d33c4438
Desugar operators to functions (#581) 2020-03-06 15:23:39 +00:00
Łukasz Olczak
e5530045bf
text/openFile method (#575) 2020-03-06 15:17:46 +01:00
Ara Adkins
9913915fd9
Mention the hsdis library in CONTRIBUTING.md 2020-03-06 13:47:17 +00:00
Rostyslav Zatserkovnyi
dfb4ec43ac
Update GraalVM to 20.0.0 (#576) 2020-03-06 13:40:29 +00:00
Maciej Mikołajek
e7167bfc95
Update README.md and CONTRIBUTING.md (#580) 2020-03-06 12:02:19 +00:00
Maciej Mikołajek
b332cdd433
Update readme (#578) 2020-03-06 10:09:54 +00:00
Dmitry Bushev
2275a97233
Add file/copy message to language server (#570)
* feat: impl file/copy command

* test: add Ws tests

* doc: update engine-services

* misc: run scalafmt

* test: exists

* test: typo

* fix: impl missing test cases
2020-03-05 19:18:20 +03:00
Marcin Kostrzewa
f1c4ee8140
Execution API spec (#572)
Co-Authored-By: Ara Adkins <iamrecursion@users.noreply.github.com>
2020-03-05 15:25:57 +01:00
Ara Adkins
02286b6ce8
Update CI images (#573) 2020-03-05 10:30:27 +00:00
Dmitry Bushev
a712288aad
Add file/delete message (#568)
* impl: file/delete

* add: tests

* doc: update engine-services

* misc: remove irrelevant comment

* test: address review comments

* Revert "misc: remove irrelevant comment"

This reverts commit a89a5505db59407a6ce7a8e8ab8e274ec0ee8f3f.

* test: exists
2020-03-04 16:43:35 +03:00
Łukasz Olczak
8bf56f5e6d
Artefact Builds for the Language Server (#566) 2020-03-03 14:11:42 +01:00
Marcin Kostrzewa
da392ff26f
Split tests & select random port 2020-03-03 11:16:17 +01:00
Ara Adkins
fa845ee4c6
Convert the compiler pipeline to scala (#563) 2020-03-02 12:33:28 +00:00
Marcin Kostrzewa
5628752271
Rope data structure (#561) 2020-02-28 14:17:48 +01:00
Łukasz Olczak
0b22606fa1
File and directory creation for LS (#560) 2020-02-28 10:37:42 +00:00
Łukasz Olczak
fe471314ec
File Reads for the Language Server (#559)
File Reads for the Language Server
2020-02-26 18:03:14 +01:00
Michał Wawrzyniec Urbańczyk
75127d07b9
Fixed nested serialization on the parser service request format. (#558) 2020-02-26 14:32:05 +01:00
Łukasz Olczak
016602972f
File write feature. (#557)
Provides writing to a file capability. It writes a textual content to an arbitrary file.
2020-02-25 14:38:48 +01:00
Josef
083fa0e4a5
Pass id map to parser calls. (#556) 2020-02-25 13:11:20 +01:00