Deal with invalid terms

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript

MIT License

8 stars 0 forks source link

Deal with invalid terms #18

Closed phlegmaticprogrammer closed 9 years ago

phlegmaticprogrammer commented 10 years ago

The code mentioned in issue #17 can lead to terms which are invalid in a given context being converted in that context into a HOPattern. That is a bug as this conversion assumes terms to be valid.

phlegmaticprogrammer commented 10 years ago

Fixed one cause by catching KernelException in Preterm.inferPolymorphicPreterm.