minor fix for empty case expression (type as void instead of {} )

parser.ml

@@ -622,12 +622,12 @@ and expr_next e1 = parser
 
 and parse_switch_cases eswitch cases = parser
 	| [< '(Kwd Default,p1); '(DblDot,_); s >] ->
-		let b = (try block1 s with Display e -> display (ESwitch (eswitch,cases,Some e),p1)) in
+		let b = EBlock (try block [] s with Display e -> display (ESwitch (eswitch,cases,Some e),p1)) in		
 		let l , def = parse_switch_cases eswitch cases s in
 		(match def with None -> () | Some (e,p) -> error Duplicate_default p);
 		l , Some (b,p1)
 	| [< '(Kwd Case,p1); el = psep Comma expr; '(DblDot,_); s >] ->
-		let b = (try block1 s with Display e -> display (ESwitch (eswitch,List.rev ((el,e) :: cases),None),p1)) in
+		let b = EBlock (try block [] s with Display e -> display (ESwitch (eswitch,List.rev ((el,e) :: cases),None),p1)) in
 		parse_switch_cases eswitch ((el,(b,p1)) :: cases) s
 	| [< >] ->
 		List.rev cases , None

typer.ml

@@ -965,7 +965,10 @@ and type_switch ctx e cases def need_val p =
 			v
 		) el in
 		if el = [] then error "Case must match at least one expression" (pos e2);
-		let e2 = type_expr ctx ~need_val e2 in
+		let e2 = (match fst e2 with 
+			| EBlock [] -> mk (TConst TNull) ctx.api.tvoid (pos e2)
+			| _ -> type_expr ctx ~need_val e2
+		) in
 		locals();
 		unify_val e2;
 		(el,e2)