search

Toxaris / pts

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

Fix sort checking #112

Closed Blaisorblade closed 10 years ago

Blaisorblade commented 10 years ago

This fixes #107 and #108. To pick names for functions I created, I needed to rename normalizeTo$something to check$somethingElse (see 38d49d2).

Blaisorblade commented 10 years ago

If the fixes are OK, I'll merge them into their base commit. Especially the rename:

(normalizeToSort ↦ checkTypeOfIsSort) . (checkTypeOfIsSort ↦ checkProperType) =
normalizeToSort ↦ checkProperType.
Toxaris commented 10 years ago

Yes, the fixes are ok.

Blaisorblade commented 10 years ago

Superseded by #115, which contains the rebase. (I didn't force-push to ensure we don't lose discussions).