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 likea: 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.