poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH v2] pkl: Add exception_code to register user-defined exceptio


From: Mohammad-Reza Nabipoor
Subject: Re: [PATCH v2] pkl: Add exception_code to register user-defined exceptions
Date: Tue, 26 Jan 2021 06:34:45 +0330

Hi, Jose.

On Mon, Jan 25, 2021 at 07:04:56PM +0100, Jose E. Marchesi wrote:
> 
> > 2021-01-25  Mohammad-Reza Nabipoor  <m.nabipoor@yahoo.com>
> >
> >     * libpoke/pkl-rt.pk (exception_code): New function.
> >     * doc/poke.texi (Exceptions): Add documentation for
> >     `exception_code`.
> 
> OK for master.

Pushed.
Thanks.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]