diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-03-03 12:14:01 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-03-03 12:14:01 +0000 |
| commit | b9bdfbc24d518492f4a61049746a750a30f0701a (patch) | |
| tree | 2c0547775644b5f2c4d8822cc1099b28efe2fe37 /src/Helium/Data/Pseudocode/Core.agda | |
| parent | 209a40f37aa9667a9c03acc4f69a760061cfaeb4 (diff) | |
Add way to convert function calls to expressions
Diffstat (limited to 'src/Helium/Data/Pseudocode/Core.agda')
| -rw-r--r-- | src/Helium/Data/Pseudocode/Core.agda | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Helium/Data/Pseudocode/Core.agda b/src/Helium/Data/Pseudocode/Core.agda index 79e34a2..a229e8a 100644 --- a/src/Helium/Data/Pseudocode/Core.agda +++ b/src/Helium/Data/Pseudocode/Core.agda @@ -265,8 +265,8 @@ module Code {o} (Σ : Vec Type o) where _≔_ : ∀ {t} → (ref : Expression Γ t) → {canAssign : True (canAssign? ref)} → Expression Γ t → Statement Γ declare : ∀ {t} → Expression Γ t → Statement (t ∷ Γ) → Statement Γ invoke : ∀ {m Δ} → Procedure Δ → All (Expression Γ) {m} Δ → Statement Γ - if_then_else_ : Expression Γ bool → Statement Γ → Statement Γ → Statement Γ if_then_ : Expression Γ bool → Statement Γ → Statement Γ + if_then_else_ : Expression Γ bool → Statement Γ → Statement Γ → Statement Γ for : ∀ m → Statement (fin m ∷ Γ) → Statement Γ data ChangesState where |