GridTools / gtc

A stencil DSL toolchain written in Python.
GNU General Public License v3.0
0 stars 3 forks source link

Mypy checks with enums #100

Open havogt opened 3 years ago

havogt commented 3 years ago

I create this issue to reference from gt4py comments.

@enum.unique
class MyEnum(eve.IntEnum):
    member: 0

reveal(MyEnum.member) # <- int but should be MyEnum

Run this in outside of the eve package (maybe problem also inside?).

@egparedes and I couldn't figure out what's going on, in a short debugging session, but we stopped as it should go away in the next refactoring.