Make CallArity make more use of many-calls

Authored by nomeata on Feb 17 2014, 11:30 AM.

Description

Make CallArity make more use of many-calls

by elaborating the domain a bit.

Details

Committed
nomeataFeb 18 2014, 7:44 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFe789a4f51b62: Revert "Fix #8754 in a round-about way."
Branches
Unknown
Tags
Unknown