github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Rename binds to do'.

Browse Source
This commit is contained in:
Rob Rix 2019-07-22 14:43:56 -04:00
parent 724ae1763f
commit 0797316ead
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
semantic-core/src/Analysis/Eval.hs
View File

@ -111,7 +111,7 @@ prog4 = fromBody
(Core.bool False))
prog5 :: File (Term Core User)
prog5 = fromBody $ ann (binds
prog5 = fromBody $ ann (do'
[ Just (named' "mkPoint") :<- lams [named' "_x", named' "_y"] (ann (Core.record
[ ("x", ann (pure "_x"))
, ("y", ann (pure "_y"))
@ -132,7 +132,7 @@ prog6 =
]
ruby :: File (Term Core User)
ruby = fromBody $ annWith callStack (rec (named' __semantic_global) (binds
ruby = fromBody $ annWith callStack (rec (named' __semantic_global) (do'
bindings
( var "Class" ... __semantic_super .= var "Object"
>>> record (map (\ (v :<- _) -> (v, var v)) bindings))))
@ -198,7 +198,7 @@ ruby = fromBody $ annWith callStack (rec (named' __semantic_global) (binds
infixr 1 >>>
v :<- a >>>= b = annWith callStack (named' v :<- a Core.>>>= b)
infixr 1 >>>=
binds bindings body = foldr (>>>=) body bindings
do' bindings body = foldr (>>>=) body bindings
bool b = annWith callStack (Core.bool b)
a .= b = annWith callStack (a Core..= b)

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

@ -7,7 +7,7 @@ module Data.Core
, (>>>)
, block
, (>>>=)
, binds
, do'
, (:<-)(..)
, lam
, lams
@ -139,8 +139,8 @@ Named u n :<- a >>>= b = send (Named u a :>>= abstract1 n b)
infixr 1 >>>=
binds :: (Eq a, Foldable t, Carrier sig m, Member Core sig) => t (Maybe (Named a) :<- m a) -> m a -> m a
binds bindings body = foldr (\ (n :<- a) -> maybe (a >>>) ((>>>=) . (:<- a)) n) body bindings
do' :: (Eq a, Foldable t, Carrier sig m, Member Core sig) => t (Maybe (Named a) :<- m a) -> m a -> m a
do' bindings body = foldr (\ (n :<- a) -> maybe (a >>>) ((>>>=) . (:<- a)) n) body bindings
data a :<- b = a :<- b
deriving (Eq, Ord, Show)