search

Whiley / WhileyDocs

Various documents relating to the Whiley Programming Language.
7 stars 2 forks source link

Remove lifetime syntax from WLS #41

Open DavePearce opened 2 years ago

DavePearce commented 2 years ago

Section 4.5 "References" indicates lifetime syntax.

DavePearce commented 2 years ago

ALso Section 5.1.1 "Named Blocks".

DavePearce commented 2 years ago

Also Section 6.8 "Invoke Expressions"