فهرست منبع

[macro] use vnull instead of asserting

closes #8024
Simon Krajewski 6 سال پیش
والد
کامیت
88c77bbe2c
1فایلهای تغییر یافته به همراه1 افزوده شده و 1 حذف شده
  1. 1 1
      src/typing/macroContext.ml

+ 1 - 1
src/typing/macroContext.ml

@@ -677,7 +677,7 @@ let type_macro ctx mode cpath f (el:Ast.expr list) p =
 				| None -> Interp.vnull
 				end
 			| MAOther -> match Interp.eval_expr ictx et with
-				| None -> assert false
+				| None -> Interp.vnull
 				| Some v -> v
 		) eargs elt
 	in