Define the canonical map structure for Tiger
authorSiraaj Khandkar <siraaj@khandkar.net>
Tue, 5 Jun 2018 16:55:03 +0000 (12:55 -0400)
committerSiraaj Khandkar <siraaj@khandkar.net>
Tue, 5 Jun 2018 16:55:03 +0000 (12:55 -0400)
commit2eadd9297a93ac7776a810ed44a547b67dddf32b
treefbb8cb07fcb8db974d8cd398bcaa3a3524005ac7
parentd3bdde4b6b0b1a8cb41ee4de4fa73cd472ed23a4
Define the canonical map structure for Tiger

with a Red Black tree implementation, adapted from Okasaki.
compiler/src/lib/tiger/tiger_map.ml [new file with mode: 0644]
compiler/src/lib/tiger/tiger_map_red_black.ml [new file with mode: 0644]
compiler/src/lib/tiger/tiger_map_red_black.mli [new file with mode: 0644]
compiler/src/lib/tiger/tiger_map_sig.ml [new file with mode: 0644]
This page took 0.026824 seconds and 4 git commands to generate.