☰

vimでcirccomコンパイラの無効な形式のsedを再設計しました。

tag-icon • tag-icon sed vim
vimでcirccomコンパイラの無効な形式のsedを再設計しました。

回路をコンパイルし、Quickfixを使用する計画を立てます。しかし、コンパイラの出力は標準形式ではないので、解析を試してみてください。

助けが必要です

  1. sed コマンドの変更
  2. quikfix ウィンドウを使用できるように、誤った形式の出力を準備します。

質問

  1. circom コンパイラは、色に対して複数の ASCII コードを出力します。端末で解析しましたが、
[0m[1m[38;5;9merror[P1000][0m[1m: UnrecognizedToken { token: (374, Token(60, "input"), 379), expected: ["\"!=\"", "\"%\"", "\"%=\"", "\"&\"", "\"&&\"", "\"&=\"", "\"(\"", "\")\"", "\"*\"", "\"**\"", "\"**=\"", "\"*=\"", "\"+\"", "\"++\"", "\"+=\"", "\",\"", "\"-\"", "\"--\"", "\"-->\"", "\"-=\"", "\".\"", "\"/\"", "\"/=\"", "\":\"", "\";\"", "\"<\"", "\"<--\"", "\"<<\"", "\"<<=\"", "\"<=\"", "\"<==\"", "\"=\"", "\"==\"", "\"===\"", "\"==>\"", "\">\"", "\">=\"", "\">>\"", "\">>=\"", "\"?\"", "\"[\"", "\"\\\\\"", "\"\\\\=\"", "\"]\"", "\"^\"", "\"^=\"", "\"|\"", "\"|=\"", "\"||\""] }[0m
   [0m[34m┌─[0m "merkleTreeUpdater.circom":10:13
   [0m[34m│[0m
[0m[34m10[0m [0m[34m│[0m     ssignal [0m[31minput[0m oldRoot;
   [0m[34m│[0m             [0m[31m^^^^^[0m [0m[31mInvalid syntax[0m

[31mprevious errors were found[0m

正しく分析できません。

error[P1000]: UnrecognizedToken { token: (374, Token(60, "input"), 379), expected: ["\"!=\"", "\"%\"", "\"%=\"", "\"&\"", "\"&&\"", "\"&=\"", "\"(\"", "\")\"", "\"*\"", "\"**\"", "\"**=\"", "\"*=\"", "\"+\"", "\"++\"", "\"+=\"", "\",\"", "\"-\"", "\"--\"", "\"-->\"", "\"-=\"", "\".\"", "\"/\"", "\"/=\"", "\":\"", "\";\"", "\"<\"", "\"<--\"", "\"<<\"", "\"<<=\"", "\"<=\"", "\"<==\"", "\"=\"", "\"==\"", "\"===\"", "\"==>\"", "\">\"", "\">=\"", "\">>\"", "\">>=\"", "\"?\"", "\"[\"", "\"\\\\\"", "\"\\\\=\"", "\"]\"",
"\"^\"", "\"^=\"", "\"|\"", "\"|=\"", "\"||\""] }
   ┌─ "merkleTreeUpdater.circom":10:13
   │
10 │     ssignal input oldRoot;
   │             ^^^^^ Invalid syntax

previous errors were found

それを分析してみてくださいerrorformat

circom merkleTreeUpdater.circom &> >( tr -d '\n' | (sed 's/\x1B[@A-Z\\\]^_]\|\x1B\[[0-9:;<=>?]*[-!"#$%&'"'"'()*+,.\/]*[][\\@A-Z^_`a-z{|}~]//g') | (sed "s/{.*}//g") | (sed 's/\s*//g')| sed 's/^.*\]\://g' | sed 's/\(^.*\:\).*/\1/g' | sed 's/"//g' | tr -s '[\200-\377]' :)

出力：

UnrecognizedToken:merkleTreeUpdater.circom:10:

間違った形式を設定できますが、問題が発生してmakeprgnvimが終了します。

関連情報