Andrea O'Gara (Nov 08 2023 at 02:37): Andrea O'Gara (Nov 08 2023 at 02:37):I'm currently working on adding a new rule that requires negating an integer, and after looking through the isle prelude, was only able to find i64_neg, which is not particularly helpful since I'm starting from an i8, and can't cast up to i64 with the built-in x_as_y functions. Is this a situation where adding to the prelude is appropriate, or is there a better solution?
Notification Bot (Nov 08 2023 at 22:38):Andrea O'Gara has marked this topic as resolved.
Last updated: Dec 23 2024 at 12:05 UTC