Parser throws exception

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript

MIT License

8 stars 0 forks source link

Parser throws exception #65

Closed ghost closed 9 years ago

ghost commented 9 years ago

theory Foo
extends \root

def foo b =

throws

AmbiguousNode (nonterminal=ST,span=[from row 4, column 1, to row 4, column 11, first non-whitespace column in first row: 1, left most column: 1, left most column of tail: 0]) has no value

phlegmaticprogrammer commented 9 years ago

I've attached a picture of the ambiguity of issue65.thy before the fix: