@@ -510,7 +510,9 @@ elabClause info tcgen (cnum, PClause fc fname lhs_in withs rhs_in whereblock)
510 checkInferred fc (delab' i crhs True) rhs
510 checkInferred fc (delab' i crhs True) rhs
511 return $ Right (clhs, crhs)
511 return $ Right (clhs, crhs)
513− decorate x = UN (show x ++ "#" ++ show cnum ++ "#" ++ show fname)
513+ decorate (NS x ns) = NS (UN ('#':show x)) (ns ++ [show cnum, show fname])
514+ decorate x = NS (UN ('#':show x)) [show cnum, show fname]
514 pinfo ns ps i
516 pinfo ns ps i
515 = let ds = concatMap declared ps
517 = let ds = concatMap declared ps
516 newps = params info ++ ns
518 newps = params info ++ ns