added builtin types to the CLI TypeLookup

This commit is contained in:
Arya Irani 2018-11-09 21:22:31 -05:00
parent 2dc4f993b3
commit 113740f20b
2 changed files with 2 additions and 1 deletions

View File

@ -180,7 +180,7 @@ main dir currentBranchName initialFile startRuntime codebase = do
handleUnisonFile :: Runtime v -> Names -> FilePath -> Text -> IO ()
handleUnisonFile runtime names filePath src = do
Result notes r <- Result.getResult $ parseAndSynthesizeFile
(Codebase.typeLookupForDependencies codebase)
(pure . const B.typeLookup <> Codebase.typeLookupForDependencies codebase)
names
filePath
src

View File

@ -67,6 +67,7 @@ convertResult (Context.Result es is ma) = Result (Notes es is) ma
data NamedReference v loc =
NamedReference { fqn :: Name, fqnType :: AnnotatedType v loc
, replacement :: Either v Names.Referent }
deriving Show
data Env v loc = Env
{ _builtinLoc :: loc