Use Data.Map for environments (see #80).

Toxaris / pts

Interpreter for functional pure type systems.

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

21 stars 7 forks source link

Closed Toxaris closed 9 years ago

Toxaris commented 9 years ago

For discussion.

This doesn't seem to affect run times much.

Blaisorblade commented 9 years ago

Should retest after Blaisorblade/pts#1 is merged: right now pts is too busy debugging for this to be noticeable :-)

Toxaris commented 9 years ago

Rebased to current master. Runtimes still sligthly slower than without this. Hard to measure this, need benchmarking?

Blaisorblade commented 9 years ago

Is this still relevant after #106? Closing for now (reopen if I'm wrong).