Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
7 check-ins using file bs/sema/uni-3way.cpp version d3e5a7db5f
|
2019-03-28
| ||
| 21:00 | Higher order functions: plain lambdas can be passed to template function type parameters. check-in: ee15f9081f user: achavasse tags: trunk | |
|
2019-03-27
| ||
| 23:27 | Templates: implemented the rules for tfunctype texprs. check-in: 10aff6cb27 user: achavasse tags: trunk | |
| 22:53 | Templates: split out tfunc signature construction into a separate function. check-in: 63fb3517ff user: achavasse tags: trunk | |
| 22:46 | Template: recognize template function types as texprs, so they can be used in parameter declarations. check-in: 302667d2d9 user: achavasse tags: trunk | |
|
2019-03-26
| ||
| 20:35 | Higher order functions: overload sets can be passed as arguments for function type parameters. check-in: cf4313d58b user: achavasse tags: trunk | |
|
2019-03-25
| ||
| 22:39 | Higher order functions: it is now possible to bind a template lambda to a function typed parameter. check-in: 06b4cded56 user: achavasse tags: trunk | |
|
2019-03-23
| ||
| 14:04 | ir: made it possible to use anonymous ANYTERM patterns in matching. check-in: 61b4955ba0 user: achavasse tags: trunk | |