The arguments against an extra assume-type form have convinced me. If no one objects, I am going to remove it in the next draft.

Marc

John Cowan <xxxxxx@ccil.org> schrieb am Fr., 30. Dez. 2016 um 06:25 Uhr:

On Thu, Dec 29, 2016 at 9:35 PM, Alex Shinn <xxxxxx@gmail.com> wrote:

Given that `pred' would typically be included in
the error message, I don't think diagnostics are
improved much either.  Do we really need this
second syntax?

I agree that we don't need it.

-- 
John Cowan          http://vrici.lojban.org/~cowan        xxxxxx@ccil.org
Fundamental thinking is ha-ard.  Let's go ideology-shopping.
                        --Philosopher Barbie

To unsubscribe from this list please goto http://www.simplelists.com/confirm.php?u=uN2ztHxbL303qyebPLhb1AVPXDnqZ5Vu