Always an empty string in COMPLETION term
When performing code completion, the COMPLETION term always has an empty string like: COMPLETION("") even if the completion node is not an empty string.
For example when performing code completion at the position of the | on the following program:
class A { A| a; }
The output is:
Submitted by Gabriël Konat on 7 January 2013 at 13:15Semantic completion nodes: [Type(COMPLETION(""){Use(Result("344"))})] Accepted syntactic constructs: [] Warning missing sorts: []
Issue Log
On 7 January 2013 at 13:15 Gabriël Konat tagged completion
On 7 January 2013 at 17:43 Gabriël Konat commented:
This seems to be intended behaviour in the new code completion, and it is not required to have this information any more.
On 7 January 2013 at 17:43 Gabriël Konat closed this issue.
Log in to post comments