disco-0.1.0.0: test/error-duplicatedefns/dupdefns.disco

x : N
x = 1
x = 2