@Override
public Expression checkIgnoredType(TypingContext context) {
if(parameters.length == 2 && function instanceof EConstant && ((EConstant)function).value.getName() == Names.Prelude_dollar)
- return new EApply(location, parameters[0], parameters[1]).inferType(context);
+ return new EApply(location, parameters[0], parameters[1]).checkIgnoredType(context);
inferType(context, true);
if(Types.canonical(getType()) != Types.UNIT)
return new ESimpleLet(location, null, this, new ELiteral(NoRepConstant.PUNIT));