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

one line fix for issue where TDNR decisions not being substituted into TLCs

Browse Source
This commit is contained in:
Paul Chiusano 2018-11-09 22:25:50 -05:00
parent 113740f20b
commit 1483b68d8c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
parser-typechecker/src/Unison/FileParsers.hs
View File

@ -132,7 +132,7 @@ synthesizeFile preexistingTypes preexistingNames unisonFile = do
(topLevelComponents :: [[(v, Term v, Type v)]]) <-
let
topLevelBindings :: Map Name (Term v)
topLevelBindings = Map.mapKeys Var.name $ extractTopLevelBindings term
topLevelBindings = Map.mapKeys Var.name $ extractTopLevelBindings tdnrTerm
extractTopLevelBindings (Term.LetRecNamed' bs _) = Map.fromList bs
extractTopLevelBindings _ = Map.empty
tlcsFromTypechecker =