JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety
MIT License
85 stars 3 forks source link

Create simple type checker #146

Closed JSAbrahams closed 5 years ago

JSAbrahams commented 5 years ago

Relevant issues

resolves #147

Summary

Create simple type checker which does no preliminary analysis but only types checks built-in types. Types of id's and the return types of functions are unknown.

Added Tests

Tests to verify that the equality of types works as expected.