Version 1.1.0.pre.1

Release note

Changes

Type checker core

• Type refinement with method calls (#590)
• Better multiple assignment type checking (#605)
• Fix generics issues around proc types (#609, #611)
• Fix type application validation (#607; backport from 1.0.2)
• Add class variable validation (#593)
• Fix type application validation (#607)

Commandline tool

• Appends "done!" to the watch output when the type check is complete (#596)

Language server

• Fix hover on multiple assignment (#606)