Skip to content

Commit

Permalink
[Leo] Remove affine group literals.
Browse files Browse the repository at this point in the history
  • Loading branch information
acoglio committed Jan 30, 2025
1 parent d350432 commit 524c2b9
Showing 1 changed file with 4 additions and 12 deletions.
16 changes: 4 additions & 12 deletions leo.abnf
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
; Copyright (C) 2019-2023 Aleo Systems Inc.
; Copyright (C) 2024 Provable Inc.
; Copyright (C) 2024-2025 Provable Inc.
; This file is part of the Leo library.

; The Leo library is free software: you can redistribute it and/or modify
Expand Down Expand Up @@ -190,13 +190,13 @@ integer-literal = unsigned-literal

field-literal = decimal-numeral %s"field"

product-group-literal = decimal-numeral %s"group"
group-literal = decimal-numeral %s"group"

scalar-literal = decimal-numeral %s"scalar"

numeric-literal = integer-literal
/ field-literal
/ product-group-literal
/ group-literal
/ scalar-literal

boolean-literal = %s"true" / %s"false"
Expand Down Expand Up @@ -240,8 +240,7 @@ symbol = "!"
/ "[" / "]"
/ "{" / "}"
/ "," / "." / ".." / ";" / ":" / "::" / "?"
/ "->" / "=>" / "_"
/ %s")group"
/ "->" / "=>"

token = keyword
/ identifier
Expand Down Expand Up @@ -315,18 +314,11 @@ named-type = named-primitive-type
/ untyped-future-type
/ identifier

group-coordinate = ( [ "-" ] decimal-numeral ) / "+" / "-" / "_"

affine-group-literal = "(" group-coordinate "," group-coordinate %s")group"

program-address-literal = program-id

literal = atomic-literal
/ affine-group-literal
/ program-address-literal

group-literal = product-group-literal / affine-group-literal

address-literal = explicit-address-literal / program-address-literal

primary-expression = literal
Expand Down

0 comments on commit 524c2b9

Please sign in to comment.