2022-11-07

Snapshot release 2022-11-07

New features:

• Initial type system implementation with inference.

  The design is a modified Hindley–Milner type system.
  Polymorphism is not yet implemented, and poly-lambdas like a: a
  would currently fail with the result ? -> ?.

  With the help of Attrset types, we can now support more completion
  places.

• Type signatures are rendered in hover messages.

• Field completions.

  Completions in both reference and definition sites are supported,
  when the type information is enough.

  let
    f = { foo }@bar: bar.|; # -> foo. Reference site.
  in f {
    f| # -> foo. Definition site.
  }

  It can also self-complete in let or Attrsets.

  {
    some.deep.setting = 42;
    some.d| # -> deep
  }

Fixes:

• Force exit the server when the client process died. (Linux)
• Enhance parser error recovery.