Minutes of the LB NM, 9th September 2018

Present: PC, KP, AH, PJ, NP. Minutes by PJ.

The meeting started at 11:00.

1. Minutes of previous meeting

The minutes of the meeting held at the 13th May 2018 were reviewed and accepted.

2. Status of open actions

PJ: Announce via core that the library submission workflow is ready.

That has been taken care of. Action closed.

3. Discussion of open RMs and issues raised

RC #44 Total Functions

Summary of discussion:

• We will allow use of total function types other places that at the top-level.

• We will update the LRM to say that the standard is more restrictive than the LRM/tools. Paul will propose updates.

• A precondition does not define the domain but just specifies some constraints on the arguments - see this comment for an example of why this makes sense.

• It should be allowed to declare a function with no arguments partial since one can define a return value that is undefined.

• Use of total/partial functions requires POs to be generated. For example, a total function definition should require a PO to check the claim, and assigning a partial function value to a total function variable should also require a PO.

4. Working Groups

Discussion of OOs issues

No progress.

Documenting the complete set of POs for VDM

No progress.

5. Additional Github issues

None.

6. Other Business

None.

7. Open actions

None.

Meeting closed 11:35 - 35 minutes.