FilesExpand file tree

 incremental-debug

/

defaults.py

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

30 lines (26 loc) · 1.1 KB

 incremental-debug

/

defaults.py

Top

File metadata and controls

• Code
• Blame

30 lines (26 loc) · 1.1 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

import os

from typing_extensions import Final

PYTHON2_VERSION = (2, 7) # type: Final

PYTHON3_VERSION = (3, 6) # type: Final

PYTHON3_VERSION_MIN = (3, 4) # type: Final

CACHE_DIR = '.mypy_cache' # type: Final

CONFIG_FILE = 'mypy.ini' # type: Final

SHARED_CONFIG_FILES = ['setup.cfg', ] # type: Final

USER_CONFIG_FILES = ['~/.config/mypy/config', '~/.mypy.ini', ] # type: Final

if os.environ.get('XDG_CONFIG_HOME'):

USER_CONFIG_FILES.insert(0, os.path.join(os.environ['XDG_CONFIG_HOME'], 'mypy/config'))

CONFIG_FILES = [CONFIG_FILE, ] + SHARED_CONFIG_FILES + USER_CONFIG_FILES # type: Final

# This must include all reporters defined in mypy.report. This is defined here

# to make reporter names available without importing mypy.report -- this speeds

# up startup.

REPORTER_NAMES = ['linecount',

'any-exprs',

'linecoverage',

'memory-xml',

'cobertura-xml',

'xml',

'xslt-html',

'xslt-txt',

'html',

'txt',

'lineprecision'] # type: Final