unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 06:07:21 +03:00
Code Issues Projects Releases Wiki Activity

filled in todo in FileParser

Browse Source
This commit is contained in:
Paul Chiusano 2019-02-08 16:09:23 -05:00
parent 9c5a2282ec
commit 8ece85caf6
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
parser-typechecker/src/Unison/FileParser.hs
View File

@ -39,9 +39,16 @@ file = do
-- push names onto the stack ahead of existing names
local (UF.names env `mappend`) $ do
names <- ask
_stanzas <- sepBy semi stanza
let terms = error "todo - create terms and watches from the stanzas"
watches = []
stanzas <- sepBy semi stanza
_ <- closeBlock
let (termsr, watchesr, _) = foldl' go ([], [], 0 :: Int) stanzas
go (terms, watches, n) s = case s of
WatchBinding _ ((_, v), at) -> (terms, (v,at) : watches, n)
WatchExpression _ at ->
(terms, (Var.nameds ("_" <> show n), at) : watches, n + 1)
Binding ((_, v), at) -> ((v,at) : terms, watches, n)
Bindings bs -> ([(v,at) | ((_,v), at) <- bs ] ++ terms, watches, n)
(terms, watches) = (reverse termsr, reverse watchesr)
uf = UnisonFile (UF.datas env) (UF.effects env) terms watches
pure (PPE.fromNames names, uf)