Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
26 check-ins using file bs/sema/substitute.cpp version 0fbdd5edb3
|
2019-04-01
| ||
| 20:25 | Higher order polymorphism: implemented ConstrainedFunc invocation rule. check-in: 01c479df9a user: achavasse tags: trunk | |
| 19:57 | Higher order polymorphism: added ConstrainedFunc type. check-in: 0d3294dcf0 user: achavasse tags: trunk | |
|
2019-03-31
| ||
| 20:42 | Higher order functions: template lambdas can be passed to template function parameters. check-in: 25d0ee65d4 user: achavasse tags: trunk | |
| 19:05 | Use conan to install immer, and updated conan.cmake to the latest version. check-in: b9a16492e0 user: achavasse tags: trunk | |
| 10:26 | When unifying an overloadset with a tfunc typed parameter, create a new namespace index to isolate hole names in the overloaadset from those in the called's function signature. check-in: 7da1393cf1 user: achavasse tags: trunk | |
| 10:18 | Higher order functions: overload sets can be passed to template function type parameters. check-in: e184bef77b user: achavasse tags: trunk | |
|
2019-03-30
| ||
| 16:28 |
| |
| 15:30 |
| |
|
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 | |
| 13:45 | Higher order functions: some fixes and cleanup, the simplest case (lambda function passed as parameter for a matching function type) works. check-in: 152d39532f user: achavasse tags: trunk | |
| 13:08 |
| |
|
2019-03-22
| ||
| 21:42 | Func: finally abandon the Term type which adds too much overhead and can be lived without, but instead store the signature directly as the param types, inside of the function type. check-in: 0618ab859e user: achavasse tags: trunk | |
| 21:03 | Func: param unification. check-in: d62116e3e8 user: achavasse tags: trunk | |
| 20:28 | Func: added Param type. check-in: dc1e1c4c16 user: achavasse tags: trunk | |
| 20:13 | Use the entire callee value to look up invocation rules rather than just their type, and restricted template invocation to constant tfunc values. check-in: 0ecc71a91f user: achavasse tags: trunk | |
|
2019-03-19
| ||
| 20:17 | Higher-order functions: implemented BuildArgPatternFromFuncType() and BuildArgPatternFromTFuncType(). check-in: 65cbac9aa3 user: achavasse tags: trunk | |
|
2019-03-18
| ||
| 21:00 | Invocation rule: added "prepareFunc" method. check-in: 48e869cb9a user: achavasse tags: trunk | |
| 20:41 | Split out the retrieval/construction of a template instance into a separate function. check-in: 2847fd86e7 user: achavasse tags: trunk | |
|
2019-03-17
| ||
| 20:56 | Sema: terms can now be wrapped along with a post processing function. This is similar to the substitute call back, but it is invoked after the best unification solution has been chosen. check-in: 396ab349c6 user: achavasse tags: trunk | |
| 15:54 | Sema: terms can now be wrapped along with a callback to be invoked by Substitute(). check-in: dd70f4c696 user: achavasse tags: trunk | |