home / code / tiger.ml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd2204f) | patch
Switch Type.unique implementation from ref to Symbol
authorSiraaj Khandkar <siraaj@khandkar.net>
Tue, 18 Sep 2018 20:57:38 +0000 (16:57 -0400)
committerSiraaj Khandkar <siraaj@khandkar.net>
Tue, 18 Sep 2018 21:00:33 +0000 (17:00 -0400)
commita131e30c2d9787dab6fe7f38430d8c54359af078
treece8f8b55d08158d006f959888a10ed4bf0b8ccfctree | snapshot
parentfd2204fa98928a900f303209818dce7f2bae3c8acommit | diff
Switch Type.unique implementation from ref to Symbol

The intent seem more apparent this way, plus we gain the ability to save the
human-readable type name (for error messages).
compiler/src/lib/tiger/tiger_env_type.ml diff | blob | blame | history
compiler/src/lib/tiger/tiger_env_type.mli diff | blob | blame | history
compiler/src/lib/tiger/tiger_semant.ml diff | blob | blame | history
OCaml. Tiger compiler. WIP.
This page took 0.018053 seconds and 4 git commands to generate.