mental32 / monty

A language toolchain for explicitly typed annotated Python. 🐍

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

`len` always returns 20

blasrodri opened this issue · comments

Expected behaviour:

assert(len([1, 2, 3]) == 3)

Current behaviour:

assert(len([1, 2, 3]) == 20)
  • "assert" is not compilable
  • lists literals are definitely not compilable nor able to be represented in the type system
  • len is absolutely UB

How exactly did you get the current behavior to work??

Thanks @mental32
What do you mean by

len is UB

I don't remember how I got this to run, actually.