Fix Symbol.new_of_string - it should not save
authorSiraaj Khandkar <siraaj@khandkar.net>
Tue, 18 Sep 2018 20:55:25 +0000 (16:55 -0400)
committerSiraaj Khandkar <siraaj@khandkar.net>
Tue, 18 Sep 2018 20:55:25 +0000 (16:55 -0400)
commitfd2204fa98928a900f303209818dce7f2bae3c8a
tree099380269637c751b9d7f50596018708ff5f7186
parent35dccbd3999a8c3bb1dc9e96e21b69a39f44fc6f
Fix Symbol.new_of_string - it should not save

also rename it to unique_of_string to clarify the main idea
compiler/src/lib/tiger/tiger_env.ml
compiler/src/lib/tiger/tiger_symbol.ml
compiler/src/lib/tiger/tiger_symbol.mli
This page took 0.026393 seconds and 4 git commands to generate.