Browse Source

[matcher] still bother in values

Simon Krajewski 6 năm trước cách đây
mục cha
commit
ff4b8d4856
1 tập tin đã thay đổi với 1 bổ sung1 xóa
  1. 1 1
      src/typing/matcher.ml

+ 1 - 1
src/typing/matcher.ml

@@ -1612,7 +1612,7 @@ module Match = struct
 		{e with epos = p}
 
 	let match_expr ctx e cases def with_type postfix_match p = match cases,def with
-		| [],None ->
+		| [],None when (match with_type with WithType.NoValue -> true | _ -> false) ->
 			type_expr ctx e WithType.value
 		| _ ->
 			match_expr ctx e cases def with_type postfix_match p