Skip to content

Commit

Permalink
Fix getFunctionReturnType
Browse files Browse the repository at this point in the history
  • Loading branch information
Virgil Serbanuta authored and Virgil Serbanuta committed Aug 22, 2024
1 parent 63da576 commit f9d07d7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion rust-semantics/preprocessing/helpers.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ module RUST-PREPROCESSING-PRIVATE-HELPERS
rule getFunctionBlockOrSemicolon(_F:FunctionWithWhere B:BlockExpressionOrSemicolon)
=> B
syntax Type ::= getFunctionReturnType(Function)
syntax Type ::= getFunctionReturnType(Function) [function, total]
rule getFunctionReturnType(_Q:FunctionQualifiers F:FunctionWithoutQualifiers)
=> getFunctionReturnType(F)
rule getFunctionReturnType(F:FunctionWithWhere _B:BlockExpression)
Expand Down

0 comments on commit f9d07d7

Please sign in to comment.