Wrap long line.
This commit is contained in:
parent
63f9bd7b63
commit
ec0de963e0
@ -821,17 +821,18 @@ let trans_crate
|
|||||||
|
|
||||||
| Ast.STMT_log a ->
|
| Ast.STMT_log a ->
|
||||||
begin
|
begin
|
||||||
match Semant.simplified_ty (Semant.atom_type sem_cx a) with
|
let aty = Semant.atom_type sem_cx a in
|
||||||
(* NB: If you extend this, be sure to update the
|
match Semant.simplified_ty aty with
|
||||||
* typechecking code in type.ml as well. *)
|
(* NB: If you extend this, be sure to update the
|
||||||
Ast.TY_str -> trans_log_str a
|
* typechecking code in type.ml as well. *)
|
||||||
| Ast.TY_int | Ast.TY_uint | Ast.TY_bool | Ast.TY_char
|
Ast.TY_str -> trans_log_str a
|
||||||
| Ast.TY_mach (TY_u8) | Ast.TY_mach (TY_u16)
|
| Ast.TY_int | Ast.TY_uint | Ast.TY_bool | Ast.TY_char
|
||||||
| Ast.TY_mach (TY_u32) | Ast.TY_mach (TY_i8)
|
| Ast.TY_mach (TY_u8) | Ast.TY_mach (TY_u16)
|
||||||
| Ast.TY_mach (TY_i16) | Ast.TY_mach (TY_i32) ->
|
| Ast.TY_mach (TY_u32) | Ast.TY_mach (TY_i8)
|
||||||
trans_log_int a
|
| Ast.TY_mach (TY_i16) | Ast.TY_mach (TY_i32) ->
|
||||||
| _ -> Semant.bugi sem_cx head.id
|
trans_log_int a
|
||||||
"unimplemented logging type"
|
| _ -> Semant.bugi sem_cx head.id
|
||||||
|
"unimplemented logging type"
|
||||||
end;
|
end;
|
||||||
trans_tail ()
|
trans_tail ()
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user