ソースを参照

[display] don't fail on too many type parameters in display mode

closes #7123
Simon Krajewski 7 年 前
コミット
07ba0acc36
1 ファイル変更2 行追加0 行削除
  1. 2 0
      src/typing/typeload.ml

+ 2 - 0
src/typing/typeload.ml

@@ -308,6 +308,8 @@ let rec load_instance' ctx (t,pn) allow_no_params p =
 				| t :: tl,[] ->
 					if is_rest then
 						t :: loop tl [] true
+					else if ctx.com.display.dms_error_policy = EPIgnore then
+						[]
 					else
 						error ("Too many parameters for " ^ s_type_path path) p
 			in