Troupe icon indicating copy to clipboard operation
Troupe copied to clipboard

Troupe programming language

Results 19 Troupe issues
Sort by recently updated
recently updated
newest added

Added following functions to list library: contains filter first slice insert_at_index

It would be convenient for TroupeCheck to have a function that can create a tuple of values, given a list of values

enhancement

This has been spotted by one of the students during LBS 2024 Troupe lecture. We're currently inconsistent when it comes to serializing built-ins. For example, the following is OK ```...

We currently use yarn v1 (aka classic). The main reason why yarn was introduced was to support node-module patches as we were uncovering various networking bugs in the p2p layers....

enhancement
deprecated-libraries

send currently does not raise the blocking label with the level of the value being sent (ditto for the pid). this is likely unsound.

bug

That script has only been tested with several --include statements and does not work with a single --include.

bug
runtime

Currently, on Linux, relay lookup via dns is not working. We're hardcoding the IP address. It'd be good to identify the root of the issue.

bug
runtime

We currently rely on the chalk library to auto detect TTY color support. It'd be good to have an explicit option to control this in the future.

enhancement
good first issue
runtime

At the moment, IR optimizations are disabled, because they introduce semantic bugs that change failure behavior of the programs – programs that fail without optimizations may succeed with them. The...

bug
compiler