Asher Frost
Asher Frost
I am interested in working on this issue
On second thought probably a good idea 😅
Ok, I'm going to try fixing this now
I have one already prepared, I'll share it and the corresponding error when I get home
``` trait Collection[t] { type Elm pub def empty(): t pub def insert(x: Collection.Elm[t], c: t): t pub def toList(c: t): List[Collection.Elm[t]] } mod TestA { pub enum Term with...
Some more thoughts 1. Should probably be something like the C [API](https://www.gnu.org/software/guile/manual/guile.html#Overview-of-the-Guile-API) to Guile, where we replace each symbol with a given textual equivalent, and append something, I think `op`...
I would like to work on this issue!
> Do we have an example program where this happens? or is this more of a theoretical concern? I'll see if I can find a case where this does (or...
Upon further consideration, I couldn't think of a function (let alone use) that would have a univeral exclusion. It is possible there is a case I'm not considering, because there...
I would like to fix this :)