[m-rev.] for review: delete or deprecate obsolete builtin insts, modes and predicates
Julien Fischer
jfischer at opturion.com
Thu Dec 3 14:02:41 AEDT 2015
On Thu, 3 Dec 2015, Paul Bone wrote:
> On Tue, Dec 01, 2015 at 05:51:51PM +1100, Julien Fischer wrote:
>
>> @@ -201,9 +197,10 @@
>> % assumption is not satisfied, the behaviour is undefined. (If you lie
>> % to the compiler, the compiler will get its revenge!)
>> %
>> - % NOTE: we recommend using the a `promise_equivalent_solutions' goal
>> - % instead of this function.
>> + % NOTE: This function is deprecated and will be removed in a future
>> + % release. Use a `promise_equivalent_solutions' goal instead.
>> %
>
> The only thing I would change is the indentation in these comments, to make
> it like the originals. That's just a preference though. I'd prefer not to
> start a discussion about this.
Ok, I've changed indentation.
Julien.
More information about the reviews
mailing list