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

lookup AuthorInfo dynamically from IOSource.hs

Browse Source
This commit is contained in:
Arya Irani 2022-02-07 18:36:20 -07:00
parent 24fdb91cad
commit db485f6e90
2 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
parser-typechecker/src/Unison/Runtime/IOSource.hs
View File

@ -101,6 +101,11 @@ eitherRightId = constructorNamed eitherReference "Either.Right"
someId = constructorNamed optionReference "Optional.Some"
noneId = constructorNamed optionReference "Optional.None"
authorRef, guidRef, copyrightHolderRef :: R.Reference
authorRef = typeNamed "Author"
guidRef = typeNamed "GUID"
copyrightHolderRef = typeNamed "CopyrightHolder"
doc2Ref :: R.Reference
doc2Ref = typeNamed "Doc2"
doc2SpecialFormRef = typeNamed "Doc2.SpecialForm"

11
unison-cli/src/Unison/Codebase/Editor/AuthorInfo.hs
View File

@ -12,6 +12,7 @@ import qualified Unison.Hashing.V2.Convert as H
import Unison.Prelude (MonadIO, Word8)
import Unison.ConstructorReference (GConstructorReference(..))
import qualified Unison.Reference as Reference
import qualified Unison.Runtime.IOSource as IOSource
import Unison.Term (Term)
import qualified Unison.Term as Term
import Unison.Type (Type)
@ -62,10 +63,6 @@ createAuthorInfo a t = createAuthorInfo' . unpack <$> liftIO (getRandomBytes 32)
Foldable.toList $
H.hashTermComponents
(Map.fromList [(Var.named v, tm)])
(chType, chTypeRef) = (Type.ref a chTypeRef, unsafeParse copyrightHolderHash)
(authorType, authorTypeRef) = (Type.ref a authorTypeRef, unsafeParse authorHash)
(guidType, guidTypeRef) = (Type.ref a guidTypeRef, unsafeParse guidHash)
unsafeParse = either error id . Reference.fromText
guidHash = "#rc29vdqe019p56kupcgkg07fkib86r3oooatbmsgfbdsgpmjhsh00l307iuts3r973q5etb61vbjkes42b6adb3mkorusvmudiuorno"
copyrightHolderHash = "#aohndsu9bl844vspujp142j5aijv86rifmnrbnjvpv3h3f3aekn45rj5s1uf1ucrrtm5urbc5d1ajtm7lqq1tr8lkgv5fathp6arqug"
authorHash = "#5hi1vvs5t1gmu6vn1kpqmgksou8ie872j31gc294lgqks71di6gm3d4ugnrr4mq8ov0ap1e20lq099d5g6jjf9c6cbp361m9r9n5g50"
(chType, chTypeRef) = (Type.ref a chTypeRef, IOSource.copyrightHolderRef)
(authorType, authorTypeRef) = (Type.ref a authorTypeRef, IOSource.authorRef)
(guidType, guidTypeRef) = (Type.ref a guidTypeRef, IOSource.guidRef)