Edwin Brady
Edwin Brady
I'll take a closer look. At best, this is a bad error message because it hasn't said what the internal name refers to, and because it hasn't said what the...
I don't know if this will help me be organised, but I've added a label that I hope will remind me to investigate!
This is (probably) because `import ... as` doesn't actually do anything yet. Really it should complain about two things: firstly, `import...as` not doing anything yet, and `E.find` not existing. I...
Hmm, it's probably just not propagating the multiplicity to the local definition properly. You probably at least noticed that you can work around this for now with an explicit annotation...
The first two patterns are overlapping - `foo [] []` matches both. If there's overlapping patterns, the clauses aren't definitional equalities, but instead the computational behaviour depends on the case...
There's a few gaps in the gambit back end, and in fact it seems I've introduced a couple more now since moving some of the FFI code to C. I...
I can't reproduce this because you haven't included the full example.
We definitely need a nicer REPL, and proper readline support will help there. I just run via `rlwrap` at the moment. In the end, I think a nicer way to...
I'm a bit scared of this one, although I do kind of like it... I think... maybe if we are going to have it, it should be hidden behind a...
This'd be nice, but would require the normaliser to keep track of a lot of information. I think this is a feature request that's very unlikely to get done, unfortunately....