From 010aca1966eeb260529041d209d69a92654465f8 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 24 Sep 2019 20:15:54 +0200 Subject: synth: rework type for expression. --- src/synth/synth-expr.ads | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/synth/synth-expr.ads') diff --git a/src/synth/synth-expr.ads b/src/synth/synth-expr.ads index 142a8a3a2..dbe092434 100644 --- a/src/synth/synth-expr.ads +++ b/src/synth/synth-expr.ads @@ -58,12 +58,17 @@ package Synth.Expr is function Concat_Array (Arr : Net_Array_Acc) return Net; function Synth_Expression_With_Type - (Syn_Inst : Synth_Instance_Acc; Expr : Node; Expr_Type : Node) + (Syn_Inst : Synth_Instance_Acc; Expr : Node; Expr_Type : Type_Acc) return Value_Acc; function Synth_Expression (Syn_Inst : Synth_Instance_Acc; Expr : Node) return Value_Acc; + -- Use base type of EXPR to synthesize EXPR. Useful when the type of + -- EXPR is defined by itself or a range. + function Synth_Expression_With_Basetype + (Syn_Inst : Synth_Instance_Acc; Expr : Node) return Value_Acc; + function Synth_Bounds_From_Range (Syn_Inst : Synth_Instance_Acc; Atype : Node) return Bound_Type; -- cgit v1.2.3