git.iko.soy/Idris-dev
on master help sign in
Correct filtering for subclasses in pprintDocs for multiparameter subclasses
49d28a9Paul Koerbitz
src/Idris/Docs.hs+1−4
compare with master
unifiedsplit
@@ -123,13 +123,10 @@ pprintDocs ist (ClassDoc n doc meths params instances superclasses)
123 updateRef nm (PRef fc _) = PRef fc nm
123 updateRef nm (PRef fc _) = PRef fc nm
124 updateRef _ pt = pt
124 updateRef _ pt = pt
125
125
126− isSubclass (PPi (Constraint _ _) _ _ (PApp _ (PRef _ nm) ((PExp _ _ _ tm):_))) = nm == n && not (isApp tm)
126+ isSubclass (PPi (Constraint _ _) _ (PApp _ _ args) (PApp _ (PRef _ nm) args')) = nm == n && map getTm args == map getTm args'
127 isSubclass (PPi _ _ _ pt) = isSubclass pt
127 isSubclass (PPi _ _ _ pt) = isSubclass pt
128 isSubclass _ = False
128 isSubclass _ = False
129
129
130− isApp (PApp _ _ _) = True
131− isApp _ = False
132−
133 (subclasses, instances') = partition isSubclass instances
130 (subclasses, instances') = partition isSubclass instances
134
131
135 prettyParameters = if any (isJust . snd) params
132 prettyParameters = if any (isJust . snd) params