Re: [isabelle] Isabelle2014-RC1 available for testing
On 28.07.2014 10:40, René Thiemann wrote:
I observed a problem with datatype_new which was not present in Isabelle2014-RC0
It should be fixed in the release repository and thus in the next RC:
For RC0, marking 'q explicitely as dead (which it is anyway) might help:
datatype_new (dead 'q,'f) foo = Bar 'f "'q list" "('q,unit)com"
Thanks! Next time, however, you should not waste your time by bisecting,
whenever we break something in the BNF package. Usually, we are aware of
the recent changes and can identify the culprits very fast.
A hg bisect delivers f9dd8a33f820 as first problematic revision.
Sorry for the inconvenience and thanks a lot for the report.
This archive was generated by a fusion of
Pipermail (Mailman edition) and