Add a uniqueName function.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 29 Jan 2009 10:42:50 +0000 (11:42 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 29 Jan 2009 10:42:50 +0000 (11:42 +0100)
commit6bf116914c36c98e7f76ec9c20f993cd847a7ee8
treef93952f89e60e4e4c231582558e9dacb03727090
parent844555bd28c13cfe1bcb450960008e81928fe2c5
Add a uniqueName function.

This function appends a unique number to names to make the names unique.
Translator.hs