Add new Show instances, and misc further improvements for REPL development

Toxaris / pts

Interpreter for functional pure type systems.

BSD 3-Clause "New" or "Revised" License

21 stars 7 forks source link

Add new Show instances, and misc further improvements for REPL development #79

Closed Blaisorblade closed 10 years ago

Blaisorblade commented 10 years ago

This comes closer to allowing to typecheck new terms in the REPL, depending on some module.

Blaisorblade commented 10 years ago

Travis failures are genuine (and fixed by last commit). Tomorrow (edit: Today) I can rebase and move the fix at the right place — broken commits are annoying when bisecting.

Blaisorblade commented 10 years ago

The old head (with comments) is eb829e0 — see https://github.com/Blaisorblade/pts/compare/Toxaris:master...Blaisorblade:eb829e0 for the comparison.

Blaisorblade commented 10 years ago

I've now addressed all comments on old commits (double-checked) — @Toxaris, just make sure you like the answers, or comment further.

Toxaris commented 10 years ago

Looks good to me and can be merged.