ton-blockchain / TEPs

265 stars 138 forks source link

Incorrect TL-B scheme in TEP-64 #119

Open pyAndr3w opened 1 year ago

pyAndr3w commented 1 year ago

Compiling a TL-B scheme from TEP-64 using the standard tools (tlbc) results in an error:

test.tlb:1:23: error: variable `bn` used before being assigned to
  tail#_ {bn:#} b:(bits bn) = SnakeData ~0;
(spoiler) Current TL-B scheme from TEP-64 ```c# tail#_ {bn:#} b:(bits bn) = SnakeData ~0; cons#_ {bn:#} {n:#} b:(bits bn) next:^(SnakeData ~n) = SnakeData ~(n + 1); chunked_data#_ data:(HashMapE 32 ^(SnakeData ~0)) = ChunkedData; text#_ {n:#} data:(SnakeData ~n) = Text; snake#00 data:(SnakeData ~n) = ContentData; chunks#01 data:ChunkedData = ContentData; onchain#00 data:(HashMapE 256 ^ContentData) = FullContent; offchain#01 uri:Text = FullContent; ```
naxoootcnjncgjnnxfhjjv commented 1 week ago

test.tlb:1%3A23%3A%20error%3A%20variable%20%60bn%60%20used%20before%20being%20assigned%20to%0A%20%20tail%23_%20%7Bbn:%23%7D%20b:(bits%20bn)%20=%20SnakeData%20~0;

MrSlivkija commented 1 week ago

Hello

naxoootcnjncgjnnxfhjjv commented 1 week ago

test.tlb:1%3A23%3A%20error%3A%20variable%20%60bn%60%20used%20before%20being%20assigned%20to%0A%20%20tail%23_%20%7Bbn:%23%7D%20b:(bits%20bn)%20=%20SnakeData%20~0;

naxoootcnjncgjnnxfhjjv commented 1 week ago

hello

Amirbakhtiaro commented 1 week ago

Compiling a TL-B scheme from TEP-64 using the standard tools (tlbc) results in an error:

test.tlb:1:23: error: variable `bn` used before being assigned to
  tail#_ {bn:#} b:(bits bn) = SnakeData ~0;

(spoiler) Current TL-B scheme from TEP-64

https://github.com/ton-blockchain/TEPs/issues/119#issue-1638727951

tikto29 commented 6 days ago

test.tlb:1:23: error: variable bn used before being assigned to tail#_ {bn:#} b:(bits bn) = SnakeData ~0;

MrSoe007 commented 4 days ago

Hello

Wtfisthatgg commented 3 days ago

🤡

mostafaevazi99 commented 3 days ago

Compiling a TL-B scheme from TEP-64 using the standard tools (tlbc) results in an error:

test.tlb:1:23: error: variable `bn` used before being assigned to
  tail#_ {bn:#} b:(bits bn) = SnakeData ~0;

(spoiler) Current TL-B scheme from TEP-64

mostafaevazi99 commented 3 days ago

Compiling a TL-B scheme from TEP-64 using the standard tools (tlbc) results in an error:

test.tlb:1:23: error: variable `bn` used before being assigned to
  tail#_ {bn:#} b:(bits bn) = SnakeData ~0;

(spoiler) Current TL-B scheme from TEP-64

mostafaevazi99 commented 3 days ago

Hi

mostafaevazi99 commented 3 days ago

Hi bach

mostafaevazi99 commented 3 days ago

Hi bach

Salehsohrabi commented 2 days ago

سهلام

Salehsohrabi commented 2 days ago

3

thsafe commented 15 hours ago

IMG_8517 IMG_8515