Add .pyre directory for Pyre type checker

Pyre is a new type-checker for Python developed by facebook in May 2018.
https://pyre-check.org/

It makes .pyre directory for storing result or cache for type checking.
This directory is environment dependent. So it should be ignored from Git.

diff --git a/Python.gitignore b/Python.gitignore
index 6f7a6d9c3d740609fd09c88fbf6352a977af7c51..510c73d0fdb6d9daed973138442e011bd8682815 100644 (file)
--- a/Python.gitignore
+++ b/Python.gitignore
@@ -109,3 +109,6 @@ venv.bak/
 .mypy_cache/
 .dmypy.json
 dmypy.json
+
+# Pyre type checker
+.pyre/