search

VHDL-LS / rust_hdl

Other
346 stars 64 forks source link

Binary expression does not type check function parameters #317

Closed Schottkyc137 closed 4 months ago

Schottkyc137 commented 4 months ago

The following example produces no diagnostics:

package foo is
    function takes_slv(din : bit_vector) return boolean;
    constant bar : boolean := takes_slv(true) and true;
end package;

even though a diagnostic similar to 'true' does not match array type 'BIT_VECTOR'` should be reported. The following example produces the expected output:

package foo is
    function takes_slv(din : bit_vector) return boolean;
    constant bar : boolean := takes_slv(true);
end package;