From b9bdfbc24d518492f4a61049746a750a30f0701a Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Thu, 3 Mar 2022 12:14:01 +0000 Subject: Add way to convert function calls to expressions --- src/Helium/Data/Pseudocode/Core.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Helium/Data/Pseudocode/Core.agda') 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 -- cgit v1.2.3