Michael

Results 71 issues of Michael

There are some rust-fmt changes due to differing formatting rules which I might need to revert. Also I didn't add tests for the new `null_ptr` and `internal` `StructuredError` functions since...

Hi! First of all, thanks for your work on this project. I've recently started using this crate for XML validation and when running tests with syntactically incorrect XML files (which...

enhancement

Adds the `derive_more` crate to derive a `TryFrom` implementation for most of the `AstStatement` variants. This should allow for more concise and convenient pattern matching when trying to extract information...

**Describe the bug** We currently do not validate against passing parameters to function blocks outside of the intended variable blocks. Given we define a function block without input parameters: ```...

bug
validation
high-priority

Writing tests which link to external libraries is quite tricky with our current test-setup (see std-lib tests). This necessitates manual testing when making changes to e.g. global variables (#1188). Additionally,...

test

We are missing validations for the following examples, all of which end either in an unreachable or panic. For regular pointer variables, I don't think bit-access makes much sense, but...

validation

We should print the `plc explain ` whenever there is a diagnostic message, not just when a diagnostic with `Severity::Error` is present.

enhancement
low-priority

**Describe the bug** When initializing an array of booleans with literals, llvm will fail to verify the generated IR with the following error: ``` error[E071]: /tmp/.tmpZqD0kW/target/demo.st.ll:4:56: error: constant expression type...

bug
regression

In the past we've often discussed action calls without parentheses and what to do about it going forward. I've now stumbled on a similar use of programs without parentheses while...

enhancement
codesys

**Describe the bug** Writing a boolean value returned from a `VAR_OUTPUT` block into a bit-accessed bit will result in an error during codegen: ``` error[E071]: () ┌─ target/demo.st:55:12 │ 55...

bug