QUERY · ISSUE

ViperTypeError: div/mod not implemented for uint

openby massimosalaopened 2023-05-30updated 2024-09-04

enhancement

General topic, not related to a specific micro.

Viper is great for optimizing functions, like custom hashes, that only do calculations on integers... but

ViperTypeError: div/mod not implemented for uint

Is it possible to implement this?

CANDIDATE · ISSUE

viper: ViperTypeError: can't do binary op between 'uint' and 'uint'

closedby peterhinchopened 2016-02-15updated 2020-06-26

The following produces the above error at compile time (only with uints - compiles and runs with int)

@micropython.viper
def foo(arg1: uint, arg2: uint) -> uint:
    return arg1 + arg2

MicroPython v1.6-35-ge372e83 on 2016-02-11; PYBv1.0 with STM32F405RG

Assessment

Q Qwen · high

Both issues concern Viper type system limitations with uint types, but they address different specific problems. Issue #11667 requests implementing division/modulo operations for uint types in Viper. Issue #1847 reports a bug where basic binary operations (like addition) between uint types are incorrectly rejected at compile time. These are distinct issues: #1847 is about a type checking bug preventing valid operations, while #11667 is a feature request to add missing operations (div/mod) that are currently unsupported. The root causes and solutions would be different.

Suggested action

Keep both issues open as they address different problems. Issue #1847 should be investigated as a potential bug in the type checker, while #11667 remains a feature request for adding div/mod support.

ViperTypeError: div/mod not implemented for uint

viper: ViperTypeError: can't do binary op between 'uint' and 'uint'

Keyboard