HoleErrors
ActivePublic

Details

Rule Type
Personal
Author
Tritlo
Applies To
Differential Revisions

Description

When all of these conditions are met:

Affected files matches regexp @/TcHoleErrors.hs@
Author is not any of Tritlo

Take these actions if this rule did not match the last time:

Send an email to rule author.
Tritlo created this rule.
Tritlo renamed this rule from "Valid Substitutions" to "HoleErrors".