Joël Abrahams

Can we add benchmarking?

1

## Summary of current issue Currently, we perform no benchmarking. In general it would be nice to as the project matures include some sort of benchmarking to check to what...

Check that parent constructors are called

1

## Description of Bug We make no check that parent constructors are called. This can result in situations where fields are unassigned to of parent classes. ## Expected behavior Just...

### Current Issue Currently the type checker doesn't know whether a std function will throw an exception or not. Might be nice to allow one to generate a soft warning...

### Description of Bug Currently, no mechanism yet to get generics of declarations. ### How to Reproduce A small example: ``` class MyClass[T] def f(x: T) -> T => x...

### Description of Bug No check done to see if parent of a class actually exists. ### How to Reproduce `class MyTuple: (Int, Int, UndefinedClass)` ### Expected behavior As long...

Match in Python trips up Python parser in tests

1

### Description of Bug It appears that the python parser trips up as soon as it encounters a `match` in Python. When testing, everything before that is parsed. We can...

### Description of Bug If a match is non-exhaustive, no error is given in the check stage. ### How to Reproduce _Steps to reproduce the behaviour, with steps and resulting...