Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
disallow untyped defs #289
disallow untyped defs #289
Changes from 29 commits
d2f23ce
c9088ac
0a4c2a6
bff90a0
ae24c06
ef44368
df6061e
fcc28ea
6fffa99
9b14209
ebb72c3
fbb3f48
8eae7fc
4744d9b
b0e984c
36fd770
3df9b40
bb9ec2f
13e5ac3
3f726be
686ded7
3f1d35e
f5543a4
8ff7a2a
0b479b5
e46ed14
f23d857
89bab0d
f3d7411
51a5f33
eecb90b
0119ad6
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing