QuentinRa/intellij-ocaml

Type inference

Closed this issue · 2 comments

QuentinRa commented

Moved from #38

  • type of the statement
  • tests for "type of statement" and "getExpressionsAt"
  • fix the bugs
  • disable in REPL

Not disabled, but same as no expression.

Screenshot_22

QuentinRa commented

Bugs with the detection

Note: the stategy was changed, I'm now relying on the .annot to detect if something got a type or not, instead of trying to guess and having a lot of bugs.

  • Screenshot_29
  • Screenshot_24
  • Screenshot_25
  • Screenshot_26
  • Screenshot_27
  • Screenshot_28
QuentinRa commented

Bugs with the detection (with the new stategy)

  • handle types that made of statements

Screenshot_3

  • unit
  • identifiers
  • What if the file was not loaded yet?

Same as having no expression.

  • Got this error for the whole file (seems because of the content?)

Screenshot_6

  • bug wrong info shown