@@ -409,18 +409,24 @@ elabPE info fc caller r =
409409 -- get the clause of a specialised application
410410 getSpecClause ist (n, args)
411411 = let newnm = sUN ("PE_" ++ show (nsroot n) ++ "_" ++
412− qhash 0 (showSep "_" (map showArg args))) in
412+ qhash 5381 (showSep "_" (map showArg args))) in
413413 -- UN (show n ++ show (map snd args)) in
414414 (n, newnm, mkPE_TermDecl ist newnm n args)
415− where showArg (ExplicitS, n) = show n
416− showArg (ImplicitS, n) = show n
415+ where showArg (ExplicitS, n) = qshow n
416+ showArg (ImplicitS, n) = qshow n
417417 showArg _ = ""
418418
419− -- TMP for readability! This is obviously a really bad hashing
420− -- function.
419+ qshow (Bind _ _ _) = "fn"
420+ qshow (App f a) = qshow f ++ qshow a
421+ qshow (P _ n _) = show n
422+ qshow (Constant c) = show c
423+ qshow _ = ""
424+
425+ -- Simple but effective string hashing...
426+ -- Keep it to 32 bits for readability/debuggability
421427 qhash :: Int -> String -> String
422− qhash acc [] = showHex acc ""
423− qhash acc (x:xs) = qhash (fromEnum x + acc) xs
428+ qhash hash [] = showHex (abs hash `mod` 0xffffffff) ""
429+ qhash hash (x:xs) = qhash (hash * 33 + fromEnum x) xs
424430
425431-- checks if the clause is a possible left hand side. Returns the term if
426432-- possible, otherwise Nothing.