From 970161464ac88fb5eb41f2b1b4a173d44455c556 Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Sun, 4 Apr 2021 22:28:13 +0200 Subject: [PATCH] Add constraint --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 393e736d..69d23803 100644 --- a/README.md +++ b/README.md @@ -6197,6 +6197,9 @@ then the variable 'v1' will be initialized with the contains of 'arguments...' given to the specialized initializer operator INIT\_WITH (and not the empty initializer INIT operator). +An argument shall not contain any comma or it shall be +between parenthesis. In particular, if the argument is a compound +litteral the full compound litteral shall be put between parenthesis. There shall be at most one M\_LET macro per line of source code.