typechecker
Here are 67 public repositories matching this topic...
-
Updated
Oct 20, 2020 - Python
-
Updated
Oct 20, 2020 - OCaml
-
Updated
Jul 13, 2020 - F#
-
Updated
Nov 8, 2019 - Python
-
Updated
Oct 20, 2020 - Rust
-
Updated
Feb 4, 2019 - TypeScript
In this commit: AbstractMachinesLab/caramel@e916333 I've replaced all instances of fresh type variables with any, in an attempt to unblock #19 -- after all those type signatures are not necessary for the Erlang code to compile and execute.
However, I do want to have this feature available, but it has one problem: a signature like `uni
-
Updated
Oct 19, 2020 - Elixir
-
Updated
Oct 18, 2019 - Java
-
Updated
Oct 3, 2020 - Rust
-
Updated
Jun 12, 2020 - Ruby
-
Updated
Apr 14, 2011 - Haskell
-
Updated
Oct 18, 2020 - TypeScript
-
Updated
Sep 2, 2020 - TypeScript
Free type variables
Handle types with free variables
Check function arity
-
Updated
Jun 30, 2019 - Idris
-
Updated
Apr 8, 2020 - Python
-
Updated
Aug 14, 2019 - C++
-
Updated
Oct 3, 2020 - C++
-
Updated
Mar 29, 2018 - Haskell
-
Updated
Jul 14, 2018 - Haskell
-
Updated
Mar 28, 2017 - Haskell
-
Updated
Aug 8, 2020 - Haskell
-
Updated
Oct 18, 2020 - Python
Improve this page
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."
TS Template added by @mjbvz
TypeScript Version: 4.1.0-dev.20200916
Search Terms
(see comment for condensed repro of the problem)
Issue Type: Bug
Please consider the following JavaScript example: