Skip to content
#

typechecker

Star

Here are 67 public repositories matching this topic...

Language: All
Filter by language
All 67 JavaScript 12 TypeScript 11 Haskell 7 Python 7 OCaml 5 Rust 5 Ruby 3 C++ 2 Java 2 C 1
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

microsoft / TypeScript

Star
Open

In JS, exporting a global `require` from TS incorrectly treats it like an export alias

sandersn
sandersn commented Feb 11, 2021

Found when debugging a different mysterious commonjs bug with @elibarzilay:

  1. Install @types/node for this repro. I couldn't get it to repro on a local module, but I think I'm missing something fairly simple.
// @filename: ns.ts
namespace myAssert {
    export type cool = 'cool'
}
var myAssert = require('assert')

// @filename: test.js
exports.equal = myAssert.equal
exports.e
Read more
Bug good first issue
Find more good first issues →

google / pytype

Star
Open

Pytype seems do not check builtin map function

1
vuryleo
vuryleo commented Nov 8, 2019

e.g.

# map.py
def func(a: int) -> float:
    return float(a)

map(func, ['str'])
$ pytype map.py
Computing dependencies
Analyzing 1 sources with 0 local dependencies
ninja: Entering directory `/[redacted]/.pytype'
ninja: no work to do.
Success: no errors found

while

$ mypy map.py
map.py:5: error: Argument 1 to "map" has incompatible type "Ca
Read more
bug cat: core good first issue

Improve this page

Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."

Learn more