error message confusingly referencing "base" and "__nac3_synthesized_modinit__" #205

New Issue

sb10q · 2022-03-01T18:28:41+08:00

sb10q commented

2022-03-01 18:28:41 +08:00

Put a int32 into the attribute of a host object with a bool type annotation:

type error at identifier `base` (error when getting type of field `urukul1_ch0` (error when getting type of field `pll_en` (Incompatible types: int32 and bool))) at __nac3_synthesized_modinit__: line 2 column 5

__nac3_synthesized_modinit__ and base are not part of the user-visible part of the compiler and should not be shown to the user.

Alternatively they should be clearly explained and documented.

Put a ``int32`` into the attribute of a host object with a ``bool`` type annotation: ``` type error at identifier `base` (error when getting type of field `urukul1_ch0` (error when getting type of field `pll_en` (Incompatible types: int32 and bool))) at __nac3_synthesized_modinit__: line 2 column 5 ``` ``__nac3_synthesized_modinit__`` and ``base`` are not part of the user-visible part of the compiler and should not be shown to the user. Alternatively they should be clearly explained and documented.

ychenfo referenced this issue

2022-03-02 22:02:19 +08:00

Remove cached pyid_to_type when encountering error (#205) #207

ychenfo commented

2022-03-05 04:15:46 +08:00

Shall we close this issue? PR #207 should be able to fix this.

sb10q commented

2022-03-05 10:30:52 +08:00

Seems to work indeed.

nac3artiq.CompileError: type error inside object launching kernel: error when getting type of field `foo` (Incompatible types: bool and int32)

Seems to work indeed. ``` nac3artiq.CompileError: type error inside object launching kernel: error when getting type of field `foo` (Incompatible types: bool and int32) ```

sb10q closed this issue

2022-03-05 10:30:53 +08:00

Sign in to join this conversation.