github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity

Correct the kind of allocType.

Browse Source
This commit is contained in:
Rob Rix 2018-05-23 15:44:31 -04:00
parent aa1141ad58
commit b8eae43542
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Control/Abstract/Value.hs
View File

@ -65,7 +65,7 @@ lambda' body = do
lookup' :: (Effectful (m location), Functor (m location effects), Member (Reader (Map Name location)) effects) => Name -> m location effects (Maybe location)
lookup' name = Map.lookup name <$> ask
allocType :: Applicative (m Name effects) => Name -> m Name effects Name
allocType :: (Applicative (m Name effects), Effectful (m Name)) => Name -> m Name effects Name
allocType = pure
assignType :: (Effectful (m location), Member (State (Map location (Set Type))) effects, Monad (m location effects), Ord location, Show location) => location -> Type -> m location effects ()