From d6002466634d9ff39b05a7d718de9c9ec1529cbf Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 6 Aug 2019 13:44:21 -0400 Subject: [PATCH] :memo: the Semigroup instance for Concrete. --- semantic-core/src/Analysis/Concrete.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/semantic-core/src/Analysis/Concrete.hs b/semantic-core/src/Analysis/Concrete.hs index 3b8718ab2..78f79dc48 100644 --- a/semantic-core/src/Analysis/Concrete.hs +++ b/semantic-core/src/Analysis/Concrete.hs @@ -48,6 +48,7 @@ data Concrete | String Text | Record Env deriving (Eq, Ord, Show) + -- | We derive the 'Semigroup' instance for 'Concrete' to take the second argument. This is equivalent to stating that the return value of an imperative sequence of statements is the value of its final statement. deriving Semigroup via Last Concrete recordFrame :: Concrete -> Maybe Env