Goose  Timeline

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

4 check-ins using file bs/builtins/types/template/uni-tdecl.cpp version 487a999216

2019-09-21
21:43
  • Implemented the 'requires' and 'ensures' verification statements.
  • Verification statements are lazily parsed even for non template functions, so that they can see functions defined out of order, just like in function bodies.
check-in: 2e993951e6 user: achavasse tags: trunk
2019-09-18
22:41
When instancing template functions, parse their verification statements. check-in: a9930c3c49 user: achavasse tags: trunk
2019-09-17
22:34
parser: fill in the unparsed verification statements in tfunctype. check-in: 035c904764 user: achavasse tags: trunk
20:08
  • parser: add an utility function to retrieve a sub expression in its unparsed form.
  • tfunc type: store a pointer to a vector of unparsed tokens for the verification statements.
check-in: 0c3c9488af user: achavasse tags: trunk