search

JSAbrahams / mamba

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

Implement Condition / Type refinement features #96

Open JSAbrahams opened 5 years ago

JSAbrahams commented 5 years ago

Current Issue

This is only parsed, we do not do anything with conditionals.

Description of the feature

Use conditionals in the type checker. In the desugar stage, and if statements when these are encountered and errors where relevant.