PROGN statements and brace blocks "{ ... }" in CUDA C

[takagi]

Currenlty, the compiler make brace blocks { ... } when compiling following statements:

• IF
• LET
• SYMBOL-MACROLET
• DO
• WITH-SHARED-MEMORY

On the other hand, It does not make brace blocks when compiling PROGN statement.

Should PROGN statements correspond to brace blocks in CUDA C?

If yes, what should LET statements be compiled into?

{
  int x = 0;
  return x;
}

or

{
  int x = 0;
  {
    return x;
  }
}

I want to adopt the former compiled code.