|
@@ -169,7 +169,7 @@ let rec unify_call_args' ctx el args r callp inline force_inline =
|
|
| (e,p) :: el, [] ->
|
|
| (e,p) :: el, [] ->
|
|
begin match List.rev !skipped with
|
|
begin match List.rev !skipped with
|
|
| [] ->
|
|
| [] ->
|
|
- if ctx.com.display.dms_display then begin
|
|
|
|
|
|
+ if ctx.in_display then begin
|
|
let e = type_expr ctx (e,p) WithType.value in
|
|
let e = type_expr ctx (e,p) WithType.value in
|
|
(e,false) :: loop el []
|
|
(e,false) :: loop el []
|
|
end else call_error Too_many_arguments p
|
|
end else call_error Too_many_arguments p
|