@@ -361,9 +361,11 @@ getClause l fn fp
361 getNameFrom i used (PApp fc f as) = getNameFrom i used f
361 getNameFrom i used (PApp fc f as) = getNameFrom i used f
362 getNameFrom i used (PRef fc _ f)
362 getNameFrom i used (PRef fc _ f)
363 = case getNameHints i f of
363 = case getNameHints i f of
364− [] -> uniqueName (sUN "x") used
364+ [] -> uniqueNameFrom (mkSupply [sUN "x", sUN "y",
365 ns -> uniqueNameFrom (mkSupply ns) used
366 ns -> uniqueNameFrom (mkSupply ns) used
366− getNameFrom i used _ = uniqueName (sUN "x") used
367+ getNameFrom i used _ = uniqueNameFrom (mkSupply [sUN "x", sUN "y",
368 -- write method declarations, indent with 4 spaces
370 -- write method declarations, indent with 4 spaces
369 mkClassBodies :: IState -> [(Name, (FnOpts, PTerm))] -> String
371 mkClassBodies :: IState -> [(Name, (FnOpts, PTerm))] -> String