diff options
author | Tristan Gingold <tgingold@free.fr> | 2021-04-03 16:48:08 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2021-04-03 16:48:08 +0200 |
commit | 6617613f93e70df2e2b964f380652ea43e2bb2a5 (patch) | |
tree | 2ce620bb15fc0e5e59fc61e1f4e4a1936b985049 /src/psl/psl-nodes_meta.adb | |
parent | bfc5f5c20b791e09b5a2d80aeea5ce77b84d309f (diff) | |
download | ghdl-6617613f93e70df2e2b964f380652ea43e2bb2a5.tar.gz ghdl-6617613f93e70df2e2b964f380652ea43e2bb2a5.tar.bz2 ghdl-6617613f93e70df2e2b964f380652ea43e2bb2a5.zip |
psl: prefix of goto/non-consecutive repetition is a bool. Fix #1708
Diffstat (limited to 'src/psl/psl-nodes_meta.adb')
-rw-r--r-- | src/psl/psl-nodes_meta.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/psl/psl-nodes_meta.adb b/src/psl/psl-nodes_meta.adb index 4d229b5cd..8486c177f 100644 --- a/src/psl/psl-nodes_meta.adb +++ b/src/psl/psl-nodes_meta.adb @@ -510,13 +510,13 @@ package body PSL.Nodes_Meta is Field_Low_Bound, Field_High_Bound, -- N_Goto_Repeat_Seq - Field_Sequence, + Field_Boolean, Field_Low_Bound, Field_High_Bound, -- N_Plus_Repeat_Seq Field_Sequence, -- N_Equal_Repeat_Seq - Field_Sequence, + Field_Boolean, Field_Low_Bound, Field_High_Bound, -- N_Paren_Bool @@ -1130,9 +1130,7 @@ package body PSL.Nodes_Meta is | N_Imp_Seq | N_Overlap_Imp_Seq | N_Star_Repeat_Seq - | N_Goto_Repeat_Seq - | N_Plus_Repeat_Seq - | N_Equal_Repeat_Seq => + | N_Plus_Repeat_Seq => return True; when others => return False; @@ -1224,6 +1222,8 @@ package body PSL.Nodes_Meta is | N_Next_Event_E | N_Abort | N_Clocked_SERE + | N_Goto_Repeat_Seq + | N_Equal_Repeat_Seq | N_Paren_Bool | N_Not_Bool => return True; |