New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Write specification for current RecordFlux DSL #11

Closed

senier opened this issue Jul 9, 2018 · 1 comment

Assignees

Member

senier commented Jul 9, 2018

Create a full specification of our current understanding of the DSL as collecting in the various .rflx files in the tests/ subdirectory.

The document should cover

File structure and file inclusion
Declaration of primitive types (numeric, enumeration)
Complex (record) type
Type invariants
Type refinement

For each construct, define the static semantics (syntax) and an example.

senier assigned treiher

Member Author

senier commented Aug 13, 2018

Basic spec is done, we'll extend it in issue on specific constructs to be added to the DSL.

senier closed this as completed

senier added a commit that referenced this issue


          Make productions italic

Ref. #11

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment