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

Added coverage and future implementation bullets

parent 0268aa68
No related branches found
No related tags found
No related merge requests found
......@@ -78,7 +78,7 @@ In the following sections will the bullet points above be covered. The answers w
## Syntax
The implemented langugage is desciribed usign EBNF grammar below. The language is implemented using lalrpop. Note that "?" means optional and when a part ends with "s" for example "programs" is it a vector containing one or more program (same as program+).
#### EBNF
```ebnf
Program
:Programs
......@@ -225,10 +225,35 @@ Bool
;
```
Showcase
#### Showcase
```rust
```
#### Coverage
- Two different function definitions (with arguments and return type or without arguments and return type)
- Let and mutable let
- Assignments
- Functioncalls
- If with or without else
- While
- Expressions
- Types: bool, i32 and unit
All statements have explicit types.
#### Future implementation
- Function definition with arguments but no return type or no arguments but return type
- Else if
- Other loops than while
- More types
- Nested functions
- Functions not needed to be decleared in specific order
- Global assignments
- Shadowing
Currently it is needed to seperate statements with ";" (except for the last one) for the parser to interpret it as a vector. This would be nice to rewrite in the future.
## Semantics
## Type checker
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment