aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorEduardo Julian2016-07-13 14:58:00 -0400
committerEduardo Julian2016-07-13 14:58:00 -0400
commit8db393f50d8cb69d8bb46e7891bc4c0448e42a20 (patch)
tree38596a1c8c5245d5a291b89d82fe8259e8c9c4b0 /test
parent1c3833bc75b9b7bfa1a658e63ceb11d4e4707ce4 (diff)
- Optimized the type-checker slightly by now using a 2-tuple for the results, but instead just returning the fixpoints.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions