github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
Code Issues Projects Releases Wiki Activity

Give fixity & precedence for :<-.

Browse Source
This commit is contained in:
Rob Rix 2019-07-19 15:25:33 -04:00
parent 38efb33327
commit ef24642f26
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -150,6 +150,8 @@ infixr 1 >>>=
data a :<- b = a :<- b data a :<- b = a :<- b
deriving (Eq, Ord, Show) deriving (Eq, Ord, Show)
infix 2 :<-
lam :: (Eq a, Carrier sig m, Member Core sig) => Named a -> m a -> m a lam :: (Eq a, Carrier sig m, Member Core sig) => Named a -> m a -> m a
lam (Named u n) b = send (Lam (Named u (bind1 n b))) lam (Named u n) b = send (Lam (Named u (bind1 n b)))