Closed unironically closed 9 months ago
Addressing https://github.com/melt-umn/silver/issues/454, implementing concise function declaration syntax as a compiler extension.
Each concise function declaration forwards to a global lambda expression. This is to avoid the decoration involved with the verbose function declaration style.
shortFunctionDcl
Tests added for concise function syntax under silver_features (https://github.com/melt-umn/silver/commit/718d707b17bf08ec982ef43cf8f393ce019213fd). This includes tests with and without type variables and constraints.
silver_features
Changes
Addressing https://github.com/melt-umn/silver/issues/454, implementing concise function declaration syntax as a compiler extension.
Each concise function declaration forwards to a global lambda expression. This is to avoid the decoration involved with the verbose function declaration style.
Documentation
shortFunctionDcl
production as per https://github.com/melt-umn/silver/pull/819/commits/86397cd26f30952944ec14efb86372dfc78df649.Testing
Tests added for concise function syntax under
silver_features
(https://github.com/melt-umn/silver/commit/718d707b17bf08ec982ef43cf8f393ce019213fd). This includes tests with and without type variables and constraints.