github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity

📝 Rec.

Browse Source
This commit is contained in:
Rob Rix 2019-07-22 10:40:17 -04:00
parent 5e8a2c27c6
commit b851621c6f
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
semantic-core/src/Data/Core.hs
View File

@ -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