Lîm Tsú-thuàn comments

Results 220 comments of


                                            Lîm Tsú-thuàn

LFX Workspace: Component Model's Validator

@sridamul Any update?

LFX Workspace: Component Model's Validator

@sridamul Any update about final two weeks?

🍛 Curry the API (more)

Do you mean ```ocaml val _ : Trie.path -> (Param.data * Param.tag) -> unit ``` or ```ocaml val _ : Trie.path -> Param.data -> Param.tag -> unit ``` I'm working...

[WASI] preview2 plugins, resource type instantiation, and related types export from plugin

TEST FILE: https://github.com/second-state/component-model-tests/tree/main/add With these components, instantiation now stuck at `[warning] incomplete alias sort target export: type`. There is an assertion failure: `Assertion failed: (Func->isHostFunction()), function exportFunction, file module.h, line...

Feature Request: Highlight Test Coverage

Do you mean the functionality describe in https://docs.racket-lang.org/plait/testing-tutorial.html?

Feature Request: Highlight Test Coverage

Make sense, @gordoncyu you can also open this request to https://github.com/Eugleo/magic-racket.

fix(validator): enforce subtyping depth limit during validation

@PhantomInTheWire can you rebase and remove merge commits?

fix(validator): enforce subtyping depth limit during validation

I suggest don't add error code to avoid collision from others proposals, instead, you can print more to stderr.

Lint same equals, e.g (equal? foo foo)

We expect that should be supported by DrRacket first, then this project uses that result. For example, unused variable is use DrRacket's `no bound occurrences`.

Lint same equals, e.g (equal? foo foo)

Do anyone know how to use resyntax as library?