| ; Example Emacs integration; shows type of expression in region. |
| |
| (defun mypy-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) |