links
links copied to clipboard
links-lang
Links: Linking Theory to Practice for the Web
Related to #766. If we name every handler definition, then we should also give each name a suitable type. At the moment the type of a handler definition is not...
Current behaviour is to expose the SessionFail effect by default, but it's such a pain that it would be better to have it off as the default behaviour.
This is on Mac OSx, experienced by a student trying to do a project using Links and replicated by me. After installing OPAM, OCaml and Links, we can run Links...
In the parameterised effect handlers patch it is currently not possible to add type annotations to parameterised resumptions. The following program illustrates the bug ``` > fun(m) { handle(m())(true ->...
This small patch updates the `links.opam` file as generated by the specification in `dune-project`. Note the changes are generated by `dune`.
This patch makes it possible to annotate effectful operations at the term-level. Type annotations are crucial when operations are polymorphic. Prior to this patch, it was only possible to annotate...
The cancellation mechanism of session exceptions causes the runtime/evaluator to hang indefinitely in some cases when the context to be cancelled closes over a captured continuation. The following example triggers...
This PR: - removes some `ignore` lines in the tests file for tests that are now passing; - fixes some tests; - moves the dependency chasing to the loader (as...
The following code: ``` sig f : Comp({}, Bool) fun f() { () } ``` fails with the error: ``` :0: Kind mismatch: Type argument 1 for type constructor Comp...
This PR fixes #1210 and the order of the `fn_params` member of the function descriptor. The implementation of this fix adds a string map which has a different `compare` function:...