unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-13 09:55:35 +03:00
Code Issues Projects Releases Wiki Activity

abstract operation is now type preserving

Browse Source
This commit is contained in:
Paul Chiusano 2014-01-14 18:52:10 -05:00
parent 1e33941c90
commit dc432c46d9
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Unison/Edit/Term/Edit.hs
View File

@ -17,4 +17,7 @@ apply f loc e = undefined
abstract :: P.Path -> E.Term l t -> Maybe (E.Term l t)
abstract loc e =
let v = V.decr V.bound1 -- unused
in (E.Lam . E.abstract v) <$> P.set (E.Var v) loc e
in do
arg <- P.at loc e
f <- E.Lam . E.abstract v <$> P.set (E.Var v) loc e
pure $ E.App f arg