Re: [isabelle] adhoc_overloading removes type constraints



Hi Dominique,

Am 19.05.2019 um 21:47 schrieb Dominique Unruh:
> in the following theory, the term "overload [] :: bool list" is parsed
> as "overload [] :: 'a list". It seems there is some accidental erasure
> of the type constraint in the adhoc overloading mechanism.

Thanks for reporting this. I can see where Adhoc_Overloading discards
the type information here. I'll see if I can fix this.

> By the way, I would like to check whether this mailing list is the right
> place for sharing this kind of reports.
Absolutely.

Alex




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.