search

Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Type inference should be optional #76

Open Toxaris opened 9 years ago

Toxaris commented 9 years ago

See discussion of #69.

Toxaris commented 9 years ago

I feared that normalisation would duplicate unification variables in the wrong way, but it looks like @fehrenbach put enough guards to error out in such cases. So I'm more convinced by the correctness of type inference now, and making it optional is less of a priority.