Float4

[FLOAT4]

Using importlib rather than import, helps support in Windows.
In addition, IVy lexer supports Unicode (for ‘forall’, ‘exists’, ‘->’, etc.). It should not change anything else, since the whole text is converted to Unicode only in the lexer itself, and after lexing converted back. However, invalid Unicode characters are handled differently.

[msftclas]

Thank you for your submission, we really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.

❌ FLOAT4 sign now
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

[kenmcmil]

Hi Iddo,

These changes don't pass the regression suite. To run the tests. do this:

cd test
python run_expects.py
./runall

This runs two separate suites. The test framework doesn't work on Windows because of the limitations of the Windows version of "pexpect", so you have to run them on Linux.
It looks like there are both problems in parsing and problems importing modules.

Thanks -- Ken