C***@data61.csiro.au
2016-09-15 10:34:00 UTC
Hi all,
As far as I can tell, I seem to have run into an issue with the datatype
package. After slightly increasing the complexity of an existing
datatype I get a 'Proof failed' error message.
The problematic datatype is
datatype ('s, 'p) test' =
Test' "(('s, 'p) test' à 's set à 's set) list"
Cheers,
Corey
As far as I can tell, I seem to have run into an issue with the datatype
package. After slightly increasing the complexity of an existing
datatype I get a 'Proof failed' error message.
The problematic datatype is
datatype ('s, 'p) test' =
Test' "(('s, 'p) test' à 's set à 's set) list"
Cheers,
Corey