Skip to content
Snippets Groups Projects
Commit 231f014c authored by Wilma Krutrök's avatar Wilma Krutrök
Browse files

Update HOME_EXAM.md

parent c68d1af3
No related branches found
No related tags found
No related merge requests found
...@@ -592,10 +592,10 @@ The example above is valid for the type checker due to it only checking that the ...@@ -592,10 +592,10 @@ The example above is valid for the type checker due to it only checking that the
##### Functioncall ##### Functioncall
```math ```math
\frac{(<e_1,σ> → t1 ... <e_i,σ> → ti)}{<c,σ> → t_res}, \text{ where t_res = return type of function } \frac{<e_1,σ> → t_1 ... <e_i,σ> → t_i}{<c,σ> → t-res}, \text{ where } t-res = \text{return type of function }
``` ```
Each expression evaluating to the same type as the arguments connected to the function.
Each expression evaluating to the same type as the arguments connected to the function.
```rust ```rust
fn a(x: i32) -> bool { fn a(x: i32) -> bool {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment