parse-string(|tbl) succeeds when parsing fails
It returns an error(…) term. Strategy should fails.
Also after an unsuccesful parse, get-parse-error fails.
Test below fails (taken from sglr-tests):
Submitted by Rob Vermaas on 13 May 2011 at 10:31
apply-and-check(!“A parse error must result in a parse error.”
, not(parse-string(|tbl))
; get-parse-error
, !“4 +”
, ?error(_, _)
)
Issue Log
On 13 May 2011 at 10:31 Rob Vermaas tagged @lennartkats
On 13 May 2011 at 11:14 Lennart Kats commented:
Fixed in
r22867.
On 13 May 2011 at 11:14 Lennart Kats closed this issue.
On 13 May 2011 at 11:14 Lennart Kats tagged 1.0
On 13 May 2011 at 11:18 Rob Vermaas commented:
Does this revision also fix the get-parse-error?
On 13 May 2011 at 11:48 Rob Vermaas reopened this issue.
On 13 May 2011 at 11:48 Rob Vermaas commented:
get-parse-error still fails.
On 13 May 2011 at 12:58 Lennart Kats commented:
Strange. It is implemented in
https://svn.strategoxt.org/repos/StrategoXT/strategoxt-java-backend/trunk/java/runtime/org/strategoxt/lang/compat/sglr/STRSGLR_get_parse_error.java, but may not work as the tests were never active before…
On 23 November 2011 at 16:26 Lennart Kats tagged 1.1
On 23 November 2011 at 16:26 Lennart Kats removed tag 1.0
On 8 January 2013 at 12:56 Eelco Visser removed tag 1.1
On 8 January 2013 at 12:56 Eelco Visser tagged interesting
On 8 January 2013 at 15:00 Eelco Visser tagged sdf
On 8 January 2013 at 16:09 Eelco Visser removed tag @lennartkats
Log in to post comments