Extract server concept from current complicated msg-io interaction

[dannypsnl]

Extract server concept from current complicated msg-io interaction, so we don't need to use message flushing in testing.

1. Introduce a layer server% with an async channel ch
   • output will be sent to ch
   • server request also sent to ch
   • tests/client.rkt will not create subprocess but interact with server via async channel now (no need msg-io)
2. Modify main.rkt to work with server abstraction (now main loop is the only place flush message)
3. Update related tests

resolve #157

[6cdh]

The two hash tables are literally same.

It seems chk library issues. We can replace it with rackunit, use rackunit-lib in info.rkt.

[dannypsnl]

Now only leave hover.rkt has bug, I will check how to fix it tomorrow

[dannypsnl]

The two hash tables are literally same.

It seems chk library issues. We can replace it with rackunit, use rackunit-lib in info.rkt.

Yes, I think we should remove chk library in the future, just make a note here first.

[dannypsnl]

ok, hover is not always failed, because the refactoring we make test be fast enough, doc analyze might not complete in this case……

[dannypsnl]

success case:

raco test: (submod (file "tests/textDocument/hover.rkt") test)
'#hasheq((jsonrpc . "2.0") (method . "textDocument/publishDiagnostics") (params . #hasheq((diagnostics . ()) (uri . "file:///test.rkt"))))
'#hasheq((id . 2) (jsonrpc . "2.0") (result . #hasheq((contents . "imported from racket/base - [online docs](https://docs.racket-lang.org/reference/pairs.html#%28def._%28%28quote._%7E23%7E25kernel%29._list%29%29)\n\n---\n```\n(list v ...) -> list?\n  v : any/c\n```\n---\nReturns a newly allocated list containing the *v*s as its elements.\n\nExamples:\n\n```\n> (list 1 2 3 4)\n'(1 2 3 4)\n> (list (list 1 2) (list 3 4))\n'((1 2) (3 4))\n```\n\n") (range . #hasheq((end . #hasheq((character . 5) (line . 2))) (start . #hasheq((character . 1) (line . 2))))))))

failed case:

raco test: (submod (file "tests/textDocument/hover.rkt") test)
'#hasheq((jsonrpc . "2.0") (method . "textDocument/publishDiagnostics") (params . #hasheq((diagnostics . ()) (uri . "file:///test.rkt"))))
'#hasheq((id . 2) (jsonrpc . "2.0") (result . #hasheq((contents . ""))))
FAILURE
kind      : "predicate"
predicate : #<procedure:identity>
actual    : #f
            from
            <pkgs>/racket-langserver/tests/textDocument/hover.rkt:35:13: (not (string=? "" (jsexpr-ref resp '(result contents))))
value     : #f
predicate : "not false"

FAILURE
kind      : "predicate"
predicate : #<procedure:identity>
actual    : #f
            from
            <pkgs>/racket-langserver/tests/textDocument/hover.rkt:37:13: (jsexpr-has-key? resp '(result range start line))
value     : #f
predicate : "not false"

FAILURE
kind      : "predicate"
predicate : #<procedure:identity>
actual    : #f
            from
            <pkgs>/racket-langserver/tests/textDocument/hover.rkt:38:13: (jsexpr-has-key? resp '(result range start character))
value     : #f
predicate : "not false"

FAILURE
kind      : "predicate"
predicate : #<procedure:identity>
actual    : #f
            from
            <pkgs>/racket-langserver/tests/textDocument/hover.rkt:39:13: (jsexpr-has-key? resp '(result range end line))
value     : #f
predicate : "not false"

FAILURE
kind      : "predicate"
predicate : #<procedure:identity>
actual    : #f
            from
            <pkgs>/racket-langserver/tests/textDocument/hover.rkt:40:13: (jsexpr-has-key? resp '(result range end character))
value     : #f
predicate : "not false"

--------------------
ERROR
name:       check-equal?
location:   tests/textDocument/hover.rkt:41:8

hash-ref: no value found for key
  key: 'range
--------------------
--------------------
ERROR
name:       check-equal?
location:   tests/textDocument/hover.rkt:42:8

hash-ref: no value found for key
  key: 'range
--------------------
--------------------
ERROR
name:       check-equal?
location:   tests/textDocument/hover.rkt:43:8

hash-ref: no value found for key
  key: 'range
--------------------
--------------------
ERROR
name:       check-equal?
location:   tests/textDocument/hover.rkt:44:8

hash-ref: no value found for key
  key: 'range
--------------------

[dannypsnl]

I don't see reasonable fix for hover.rkt, the rest functionality seems work exact as desired. If no other solutions, we can disable hover.rkt for now.

The test client still not prefect, in the future we should gradually change it (e.g. client-wait-response should take an argument id to skip responses with unexpected id)

[dannypsnl]

This is not the best way, but parameterize cannot make check-syntax.rkt use this.

Maybe the complete refactoring should put every methods into server%?