Affects Version/s: None
Fix Version/s: None
Should type check the current namespace with this code and match up the line/col/source positions in the actual Light Table window, and display the type error message above/below it (whatever is more common in LT).
Also "check-form" should be a command, that type checks the current form with clojure.core.typed/check-form-info.
2 refactorings should be included:
ann-form - wrap current form in an clojure.core.typed/ann-form (which could be qualified by an alias) and leave the cursor on the second argument. If it's possible to add a default to the second argument, it should be `Any`.
-> (t/ann-form my-form |Any)
; where | is the current cursor
ann-var - bring out the var on the current cursor into an `ann` into the top-level form above the current form.
- if the var is from another namespace than the current, it should be fully qualified and prefixed with ^:no-check
eg. n/another-var => (t/ann ^:no-check long-another-ns/another-var Any)
- otherwise the second argument to `ann` should be unqualified
-> (t/ann my-var |Any)