links

links copied to clipboard

The `RoundtripPrinter` (which is the default printer) displays the list of arguments of a function type in the wrong order: in the following code, ```links sig f : ((), (),...

rajdakin

The `exit` Links function is unsound

1

The `exit` function is unsound. The three following programs run in the interpreter: ``` exit([]) + 1;; # Returns [] : Int exit(1) :: ['c'];; # Returns 1 : [Char]...

rajdakin

Still wrapping my head around Links' codebase but I felt this way of doing things was not too obtuse. I saw there was an effort to bootstrap lib so if...

yung-turabian

The CI is currently broken as it fails to install the dependency `pcre` (c.f. [this log](https://productionresultssa10.blob.core.windows.net/actions-results/885cd61d-19b5-4de3-96b8-83486f27f61e/workflow-job-run-a53b04f7-cb95-59a0-0dcb-3a88c68b5d4c/logs/job/job-logs.txt?rsct=text%2Fplain&se=2025-01-13T12%3A24%3A28Z&sig=e8snYGKBGw%2BXt7Cf6CXCRKCfFS%2BfgYKmT5RMLjy3c%2F4%3D&ske=2025-01-13T21%3A55%3A08Z&skoid=ca7593d4-ee42-46cd-af88-8b886a2f84eb&sks=b&skt=2025-01-13T09%3A55%3A08Z&sktid=398a6654-997b-47e9-b12b-9515b896b4de&skv=2024-11-04&sp=r&spr=https&sr=b&st=2025-01-13T12%3A14%3A23Z&sv=2024-11-04)). The installation segmentation faults.

dhil