question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Find a type checker and run it with Travis

See original GitHub issue

I’m submitting a

  • feature request.

Current Behaviour:

Type annotations with mypy allow the code to tell developers which type of inputs/outputs are expected but there is no tool that checks that the annotations are respected by the functions

Expected Behaviour:

Some command-line tool should run with CI to check if types annotations are correct. See pyre

Issue Analytics

  • State:closed
  • Created 4 years ago
  • Comments:9 (7 by maintainers)

github_iconTop GitHub Comments

1reaction
de-shcommented, Nov 11, 2020

Hello folks, I have an interesting opinion about this issue, how about we add a static analyzer such as DeepSource to the CI?

These might be some interesting findings.

0reactions
Mec-iScommented, Jan 8, 2021

this content is not related to this issue. For any question, first use Slack and search for past issues or Google. If there is no other reference, open a new issue. Please follow Code Contribution rules.

Read more comments on GitHub >

github_iconTop Results From Across the Web

Travis CI Tutorial
Travis only runs builds on the commits you push after you've added a .travis.yml file. Check the build status page to see if...
Read more >
Detecting when code is run on Travis CI - Stack Overflow
I have a nose test that uses a pathname to a png file in the tests directory. One path works in local testing,...
Read more >
osyrisrblx/t: A Runtime Typechecker for Roblox - GitHub
Typechecking helps you ensure that your functions are recieving the appropriate types for their arguments. In Roblox specifically, it is important to type...
Read more >
How to use Travis-CI for research - University College London
This guide explains how to use Travis-CI for automated integration and testing of research software.
Read more >
Run-Time Type Checking in TypeScript with io-ts - Azavea
io-ts uses an Either to represent either the failure message or the data we expected. Let's see how that works. // index.ts.
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found