[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH Cuirass 1/4] specification: Ensure name is a symbol.
|
From: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH Cuirass 1/4] specification: Ensure name is a symbol. |
|
Date: |
Mon, 17 Jun 2024 15:16:50 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi,
Ludovic Courtès <ludovic.courtes@inria.fr> skribis:
> I’ve applied the whole series to Cuirass:
>
> 81d2530 * http: Add /admin/gitlab/event.
> 10cf59f * gitlab: Add module for Gitlab JSON objects definition.
> 1da873b * specification: Ensure name is a symbol.
After doing some more testing, we realized the string/symbol migration
introduced type errors (statically-typed language programmers would be
right to laugh at us here, I admit). It’s not fixed in ‘main’ yet, but
we’ll be looking into it in the coming days.
Cheers,
Ludo’.