coalton-lang/coalton

AI Summary: The task is to modify the Coalton compiler to generate `case` statements instead of `cond` statements when matching on data types defined with `(repr :enum)`. This requires careful handling of pattern matching features like captures and wildcards to ensure correctness. The change should improve the efficiency and readability of the generated code.

AI Summary: Update the Coalton type class design document to reflect a recent change: the ability to add constraints to type class method signatures. This involves describing the new syntax, providing rationale, and potentially adding examples.

AI Summary: Create a glossary defining key terms used in the Coalton programming language, highlighting the differences between Coalton's terminology and that of Common Lisp, where overlap exists. The glossary should clarify terms like "class" and "instance" in both contexts.

AI Summary: The task is to modify the Coalton compiler to change the behavior of the `tryInto` function. Instead of returning string error messages on failure, it should return an `Optional` type, improving performance and aligning with common practices for handling potential errors. This involves modifying the compiler's internal type handling and potentially updating related documentation and tests.

AI Summary: The task is to remove the `Num` instance for the `Optional` type in the Coalton programming language. This involves identifying all uses of this instance, assessing their impact, and then removing the instance definition and updating any affected code to handle the absence of this functionality. The goal is to improve the overall clarity and reduce confusion for users.

AI Summary: Implement `TryInto` instances in Coalton to convert floating-point numbers (floats and doubles) to the `Fraction` type, handling potential `NaN` and infinity values gracefully. This involves adding new functions to Coalton's standard library that safely perform the conversion, potentially returning an error or a special value in case of `NaN` or infinity.

AI Summary: Add a section about the `rec` keyword to the 'Intro to Coalton' documentation, including illustrative examples of its usage.

AI Summary: The task involves updating the Continuous Integration (CI) pipeline for the Coalton project to use the latest version of the SBCL (Steel Bank Common Lisp) compiler. This likely requires modifying the CI configuration files (e.g., YAML or similar) to specify the new SBCL version and potentially adjusting any scripts or commands that depend on specific SBCL features or behaviors.

AI Summary: The Coalton test suite produces several Common Lisp warnings related to symbol shadowing, structure redefinition, and class modification. The task is to investigate and resolve these warnings to improve the robustness and cleanliness of the test suite.

AI Summary: Modify the Coalton documentation generation process to prevent the inclusion of unexported constructors in the automatically generated reference documentation. This involves identifying the mechanism for generating the documentation, determining how to filter out unexported constructors, and updating the process to reflect this change.

AI Summary: The task is to improve the performance of Coalton's release mode by inlining the `defstruct` readers generated for Algebraic Data Types (ADTs). This involves modifying the Coalton compiler's code generation to include `cl:inline` declarations for these reader functions in the generated Lisp code.