caterinaurban/Typpete

Issues

• Use typeshed in lieu of custom type stubs?

  #54 opened 5 years ago by ethanhs
  5

• Possible optimizations

  #31 opened 7 years ago by marcoeilers
  2

• Handling type aliases

  #60 opened 3 years ago by adsharma
  0

• Quick Start instructions missing

  #1 opened 7 years ago by vakaras
  1

• argparse, logging and inplace update

  #59 opened 3 years ago by adsharma
  1

• Support for fixed width integers

  #57 opened 3 years ago by adsharma
  5

• Crash when using soft constraints

  #55 opened 4 years ago by adsharma
  6

• Annotated assign is unsatisfiable

  #58 opened 3 years ago by adsharma
  1

• Function overloading

  #56 opened 3 years ago by adsharma
  0

• Segmentation fault

  #53 opened 5 years ago by pigeonsoar
  4

• ICemu Test Missing

  #40 opened 6 years ago by caterinaurban
  1

• Differences between versions of imp-interpreter and ICemu

  #41 opened 6 years ago by caterinaurban
  2

• SyntaxError when running Typpete with Python 3.7

  #51 opened 6 years ago by FChris
  2

• Accessing attribute with the name `count` throws error

  #50 opened 7 years ago by mostafa-abdullah
  0

• Bug with classes

  #3 opened 7 years ago by caterinaurban
  0

• Wrong return type inferred for constructors

  #44 opened 7 years ago by marcoeilers
  7

• Docstrings messed up in annotated files

  #43 opened 7 years ago by marcoeilers
  6

• Results for imported modules

  #42 opened 7 years ago by caterinaurban
  0

• Failing Tests

  #39 opened 7 years ago by caterinaurban
  0

• Crash when explicitly mentioning "object" base class

  #23 opened 7 years ago by marcoeilers
  1

• Variable name in except clause is not added to context

  #25 opened 7 years ago by marcoeilers
  1

• Stub methods should not need type annotation for receiver parameter ("self")

  #22 opened 7 years ago by marcoeilers
  1

• Incorrect function override checking for methods with default arguments

  #26 opened 7 years ago by marcoeilers
  0

• Allow mutually recursive functions

  #5 opened 7 years ago by caterinaurban
  1

• Differentiate between instance methods and callable objects attached as instance variables

  #21 opened 7 years ago by mostafa-abdullah
  0

• Elements being inferred (/constraints being added) multiple times for the same elements?

  #28 opened 7 years ago by marcoeilers
  0

• Unsafe typing due to having None as subtype of all types

  #30 opened 7 years ago by mostafa-abdullah
  2

• Scoping issues when inheriting methods

  #27 opened 7 years ago by marcoeilers
  0

• Support __call__

  #18 opened 7 years ago by mostafa-abdullah
  0

• Cannot access imported function (crash)

  #24 opened 7 years ago by marcoeilers
  1

• Add support for abstract methods

  #17 opened 7 years ago by mostafa-abdullah
  0

• Problem with static methods inference

  #12 opened 7 years ago by mostafa-abdullah
  0

• Wrong inferred type for values of dictionary

  #2 opened 7 years ago by caterinaurban
  10

• Limitation with classes order?

  #4 opened 7 years ago by caterinaurban
  1

• Bug with importing classes

  #10 opened 7 years ago by mostafa-abdullah
  1