Giters
jeffinitelyjeff
/
Pyty
Static type-checking of Python source code
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
3
Issues:
24
Forks:
1
jeffinitelyjeff/Pyty Issues
nosubtype error
Closed
13 years ago
Comments count
1
fix documentation
Updated
13 years ago
compare specs
Updated
13 years ago
failing collection assignment test
Closed
13 years ago
type checking should resort to type inference
Updated
13 years ago
failing subscript test
Closed
13 years ago
failing typeincorrectlyspecifiederror test
Closed
13 years ago
infer([(True, True)]) = [bool], but infer([(True,)]) = [(bool,)] and infer([(True, True, True)]) = [(bool, bool, bool)]
Closed
13 years ago
need type inference unit tests
Updated
13 years ago
simple cli
Closed
13 years ago
informative failure
Updated
13 years ago
run tests from any directory
Updated
13 years ago
can't parse type (int, int,)
Updated
13 years ago
need to specify fn type of int -> ()
Updated
13 years ago
function decorators for debugging
Updated
13 years ago
Better documentation
Updated
13 years ago
Comments count
1
assign rule may allow tuple subscription assignment
Updated
13 years ago
import *????
Closed
13 years ago
fix logging
Updated
13 years ago
Comments count
1
fix failing tests
Closed
13 years ago
Comments count
1
clean up env_get and env_get_name
Closed
13 years ago
Comments count
1
change PytyType to PType?
Closed
13 years ago
Comments count
1
generate_tests.py should spit out stdout output
Updated
13 years ago
Type Parsing: 2-Element Tuples Disappearing
Closed
13 years ago
Comments count
1