diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-11-16 20:19:30 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-11-16 20:19:30 +0100 |
| commit | 79fa6949664f8075fdb5eebd1dd5a8564e3a8e44 (patch) | |
| tree | 5a12d1507d0047f15d6985aad1d5bc6b1d801a97 /src/vhdl/sem_expr.ads | |
| parent | 2e65cdda4c260e57869928ce772edb8b67239bdf (diff) | |
| download | ghdl-79fa6949664f8075fdb5eebd1dd5a8564e3a8e44.tar.gz ghdl-79fa6949664f8075fdb5eebd1dd5a8564e3a8e44.tar.bz2 ghdl-79fa6949664f8075fdb5eebd1dd5a8564e3a8e44.zip | |
sem: add force_constraints for aggregates.
Diffstat (limited to 'src/vhdl/sem_expr.ads')
| -rw-r--r-- | src/vhdl/sem_expr.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/vhdl/sem_expr.ads b/src/vhdl/sem_expr.ads index 15ae1da39..ab9718d65 100644 --- a/src/vhdl/sem_expr.ads +++ b/src/vhdl/sem_expr.ads @@ -261,7 +261,9 @@ package Sem_Expr is -- type), EXPR will be fully analyzed (possibly with an error). -- If EXPR is partially or fully analyzed, ATYPE must not be null_iir and -- it is checked with the types of EXPR. EXPR may become fully analyzed. - function Sem_Expression_Wildcard (Expr : Iir; Atype : Iir) return Iir; + function Sem_Expression_Wildcard + (Expr : Iir; Atype : Iir; Force_Constrained : Boolean := False) + return Iir; -- To be used after Sem_Expression_Wildcard to update list ATYPE of -- possible types. |