Skip to content
Snippets Groups Projects
Commit 2df171d4 authored by sheaf's avatar sheaf Committed by Marge Bot
Browse files

user's guide: NamedDefaults vs ExtendedDefaultRules 

This commit clarifies the defaulting rules with NamedDefaults,
in particular in situations where a type variable appears in other
constraints than standard/unary constraints.
parent 0c9fd8d4
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
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