Better error messages #195

pca006132 · 2022-02-21T18:43:18+08:00

pca006132 commented

2022-02-21 18:43:18 +08:00

Examples:

RuntimeError: nac3 compilation failure: 
----------
Unknown type annotation at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 40 column 16: `InexistingException` is not registered in nac3, did you forgot to add @nac3?
----------
int32 is not callable (in /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 29 column 13)
----------
Incorrect argument type for n. Expected N, but got tuple[int32, bool] at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 34 column 25

Notes:
    N ∈ {int32, int64, float, bool}
----------
Tuple index must be a constant (KernelInvariant is also not supported) at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 24 column 15
----------
`list[var72]::append` field does not exist at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 46 column 9

Note that the error message order may not be deterministic.

For #90, the error message is now better, but I have not yet added float64 to the primitive types.

RuntimeError: type error inside object launching kernel: error when getting type of field `f` (<class 'numpy.float64'> is not supported in nac3 (did you forgot to put @nac3 annotation?))

Fixes #44, #87, #109, #166, #190, #193 Examples: ``` RuntimeError: nac3 compilation failure: ---------- Unknown type annotation at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 40 column 16: `InexistingException` is not registered in nac3, did you forgot to add @nac3? ---------- int32 is not callable (in /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 29 column 13) ---------- Incorrect argument type for n. Expected N, but got tuple[int32, bool] at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 34 column 25 Notes: N ∈ {int32, int64, float, bool} ---------- Tuple index must be a constant (KernelInvariant is also not supported) at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 24 column 15 ---------- `list[var72]::append` field does not exist at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 46 column 9 ``` Note that the error message order may not be deterministic. For #90, the error message is now better, but I have not yet added float64 to the primitive types. ``` RuntimeError: type error inside object launching kernel: error when getting type of field `f` (<class 'numpy.float64'> is not supported in nac3 (did you forgot to put @nac3 annotation?)) ```

pca006132 added 4 commits 2022-02-21 18:43:18 +08:00

352831b2ca nac3core: removed legacy location definition

d9cb506f6a nac3core: refactored for better error messages

f97f93d92c applied rustfmt and clippy auto fix

ede3706ca8 type_inferencer: special case tuple index error message

sb10q commented

2022-02-21 19:30:33 +08:00

`list[var72]::append` field does not exist at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 46 column 9

There is still this obscure "var72"...

``` `list[var72]::append` field does not exist at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 46 column 9 ``` There is still this obscure "var72"...

sb10q commented

2022-02-21 19:32:02 +08:00

Note that the error message order may not be deterministic.

What about sorting by (filename, line, column)?

> Note that the error message order may not be deterministic. What about sorting by (filename, line, column)?

pca006132 commented

2022-02-21 20:34:05 +08:00

Poster

`list[var72]::append` field does not exist at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 46 column 9

There is still this obscure "var72"...

Because it is really a type variable that cannot be inferred. We can name this with something like a, b, c, d, but this is just the same. Name this with something like a, b, c, d may cause name collision between different threads or we will need to somehow synchronize them to share the name dictionary.

> ``` > `list[var72]::append` field does not exist at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 46 column 9 > ``` > > There is still this obscure "var72"... Because it is really a type variable that cannot be inferred. We can name this with something like a, b, c, d, but this is just the same. Name this with something like a, b, c, d may cause name collision between different threads or we will need to somehow synchronize them to share the name dictionary.

pca006132 commented

2022-02-21 20:35:59 +08:00

Poster

Note that the error message order may not be deterministic.

What about sorting by (filename, line, column)?

We can, but this will need another refactor because we have to make every error message a struct instead of a string. I planned to do so but there is just too many error messages around and hard to change this...

> > Note that the error message order may not be deterministic. > > What about sorting by (filename, line, column)? We can, but this will need another refactor because we have to make every error message a struct instead of a string. I planned to do so but there is just too many error messages around and hard to change this...

sb10q commented

2022-02-22 09:03:59 +08:00

Just sort the strings then.

pca006132 added 1 commit 2022-02-22 14:33:59 +08:00

3ad25c8f07 nac3core: sort error messages for determinism

pca006132 commented

2022-02-22 14:34:29 +08:00

Poster