UPDATE #16

[ityonemo]

Various bits of administrivia were completed for mavis_inference

• transferred issues related to inference
• connected it up to the hex.pm mavis library
• making it so that the old inference tests from mavis work

Currently, I'm working towards making sure that the entire toolchain from selectrix down through mavis inference works.

this means:

• making it so that there's an easy way to test forward and backward propagation of types through opcodes works
• making it so that there's an easy way to write snapshot tests on entire code blocks
• completing a set of tests to make sure that the analysis framework itself is sane.
• completing four basic tests:
  1. 1. Code warning #20
  2. 2. Code error #21
  3. 3. Spec warning #22
  4. 4. Spec error #23

A few issues have been solved:

• emitting a sane opcode-related exception when an unknown opcode is encountered.
• plumbing the inference API and making sure that selectrix can talk all the way down through to mavis_inference.

[ityonemo]

Update 15: #17