keep name if we have it when generating a fresh name
authorSimon Huber <hubsim@gmail.com>
Thu, 16 Apr 2015 12:49:14 +0000 (14:49 +0200)
committerSimon Huber <hubsim@gmail.com>
Thu, 16 Apr 2015 12:49:14 +0000 (14:49 +0200)
commite232b5181e141a54e28eec669116c35f9673d691
tree1917373353913aa8e0129aac4ca4e7c6d2f8c2b3
parent3a80f8c7f9f33059c1b686c4295398dabf1f814e
keep name if we have it when generating a fresh name
Connections.hs
Eval.hs