diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index d5bd922a99..faf2befd41 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -37,8 +37,8 @@ and are equivalent to a sequence of `context/1` and `throw/1` method calls. Tests ----- -* ADDED: Tests for syntax errors in atoms, lists, and numbers to the Prolog -compliance suite. +* ADDED: Tests for syntax errors in atoms, lists, numbers, and curly bracketed +terms to the Prolog compliance suite. Examples -------- diff --git a/tests/prolog/syntax/curly_terms/tests.lgt b/tests/prolog/syntax/curly_terms/tests.lgt index 3a13b4a18b..8c31bb2444 100644 --- a/tests/prolog/syntax/curly_terms/tests.lgt +++ b/tests/prolog/syntax/curly_terms/tests.lgt @@ -22,9 +22,9 @@ extends(lgtunit)). :- info([ - version is 1.0, + version is 1.1, author is 'Paulo Moura', - date is 2014/11/07, + date is 2018/06/30, comment is 'Unit tests for the ISO Prolog standard curly bracketed term syntax.' ]). @@ -40,6 +40,16 @@ {read(T)}, T == '{}'(','(a,b)). + succeeds(lgt_curly_bracketed_term_03) :- + ^^set_text_input('{}. '), + {read(T)}, + T = '{}'. + + succeeds(lgt_curly_bracketed_term_04) :- + ^^set_text_input('{(a,b)}. '), + {read(T)}, + T == '{}'(','(a,b)). + cleanup :- ^^clean_text_input.