:load test/error-duplicatetydefns/duptydefns.disco