1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00

Note a FIXME.

This commit is contained in:
Rob Rix 2019-07-02 10:41:44 -04:00
parent ddceb039d2
commit e07917555d
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -188,7 +188,7 @@ foldScope k go h = Scope . go (k . fmap (go h)) . unScope
-- | Bind occurrences of a variable in a term, producing a term in which the variable is bound.
bind :: (Applicative f, Eq a) => a -> f a -> Scope f a
bind name = Scope . fmap (match name)
bind name = Scope . fmap (match name) -- FIXME: succ as little of the expression as possible, cf https://twitter.com/ollfredo/status/1145776391826358273 — can this even be done generically?
-- | Substitute a term for the free variable in a given term, producing a closed term.
instantiate :: Monad f => f a -> Scope f a -> f a