github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00
Code Issues Projects Releases Wiki Activity

🔥 a redundant type annotation.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 12:07:52 -05:00
parent 56a7483165
commit ceaa2834a8
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/Data/Abstract/Evaluatable.hs
View File

@ -90,7 +90,7 @@ instance ( Evaluatable (Base t)
abstract names (Subterm body _) = inj . Closure names body <$> askLocalEnv abstract names (Subterm body _) = inj . Closure names body <$> askLocalEnv
apply op params = do apply op params = do
Closure names body env <- maybe (fail "expected a closure") pure (prj op :: Maybe (Closure location t)) Closure names body env <- maybe (fail "expected a closure") pure (prj op)
bindings <- foldr (\ (name, param) rest -> do bindings <- foldr (\ (name, param) rest -> do
v <- subtermValue param v <- subtermValue param
a <- alloc name a <- alloc name