Type Inference

[JTrenerry]

Progress

• Type inferencing
  • Constraint generation (Relies on SVA)
  • Type coalescing
  • Type Automata
  • Type lowering
    • Remove Ep
    • Merge Nodes (old code in git so should be simple)
    • mini Unsure if this does anything of value
  • Transform
    • Add in new expressions
    • Type transform
      • type decls
      • Exprs
      • stmts
      • function in / out
        attrib

(load-il "examples/irreducible_loop_1.il")
(run-transforms "ssa")
(run-transforms "cf-expressions")
(run-transforms "simplify")
(run-transforms "cf-expressions")
(dump-il "before.il")
(run-transforms "type-check")
(run-transforms "type-inference")
(run-transforms "type-check")
(dump-il "after.il")

Note: SVA does not net very good results in most cases

I ticked everything off mainly to feel good, it does not work amazingly atm

Testing

The current testing is just, type inference loops and does it type check and look the same as the last time I type inferred.

There are some functions that have test cases, but I want to add some more to this.

Since analyse is in its own function, I should be able to do cram tests without needing diff, and possibly using leq instead of equal, but that might not be amazing