diff options
| author | Alasdair | 2019-10-25 23:27:50 +0100 |
|---|---|---|
| committer | Alasdair | 2019-10-25 23:30:22 +0100 |
| commit | 5bcbe357c72382c1076ea7fd7c3ca6ea9f2f035c (patch) | |
| tree | e4691c1ee38a7727f5bdf6000a720f5cff3a82e8 /language | |
| parent | d01449961ef460d1afad102394ed9151aa9c57bc (diff) | |
Remove global symbol generator
Rather than having a global symbol generating function gensym used
throughout the C backend, instead 'generate' them as needed like:
let (gensym, reset_gensym_counter) = symbol_generator "gs"
This just makes things a bit neater and means we can reset the counter
between definitions in jib_compile without worrying about other modules
relying on global uniqueness
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions
