@@ -510,7 +510,9 @@ elabClause info tcgen (cnum, PClause fc fname lhs_in withs rhs_in whereblock)
510510 checkInferred fc (delab' i crhs True) rhs
511511 return $ Right (clhs, crhs)
512512 where
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]
515+
514516 pinfo ns ps i
515517 = let ds = concatMap declared ps
516518 newps = params info ++ ns