poke-devel
[Top][All Lists]
Advanced

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

[Bug default/26515] Array trim has invalid type


From: jose.marchesi at oracle dot com
Subject: [Bug default/26515] Array trim has invalid type
Date: Fri, 21 Aug 2020 09:35:13 +0000

https://sourceware.org/bugzilla/show_bug.cgi?id=26515

Jose E. Marchesi <jose.marchesi at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #2 from Jose E. Marchesi <jose.marchesi at oracle dot com> ---
This is fixed in master with commit

commit 3cca7544d54eb7e45e0e1fc1a160bc0263391ced (HEAD -> master, origin/master,
origin/HEAD)
Author: Jose E. Marchesi <jose.marchesi@oracle.com>
Date:   Fri Aug 21 11:34:00 2020 +0200

    typify: the types of trimmed arrays are unbounded

    2020-08-21  Jose E. Marchesi  <jemarch@gnu.org>

            * libpoke/pkl-typify.c (pkl_typify1_ps_trimmer): The type of a
            trimmed array is unbounded.
            * testsuite/poke.pkl/trim-26.pk: New test.

-- 
You are receiving this mail because:
You are on the CC list for the bug.


reply via email to

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