nim-works / nimskull

An in development statically typed systems programming language; with sustainability at its core. We, the community of users, maintain it.

https://nim-works.github.io/nimskull/index.html

Self-referencing distinct will cause the compiler to hang

alaviss opened this issue 3 years ago · comments

alaviss commented 3 years ago

Example

type Id = distinct Id

Actual Output

The compiler stuck at 100% CPU usage

Expected Output

Some errors about self-referencing

metagn commented 3 years ago

nim-lang/Nim#5282

https://github.com/nim-lang/Nim/issues?q=is%3Aissue+is%3Aopen+type+recursion

alaviss commented 3 years ago

Here are talks about a potential fix in chat:

https://matrix.to/#/!MAXxvfCYnfYgZqSizw:matrix.org/$sTAkRoPD9ZPca05Uh_JtoONN-z-J3ZVl7j_VNRWyGPM?via=libera.chat&via=matrix.org&via=envs.net

zerbina commented a year ago

The linked PR fixed the bug -- an illegal recursion in type 'Id' error is now reported.