Skip to content

Commit

Permalink
fix(policy): add line terminator so ABNF compiles (#14)
Browse files Browse the repository at this point in the history
  • Loading branch information
smoyer64 authored Aug 5, 2024
1 parent 40af005 commit cc7fe93
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,7 @@ connective = "[" DQUOTE "not" DQUOTE "," statement "]" ; Ne
/ "[" DQUOTE "and" DQUOTE ",[" statement *("," statement) "]]" ; Conjuction
/ "[" DQUOTE "or" DQUOTE ",[" statement *("," statement) "]]" ; Disjunction
quanitifier = "[" DQUOTE "every" DQUOTE "," selector "," policy "]" ; Universal
quantifier = "[" DQUOTE "every" DQUOTE "," selector "," policy "]" ; Universal
/ "[" DQUOTE "some" DQUOTE "," selector "," policy "]" ; Existential
;; COMPARISONS
Expand Down Expand Up @@ -429,7 +429,7 @@ null

[jq] is a much larger language than UCAN's selectors. jq includes features like pipes, arithmatic, regexes, assignment, recursive descent, and so on which MUST NOT be supported in the UCAN Policy language.

jq produces streams of values, in contract to UCAN argument selectors which return an IPLD value. This introduces the primary difference between jq and UCAN argument selectors is how to treat output of the try (`?`) operator: UCAN's `try` selector operator MUST return `null` for the failure case.
jq produces streams of values, in contrast to UCAN argument selectors which return an IPLD value. This introduces the primary difference between jq and UCAN argument selectors is how to treat output of the try (`?`) operator: UCAN's `try` selector operator MUST return `null` for the failure case.

## Validation

Expand Down

0 comments on commit cc7fe93

Please sign in to comment.