if then else - Githubissues

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

37 stars 3 forks source link

Closed dannywillems closed 7 years ago

dannywillems commented 7 years ago

Use the function test in condition.rml. We need to infer the types of the expressions in the then and else branches for this.

dannywillems commented 7 years ago

See #3