Re: [isabelle] adhoc_overloading removes type constraints
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and