search

cedar-policy / rfcs

Apache License 2.0
10 stars 8 forks source link

Changes `IDENT` -> `PATH #51

Closed aaronjeline closed 9 months ago

aaronjeline commented 9 months ago

Small change to the grammar:

The rule for types used to be this:

Type      := PRIMTYPE | IDENT | SetType | RecType

Where IDENT is a pure non-namespaced identifier. I believe we want Type to instead refer to a Path which is non-empty list of identifiers separated by ::

Rendered

andrewmwells-amazon commented 9 months ago

LGTM.

aaronjeline commented 9 months ago

Looks good. A reference to a type can be qualified to reference types declared in another namespace. TypeDecl still uses Ident since those can't be qualified.

Right, because that Ident is always implicitly in the current namespace