Goose: Timeline

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

6 check-ins using file bs/builtins/types/overloadset/invoke.cpp version 86a2d1f16a

2019-03-23
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		ir: terms can now contain a pointer to another term, for situations where a mutable terms needs to be shared by multiple expressions. func: use a term pointer to store the function's content, so that we can distinguish a not-yet-parsed function from a non evaluated function value. check-in: a742f106d4 user: achavasse tags: trunk
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