Ting-gian LUA

New option for customizing `testPaths`

2

This commit adds a new option `transformTestPaths: [FilePath] -> [FilePath]` to `createRunner`, which allows users to map the origin given paths `["./spec"]` to whatever paths they want. This is particularly...

People would actually use the releases on Hackage (see #7), we should automate this process when releasing new versions

Prebuilt language server on Ubuntu is reportedly having some linking problems (see https://github.com/banacorn/agda-mode-vscode/issues/68#issuecomment-938044062). We should bundle DLLs on Ubuntu like we do on Windows and [macOS](https://github.com/banacorn/agda-language-server/issues/5)

As titled, here's a minimal file for reproducing it: ```agda a = (?) ```

Write tests

2

## To-do - [x] setup testing environment - [x] [customize testing suite](https://github.com/atom/atom/pull/8968) (arguably the most difficult part, screw Jasmine, now we use [Mocha](mochajs.org)) - [x] continuous integration - [x] hook...

Syntax Highlighting

6

- ~~General Syntax Highlighting~~ (by [language-agda](https://atom.io/packages/language-agda)) - Custom Syntax Highlighting (generated dynamically by Agda per source)

Language-agnostic syntax highlighter?

1

I'm wondering if it's possible to make this extension language-agnostic, and let those tree-sitter grammars be standalone extensions. So that users can choose which language they want to highlight by...

How to report "lexical" errors?

3

I'm building a parser that accepts custom token stream. I've made [TokenStream](http://hackage.haskell.org/package/lexer-applicative-2.1.0.2/docs/Language-Lexer-Applicative.html#t:TokenStream) (from `lexer-applicative`) an instance of `Stream` ```haskell instance Stream (TokenStream (L tok)) where ``` And that's wonderful, everything...

bundle should prefer or solely rely on locally installed typings

1

### Description Original thread: **Typings install hangs** https://github.com/typings/typings/issues/537#issuecomment-223796965 The problem arises from the need to resolve dependencies from the Internet when bundling. @unional argues that: > I just wonder what...

`Fs.createWriteStreamOptions` returns wrong type

1

`Fs.createWriteStreamOptions` should return something of `createWriteStreamOptions` instead of `createReadStreamOptions` https://github.com/sikanhe/reason-nodejs/blob/b7b41349f85665d6cd7fc76a170229428e7ec94c/src/Fs.re#L500-L512