In file included from /project/micropython/py/mpstate.h:33,                 from /project/micropython/py/runtime.h:29,                 from /project/micropython/ports/esp32/machine_encoder.c:50:/project/micropython/ports/esp32/machine_encoder.c: In function 'mp_machine_Counter_init_helper':/project/micropython/py/misc.h:54:50: error: size of unnamed array is negative #define MP_STATIC_ASSERT(cond) ((void)sizeof(char[1 - 2 * !(cond)]))                                                  ^/project/micropython/py/misc.h:58:40: note: in expansion of macro 'MP_STATIC_ASSERT' #define MP_STATIC_ASSERT_NOT_MSC(cond) MP_STATIC_ASSERT(cond)                                        ^~~~~~~~~~~~~~~~/project/micropython/py/obj.h:764:5: note: in expansion of macro 'MP_STATIC_ASSERT_NOT_MSC'     MP_STATIC_ASSERT_NOT_MSC((t) != &mp_type_int), assert((t) != &mp_type_int),           \     ^~~~~~~~~~~~~~~~~~~~~~~~/project/micropython/py/obj.h:769:31: note: in expansion of macro 'mp_type_assert_not_bool_int_str_nonetype' #define mp_obj_is_type(o, t) (mp_type_assert_not_bool_int_str_nonetype(t) && mp_obj_is_exact_type(o, t))                               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~/project/micropython/ports/esp32/machine_encoder.c:483:20: note: in expansion of macro 'mp_obj_is_type'         } else if (mp_obj_is_type(args[ARG_scale].u_obj, &mp_type_int)) {                    ^~~~~~~~~~~~~~/project/micropython/ports/esp32/machine_encoder.c: In function 'mp_machine_Encoder_init_helper':/project/micropython/py/misc.h:54:50: error: size of unnamed array is negative #define MP_STATIC_ASSERT(cond) ((void)sizeof(char[1 - 2 * !(cond)]))                                                  ^/project/micropython/py/misc.h:58:40: note: in expansion of macro 'MP_STATIC_ASSERT' #define MP_STATIC_ASSERT_NOT_MSC(cond) MP_STATIC_ASSERT(cond)                                        ^~~~~~~~~~~~~~~~/project/micropython/py/obj.h:764:5: note: in expansion of macro 'MP_STATIC_ASSERT_NOT_MSC'     MP_STATIC_ASSERT_NOT_MSC((t) != &mp_type_int), assert((t) != &mp_type_int),           \     ^~~~~~~~~~~~~~~~~~~~~~~~/project/micropython/py/obj.h:769:31: note: in expansion of macro 'mp_type_assert_not_bool_int_str_nonetype' #define mp_obj_is_type(o, t) (mp_type_assert_not_bool_int_str_nonetype(t) && mp_obj_is_exact_type(o, t))                               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~/project/micropython/ports/esp32/machine_encoder.c:716:20: note: in expansion of macro 'mp_obj_is_type'         } else if (mp_obj_is_type(args[ARG_scale].u_obj, &mp_type_int)) {                    ^~~~~~~~~~~~~~[1412/1425] Building C object esp-idf/main/CMakeFiles/__idf_main.dir/__/modsocket.c.objninja: build stopped: subcommand failed.

# encoders_test.pyfrom time import sleepfrom machine import Pinfrom machine import Encoder# Define an Encoder pinsENCODER_A = 16ENCODER_B = 17ENCODER_R = 18  # one impulse per revolutionPPR = 6250  # pulses per revolution of the encoder shaftX124 = 4PPR *= X124def callback(enc):    print("\nEncoder value:", enc.value())try:    a = Pin(ENCODER_A, mode=Pin.IN)    b = Pin(ENCODER_B, mode=Pin.IN)      r = Pin(ENCODER_R, mode=Pin.IN)      print('A', a, a.value())    print('B', b, b.value())    print('Z', r, r.value())    enc = Encoder(0, a, b, x124=X124)    enc.irq(handler=callback, trigger=Encoder.IRQ_MATCH1, value=50_000)    enc.irq(handler=callback, trigger=Encoder.IRQ_ZERO)    enc.irq(handler=callback, trigger=Encoder.IRQ_MATCH2, value=-50_000)    print(enc)    _a = None    _b = None    _r = None    _value = None    while True:        __a = a.value()        __b = b.value()        __r = r.value()        __value = enc.value()        if (_a != __a) or (_b != __b) or (_r != __r) or (_value != __value):            _a = __a            _b = __b            _r = __r            _value = __value            print("a={}, b={}, r={}, value={:10}".format(_a, _b, _r, _value), end='        \r')        sleep(0.1)finally:    try:        # use enc.deinit(), otherwise enc.callback() will work after exiting the program        enc.deinit()    except:        pass

A Pin(16) 0B Pin(17) 1Z Pin(18) 1Encoder(0, phase_a=Pin(16), phase_b=Pin(17), x124=4, match1=50000, match2=-50000)a=0, b=1, r=1, value=         0        Encoder value: 0a=1, b=0, r=1, value=     49687        Encoder value: 50001a=1, b=0, r=1, value=     50634        Encoder value: 49999a=1, b=1, r=1, value=       526        Encoder value: -1a=0, b=1, r=1, value=    -42349        Encoder value: -50007a=0, b=0, r=1, value=    -50095        Encoder value: -50000

.. class:: Counter(id, src=None, \*, direction=Counter.UP, _src=None, edge=Counter.RISING, filter_ns=0)    The Counter starts to count immediately. Filtering is disabled.      - *id*. Values of *id* depend on a particular port and its hardware.        Values 0, 1, etc. are commonly used to select hardware block #0, #1, etc.      - *src* is the pulse input :ref:`machine.Pin <machine.Pin>` to be monitored.        *src* is required in the constructor.      - *direction* specifies the direction to count. Values for this include the constants        - Counter.UP - (default value) and        - Counter.DOWN to control the direction by software or        - :ref:`machine.Pin <machine.Pin>` object to control the direction externally. If ``Pin.value()``:           - 0 - count down,           - 1 - count up.      - *_src* is the inverse pulse input :ref:`machine.Pin <machine.Pin>` to be monitored.        If the *_src* keyword is present then the *direction* keyword does not matter.        *src* and *_src* count in opposite directions, one in the UP direction        and the other in the DOWN direction, i.e. as an incremental/decremental counter.      - *edge* specifies which edges of the input signal will be counted by Counter:        - Counter.RISING : raise edges,        - Counter.FALLING : fall edges,        - Counter.RISING | Counter.FALLING : both edges.      - *filter_ns* specifies a ns-value for the minimal time a signal has to be stable        at the input to be recognized. The largest value is 12787ns (1023 * 1000000000 / APB_CLK_FREQ).        The default is 0 – no filter.