Bugs item #634379, was opened at 2002-11-06 13:41
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=634379group_id=8032
Category: Compiler (Type checker)
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Antti-Juhani Kaijanaho (ajk)
I'm not actually sure whether this is a bug, but if it isn't,
could someone please enlighten me about what is going on?-)
[the following is a simplified version of a problem with instances
generated by Drift, for Strafunksi, where T would be the Drift
target, C would be Term, and expl(ode)
| What I don't understand, however, is why adding that extra
| constraint helps in any way? Shouldn't the addition of new
| things in the context only make more options available? Why
| does it make some of the existing, amgibuous options go away?
With the extra constraint, the instance decl can
| What I don't understand, however, is why adding that extra
| constraint helps in any way? Shouldn't the addition of new
| things in the context only make more options available? Why
| does it make some of the existing, amgibuous options go away?
With the extra constraint, the instance
| Yes, but isn't that an implementation problem surfacing at the
| language level? All the dictionaries needed to delay the decision to
| the point of use could also be made available when compiling the
| original program, no? After all, that's the reason why there's an
| ambiguity in the first
