[m-rev.] for review: Clearly explain what part of partial instantiation isn't supported.

[Julien Fischer]

On Mon, 17 Mar 2014, Paul Bone wrote:

> On Mon, Mar 17, 2014 at 11:30:11AM +1100, Julien Fischer wrote:
>>> diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
>>> index a7a34b2..fc6bbfc 100644
>>> --- a/doc/reference_manual.texi
>>> +++ b/doc/reference_manual.texi
>>> @@ -2540,9 +2540,11 @@ can do so by simply defining them using a mode declaration:
>>> These two modes are enough for most functions and predicates.
>>> Nevertheless, Mercury's mode system is sufficiently
>>> expressive to handle more complex data-flow patterns,
>>> -including those involving partially instantiated data structures.
>>> -(The current implementation does not handle
>>> -partially instantiated data structures yet.)
>>> +including those involving partially instantiated data structures, data
>>> +structures with ``free'' @emph{holes} in them.
>>
>> I suggest:
>>
>>    i.e.@: data structures with ``free'' @emph{holes} in them.
>>
>
> Is the "@" symbol sagnificant?

Yes, see:

http://www.gnu.org/software/texinfo/manual/texinfo/html_node/Not-Ending-a-Sentence.html#Not-Ending-a-Sentence

It's texinfo markup - in this case to esnure that the spacing after
i.e. is correct (or at least consistent with what we do elsewhere).

Cheers,
Julien.