Thomas

icon indicating an email [email protected]

icon company University of Science and Technology of China icon location china icon location Pre computer scientist. PLT beginner. Compiler enthusiast.

Results 2 issues of Thomas

Implementation for lint check

1 comment

I noticed that [builtin lint check macro](https://doc.rust-lang.org/reference/attributes/diagnostics.html#lint-check-attributes) is still missing. An example for lint check. ``` #[allow(dead_code)] fn foo() {} ``` There are features in lint check: - [ ]...

enhancement

Attempt to multiply with overflow

3 comment

Thank you very much for your effort in developing this library — it has been extremely useful for my work. However, I recently encountered a bug, which I’d like to...