LDWG meeting minutes, March 4, 2019

Attendees

• Mihai Budiu (VMware)
• Nate Foster (Cornell)
• Mario Baldi (Cisco)
• Hemant Singh (MNK Consulting)
• Antonin Bas (Barefoot)
• Calin Cascaval (Barefoot)
• Chris Dodd (Barefoot)
• Jed Liu (Barefoot)
• Chris Sommers (Keysight)
• Itzik Ashkenazi (Technion)
• Andy Fingerhut (Cisco)

PR #701

• Proposal has two components:
  • add int<1> as a type
  • add slices on signed values
• Action item: reviewers should take another look and converge toward a solution.

PR #706

• Proposal seeks to clarify use of arbitrary precision integers.
• Discussion around whether we should add restrictions on how int can be used.
• Action item: reviewers should take another look and converge toward a solution.

PR #712

• Proposal adds an expression for size (in bits) of headers.
• Implementation was non-trivial but has been added to p4c.
• Discussion:
  • Should we have a version that returns the maximum size in bits if header contains a varbit?
  • Should we rename sizeInBits to minSizeInBits? to avoid confusion?
  • @jafinger pointed out that the bytes variant is most useful.
• Action Item: We'll rename to minSizeInBits and add the bytes variants. We'll wait on the max versions until there is a use case.

PR #724

• Proposal adds small fixes to grammar for annotation bodies.
• Action Item: @liujed will merge.

Issue #744

• Proposal seeks to find a solution to the "field list" problem
• However, it seems to not be enough -- need to also have call by reference
• Action Item: Discussion to continue offline

PR #719

• Proposal seeks to complete support for nested structures
• Action Item: Hemant will revise the pull request and others can review.