macs.el

; Example Emacs integration; shows type of expression in region.

(defunmypy-show-region ()
"Show type of variable at point."
 (interactive)
 (let ((here (region-beginning))
 (there (region-end))
 (filename (buffer-file-name)))
 (let ((hereline (line-number-at-pos here))
 (herecol (save-excursion (goto-char here) (current-column)))
 (thereline (line-number-at-pos there))
 (therecol (save-excursion (goto-char there) (current-column))))
 (shell-command
 (format"cd ~/src/mypy; python3 ./misc/find_type.py %s%s%s%s%s python3 -m mypy -i mypy"
 filename hereline herecol thereline therecol)
 )
 )
 )
 )

; I like to bind this to ^X-t.
(global-set-key"\C-xt"'mypy-show-region)