146
146
Function{funClauses = cls}
148
148
reportSLn "tc.proj.like" 30 $ " projection-like functions cannot have absurd clauses"
149
149
-- Constructor-headed functions can't be projection-like (at the moment). The reason
150
150
-- for this is that invoking constructor-headedness will circumvent the inference of