shut up about errors in display mode

src/typing/typecore.ml

@@ -257,7 +257,7 @@ let make_static_call ctx c cf map args t p =
 	make_call ctx ef args (map t) p
 
 let raise_or_display ctx l p =
-	if ctx.untyped then ()
+	if ctx.untyped || ctx.com.display <> DMNone then ()
 	else if ctx.in_call_args then raise (WithTypeError(l,p))
 	else display_error ctx (error_msg (Unify l)) p