Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

[gitfix] rebase fix

Browse Source
This commit is contained in:
Arnaud DABY-SEESARAM 2022-12-13 15:04:53 +01:00
parent bb017afe39
commit 69b963c305
3 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/ast_to_c.ml
View File

@ -169,7 +169,6 @@ let pp_expression node_name =
| ETuple _ -> | ETuple _ ->
Format.fprintf fmt "%a" Format.fprintf fmt "%a"
pp_expression_list expression; pp_expression_list expression;
| EAuto _ -> failwith "todo"
in in
pp_expression_aux pp_expression_aux

2
src/passes.ml
View File

@ -78,7 +78,6 @@ let pre2vars =
| EApp (ty, node, arg) -> | EApp (ty, node, arg) ->
let arg = pre_push arg in let arg = pre_push arg in
EApp (ty, node, arg) EApp (ty, node, arg)
| EAuto _ -> failwith "toto"
in in
let rec aux (expr: t_expression) = let rec aux (expr: t_expression) =
match expr with match expr with
@ -113,7 +112,6 @@ let pre2vars =
| EApp (ty, node, arg) -> | EApp (ty, node, arg) ->
let arg = aux arg in let arg = aux arg in
EApp (ty, node, arg) EApp (ty, node, arg)
| EAuto _ -> failwith "todo"
in in
expression_pass (Utils.somify aux) expression_pass (Utils.somify aux)

2
src/utils.ml
View File

@ -32,7 +32,5 @@ let type_exp : t_expression -> full_ty = function
| EConst (full_ty , _) -> full_ty | EConst (full_ty , _) -> full_ty
| ETuple (full_ty , _) -> full_ty | ETuple (full_ty , _) -> full_ty
| EApp (full_ty , _ , _) -> full_ty | EApp (full_ty , _ , _) -> full_ty
| EAuto _ -> raise (MyParsingError ("bloup", Parsing.(symbol_start_pos(),
symbol_end_pos())))
let somify f = fun e -> Some (f e) let somify f = fun e -> Some (f e)