|
@@ -1082,7 +1082,7 @@ let check_abstract (ctx,cctx,fctx) c cf fd t ret p =
|
|
|
);
|
|
|
a.a_is <- Some (t,cf);
|
|
|
| _ ->
|
|
|
- error ("`is` overloads must be a function that takes a single non-optional argument and returns Bool") cf.cf_pos
|
|
|
+ error ("`is` overload must be a function that takes a single non-optional argument and returns Bool") cf.cf_pos
|
|
|
end
|
|
|
| (Meta.Op,[EBinop(op,_,_),_],_) :: _ ->
|
|
|
if fctx.is_macro then error (cf.cf_name ^ ": Macro operator functions are not supported") p;
|