Search results

Missing position in kind mismatch (during effect desugaring)

Status: Open.

#1215 In links-lang/links;

· rajdakin opened on Apr 11, 2025

Incorrect arguments printing in Roundtrip printer with at least 10 arguments

bug

Status: Open.

#1210 In links-lang/links;

· rajdakin opened on Mar 24, 2025

The exit Links function is unsound

question

Status: Open.

#1209 In links-lang/links;

· rajdakin opened on Mar 14, 2025

CI fails to install pcre

workflow

Status: Open.

#1205 In links-lang/links;

· dhil opened on Jan 13, 2025

Something wrong with static file serving and/or paths, possibly MacOS dependent

bug

Status: Open.

#1200 In links-lang/links;

· jamescheney opened on Sep 23, 2024

Continuation cancellation hangs

bug

Status: Open.

#1195 In links-lang/links;

· dhil opened on Jul 18, 2024

SPARQL improvements

enhancement

Status: Open.

#1186 In links-lang/links;

· jamescheney opened on Oct 10, 2023

Implement delegatable channels

Status: Open.

#1181 In links-lang/links;

· SimonJF opened on Jun 26, 2023

Untypesettable session types

bug

enhancement

Status: Open.

#1180 In links-lang/links;

· dhil opened on Jun 22, 2023

Recent versions of ppx_sexp_conv cause warnings in lens code

Status: Open.

#1179 In links-lang/links;

· frank-emrich opened on Jun 20, 2023

Restriction of using row polymorphism for the effect system

Status: Open.

#1177 In links-lang/links;

· thwfhk opened on May 24, 2023

Incomplete rows can trigger an internal error

bug

Status: Open.

#1164 In links-lang/links;

· dhil opened on Dec 16, 2022