Commit dbc08df1 authored by Michael Hanus 's avatar Michael Hanus

Docs updated

parent afdf25af
......@@ -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