Merge #215

215: Add Travis Windows build r=matklad a=phansch

This adds the Windows build to Travis.

I had to use the `dos2unix` utility on the parser directory to fix some incorrect
line endings. I'm not sure where they are coming from but I guess git is
converting them automatically when cloning on Windows.

Closes #139

Co-authored-by: Philipp Hansch <dev@phansch.net>

Merge #227

227: Correctly map between UTF-8 and UTF-16 positions r=aochagavia a=aochagavia

Fixes #202

Co-authored-by: Adolfo Ochagavía <github@adolfo.ochagavia.xyz>
Co-authored-by: Adolfo Ochagavía <aochagavia92@gmail.com>

cargo format

Rename col to col_utf16

Support UTF-16 chars in LineIndex

Merge #203

203: Add roadmap r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Co-authored-by: Adolfo Ochagavía <github@adolfo.ochagavia.xyz>

Merge #226

226: Validate byte literals and byte strings r=aochagavia a=aochagavia

Co-authored-by: Adolfo Ochagavía <aochagavia92@gmail.com>

Split string lexing and run rustfmt

Validate byte string literals

Add validator for byte

Fix typos

Merge #222

222: Validate string literals r=aochagavia a=aochagavia

Related: #6 (some validators are still missing), fixes #27

Co-authored-by: Adolfo Ochagavía <github@adolfo.ochagavia.xyz>

Validate string literals

Merge #221

221: Fix on enter r=matklad a=aochagavia

Fixes #219

Co-authored-by: Adolfo Ochagavía <aochagavia92@gmail.com>

Fix on enter

Fix the test

workspace-symbols function for Emacs

eglot worksapce symbol

Merge #217

217: Complete paths in use trees r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Complete paths in use trees

Do more work in classify

Use cached module scopes for completion

split completion mod

reorganize completion

Remove AppVeyor

Only build windows on master and allow failure

The Windows build is much slower than Linux, so we only build it on master
and make the build status not depend on it finishing up.

rename module source

rename ROOT -> SOURCE_FILE

Rename File -> SourceFileNode

Cargo update

Rustfmt to pass CI

Remove unused variable

Show documentation for hover requests

Add some more DocCommentsOwner

Add Travis Windows build

Merge #207

207: Finish implementing char validation r=aochagavia a=aochagavia

The only thing missing right now are good integration tests (and maybe more descriptive error messages)

Co-authored-by: Adolfo Ochagavía <github@adolfo.ochagavia.xyz>

Fix backslash escape

Use ArrayString instead of hand rolled data structure

cargo format

Add lots of tests

Store hex digits in a stack-allocated buffer

Merge #213

213: remove the last changing file from cache r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

remove the last changing file from cache

Merge #212

212: evitct more stuff from cache r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

evitct more stuff from cache

Merge #211

211: ra_syntax::File is just RootNode r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

ra_syntax::File is just RootNode

Merge #210

210: cleanup cahces more aggressively r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

cleanup cahces more aggressively

Merge #209

209: Owned nodes r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Add a pinch of comments

Generalize Owned nodes

Merge #208

208: grammar: fix where clause parsing r=matklad a=matklad

closes #205

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

grammar: fix where clause parsing

closes #205

upstream basic tree algorithms to rowan

Finish implementing char validation

Clarifications and formatting

Add roadmap

new discord

Merge #199

199: Use closing paren as a trigger character r=matklad a=kjeremy

This seems counter-intuitive based on the concept of "trigger character" but it provides a better function signature experience.

Co-authored-by: Jeremy A. Kolb <jkolb@ara.com>

Use closing paren as a trigger character

This seems counter-intuitive based on the concept of "trigger character"
but it provides a better function signature experience.

Merge #188

188: Introduce `SyntaxErrorKind` and `TextRange` to `SyntaxError` r=matklad a=aochagavia

Co-authored-by: Adolfo Ochagavía <aochagavia92@gmail.com>
Co-authored-by: Adolfo Ochagavía <github@adolfo.ochagavia.xyz>

cargo format

Introduce Location and make SyntaxError fields private

bring back testutils

add description

Switch ra_syntax to 2015 edition

Introduce var works with tail exprs

Merge #194

194: Introduce FilePosition r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Use FilePosition everywhere

rename Position to FilePostion

don't send backtraces for canceled requests

Merge #193

193: Inline modules r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Fully add inline modules to module tree

Submodule is enum

collect all submodules

submodules works with module sources

use module_for_source

Introduce modules_from_source fn

reduce code duplication

Merge #192

192: grammar: for predicates in where r=matklad a=matklad

closes #191

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

grammar: for predicates in where

closes #191

Introduce SyntaxErrorKind and TextRange in SyntaxError

Merge #184

184: Basic validation for character literals r=aochagavia a=aochagavia

As part of #27 I would like to add a validator for characters that detects missing quotes and too long characters. I set up a dummy implementation to get my feet wet, which generates errors whenever it finds a character.

Right now I have the following questions:

1. The `SyntaxError` type seems too basic to me. I think it would make sense to have a `SyntaxErrorKind` instead of a `msg` field (we can implement `Display` for it so you can generate the string if desired). It should also have a `TextRange` instead of a `TextUnit`, so you can support errors that are longer than one character. Do you agree?
1. I am manually checking whether the literal is a character (see the `is_char` method). Ideally, I would like to have a `LiteralKind` enum with variants like `Int`, `Float`, `Char`, `String`, etc. but it seems cumbersome to write all that by hand. Is there a way to specify this in `grammar.ron` so that the code is generated (the same way the `Expr` enum is generated)?

By the way, there seems to be no error reporting of panics inside the language server. When I was developing this PR I accidentally introduced a panic, which resulted in no syntax errors being shown. I knew something was wrong, because normally the vscode highlights syntax errors, but I didn't know it was caused by a panic.

Co-authored-by: Adolfo Ochagavía <aochagavia92@gmail.com>

Add character literal parsing and validation

Merge #187

187: Use Default everywhere r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Use Default everywhere

Don't order import alphabetical

alphabetical ordering is no more consistent, and much less useful then
the ordering which arises naturally when you add import.

Dead code

Merge #183

183: update salsa r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

update salsa

Some docs

Merge #182

182: Module source r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Add inline source

Introduce ModuleSource

Use From to get an owned AST

Merge #179

179: Remove DOC_COMMENT r=matklad a=kjeremy

Closes #166

Co-authored-by: Jeremy A. Kolb <jkolb@ara.com>

remove SyntaxPtrDatabase

Remove DOC_COMMENT

Closes #166

Fix test