From b851621c6f22d1ef54708d6925b412df5635905b Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 22 Jul 2019 10:40:17 -0400 Subject: [PATCH] :memo: Rec. --- semantic-core/src/Data/Core.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/semantic-core/src/Data/Core.hs b/semantic-core/src/Data/Core.hs index 422fe1554..643eb9435 100644 --- a/semantic-core/src/Data/Core.hs +++ b/semantic-core/src/Data/Core.hs @@ -50,6 +50,9 @@ data Edge = Lexical | Import deriving (Eq, Ord, Show) data Core f a + -- | Recursive local binding of a name in a scope; strict evaluation of the name in the body will diverge. + -- + -- Simultaneous (and therefore potentially mutually-recursive) bidnings can be made by binding a 'Record' recursively within 'Rec' and projecting from it with ':.'. = Rec (Named (Scope () f a)) -- | Sequencing without binding; analogous to '>>' or '*>'. | f a :>> f a