Cannot convert [] to string

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript

MIT License

8 stars 0 forks source link

Closed ghost closed 10 years ago

ghost commented 10 years ago

Proofscript complains that it cannot do the conversion. However, I can show [] just fine.

theory Bugs
extends root

show string []

phlegmaticprogrammer commented 10 years ago

That's actually fine, because string is a datatype conversion operator, and not for displaying stuff.