Some example code issues in https://docs.circom.io/

[yushihang]

Issue 1~3 are fixed by #307

1. The following example code in https://docs.circom.io/circom-language/templates-and-components/#components is missing an assignment for a.in.

template A(N){
   signal input in;
   signal output out;
   out <== in;
}

template C(N){
   signal output out;
   out <== N;
}
template B(N){
  signal output out;
  component a;
  if(N > 0){
     a = A(N);
  }
  else{
     a = A(0);
  }
  a.in <== 1  //add this line
}

component main = B(1);

2. Possible missing var in for loop?

https://docs.circom.io/circom-language/templates-and-components/#components

component rollupTx[nTx];
for (var i = 0; i < nTx; i++) { //add var
        rollupTx[i] = parallel RollupTx(nLevels, maxFeeTx);
}

3. https://docs.circom.io/circom-language/code-quality/inspect/

pragma circom 2.1.0; //add pragma version

template B() { //remove arg n
  signal input in;
  signal output out;  //input -> output
  out <== in + 1;
}

template A(n) {
  signal aux;
  signal out;
  if(n == 2) {
    aux <== 2;
    out <== B()(aux);
  } else {
    out <== 5;
  }
}

component main = A(3);

4. https://docs.circom.io/circom-language/code-quality/inspect/

raise an error while being compiled