1
1
mirror of https://github.com/github/semantic.git synced 2025-01-04 21:47:07 +03:00

Eta-reduce.

This commit is contained in:
Rob Rix 2018-05-23 14:17:35 -04:00
parent 9d8c91f32f
commit 477e34aca2

View File

@ -65,7 +65,7 @@ lambda' body = do
builtinId :: (Effectful m, Members '[Fresh, Function (m effects) value, Variable value] effects, Monad (m effects))
=> m effects value
builtinId = lambda' (\ name -> variable' name)
builtinId = lambda' variable'
builtinConst :: (Effectful m, Members '[Fresh, Function (m effects) value, Variable value] effects, Monad (m effects))
=> m effects value