Skip to content

Commit 5c6cbed

Browse files
authored
Merge pull request #74 from bendyarm/remove-hash_many
[aleo.abnf] Take out rules for hash_many.*, which are not documented …
2 parents 7ce622e + 69f6c44 commit 5c6cbed

File tree

1 file changed

+13
-26
lines changed

1 file changed

+13
-26
lines changed

aleo.abnf

+13-26
Original file line numberDiff line numberDiff line change
@@ -345,13 +345,11 @@ assert-op = %s"assert.eq" / %s"assert.neq"
345345
commit-op = %s"commit.bhp" ( "256" / "512" / "768" / "1024" )
346346
/ %s"commit.ped" ( "64" / "128" )
347347

348-
hash1-op = %s"hash.bhp" ( "256" / "512" / "768" / "1024" )
349-
/ %s"hash.ped" ( "64" / "128" )
350-
/ %s"hash.psd" ( "2" / "4" / "8" )
351-
/ %s"hash.keccak" ( "256" / "384" / "512" )
352-
/ %s"hash.sha3_" ( "256" / "384" / "512" )
353-
354-
hash2-op = %s"hash_many.psd" ( "2" / "4" / "8" )
348+
hash-op = %s"hash.bhp" ( "256" / "512" / "768" / "1024" )
349+
/ %s"hash.ped" ( "64" / "128" )
350+
/ %s"hash.psd" ( "2" / "4" / "8" )
351+
/ %s"hash.keccak" ( "256" / "384" / "512" )
352+
/ %s"hash.sha3_" ( "256" / "384" / "512" )
355353

356354
cast-op = %s"cast" / %s"cast.lossy"
357355

@@ -375,25 +373,14 @@ commit = commit-op ws operand ws operand
375373
ws %s"into" ws register-access
376374
ws %s"as" ws ( address-type / field-type / group-type )
377375

378-
hash1 = hash1-op ws operand
379-
ws %s"into" ws register-access
380-
ws %s"as" ws
381-
( arithmetic-type
382-
/ address-type
383-
/ signature-type
384-
/ array-type
385-
/ identifier )
386-
387-
hash2 = hash2-op ws operand ws operand
388-
ws %s"into" ws register-access
389-
ws %s"as" ws
390-
( arithmetic-type
391-
/ address-type
392-
/ signature-type
393-
/ array-type
394-
/ identifier )
395-
396-
hash = hash1 / hash2
376+
hash = hash-op ws operand
377+
ws %s"into" ws register-access
378+
ws %s"as" ws
379+
( arithmetic-type
380+
/ address-type
381+
/ signature-type
382+
/ array-type
383+
/ identifier )
397384

398385
signverify = %s"sign.verify" ws operand ws operand ws operand
399386
ws %s"into" ws register-access

0 commit comments

Comments
 (0)