Commit 4b9fcb0d authored by Michael Hanus 's avatar Michael Hanus

Docs updated

parent 5b2348f8
......@@ -2,8 +2,8 @@ Sibling constructor analysis
----------------------------
This analysis associates to each data constructor the list of
sibling constructors, i.e., all constructors of the same type
without this data constructor.
sibling constructors, i.e., the qualified name and arity of
all constructors of the same type without this data constructor.
For instance, the sibling constructors of `Prelude.True` are
`[Prelude.False]`.
`[(("Prelude","False"),0)]`.
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