Commit fdaede60 authored by sven.panne@aedion.de's avatar sven.panne@aedion.de
Browse files

Warning police: Removed catch-all case which was overlapped

parent a896a832
......@@ -300,7 +300,6 @@ stripUnknowns names id = setIdType id . fst . go names . idType
kind1 = mkArrowKind liftedTypeKind liftedTypeKind
kind2 = mkArrowKind kind1 liftedTypeKind
kind3 = mkArrowKind kind2 liftedTypeKind
stripUnknowns _ id = id
-----------------------------
-- | The :breakpoint command
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment