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

get branch compiling

Browse Source
This commit is contained in:
Mitchell Rosen 2023-11-03 16:08:58 -04:00
parent 475b098728
commit 23b09cf539
2 changed files with 14 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
unison-cli/src/Unison/Codebase/Editor/HandleInput/Update2.hs
View File

@ -1,4 +1,4 @@
module Unison.Codebase.Editor.HandleInput.Update
module Unison.Codebase.Editor.HandleInput.Update2
( handleUpdate2,
)
where
@ -37,14 +37,15 @@ handleUpdate2 = do
-- - construct new UF with dependents
names :: Names <- NamesUtils.getBasicPrettyPrintNames
dependents :: Map Reference.Id ReferenceType <- Ops.dependentsWithinScope <$> namespaceReferences names <*> getExistingReferencesNamed termAndDeclNames names
bigUf <- buildBigUnisonFile tuf dependents names
-- dependents :: Map Reference.Id ReferenceType <- Ops.dependentsWithinScope <$> namespaceReferences names <*> getExistingReferencesNamed termAndDeclNames names
-- bigUf <- buildBigUnisonFile tuf dependents names
-- - construct PPE for printing UF* for typechecking (whatever data structure we decide to print)
ppe <- Codebase.hashLength <&> (`PPE.fromNamesDecl` (NamesWithHistory.fromCurrentNames names))
-- ppe <- Codebase.hashLength <&> (`PPE.fromNamesDecl` (NamesWithHistory.fromCurrentNames names))
-- - typecheck it
typecheckBigUf bigUf >>= \case
Left bigUfText -> prependTextToScratchFile bigUfText
Right tuf -> saveTuf tuf
-- typecheckBigUf bigUf >>= \case
-- Left bigUfText -> prependTextToScratchFile bigUfText
-- Right tuf -> saveTuf tuf
wundefined
-- travis
prependTextToScratchFile :: Text -> Cli a0

6
unison-cli/unison-cli.cabal
View File

@ -66,6 +66,7 @@ library
Unison.Codebase.Editor.HandleInput.TermResolution
Unison.Codebase.Editor.HandleInput.UI
Unison.Codebase.Editor.HandleInput.Update
Unison.Codebase.Editor.HandleInput.Update2
Unison.Codebase.Editor.Input
Unison.Codebase.Editor.Output
Unison.Codebase.Editor.Output.BranchDiff
@ -202,6 +203,7 @@ library
, recover-rtti
, regex-tdfa
, semialign
, semigroups
, servant
, servant-client
, stm
@ -338,6 +340,7 @@ executable cli-integration-tests
, recover-rtti
, regex-tdfa
, semialign
, semigroups
, servant
, servant-client
, shellmet
@ -468,6 +471,7 @@ executable transcripts
, recover-rtti
, regex-tdfa
, semialign
, semigroups
, servant
, servant-client
, shellmet
@ -605,6 +609,7 @@ executable unison
, recover-rtti
, regex-tdfa
, semialign
, semigroups
, servant
, servant-client
, shellmet
@ -747,6 +752,7 @@ test-suite cli-tests
, recover-rtti
, regex-tdfa
, semialign
, semigroups
, servant
, servant-client
, shellmet