[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.