Merge pull request #218 from m-Peter/stdlib-add-read-random

onflow · Oct 3, 2023 · 70f75c6 · 70f75c6
2 parents 55644ee + 5b59b47
commit 70f75c6
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/languageserver/server/stdlib.go b/languageserver/server/stdlib.go
@@ -255,6 +255,12 @@ func (l standardLibrary) GenerateAccountID(_ common.Address) (uint64, error) {
 	panic(errors.NewUnreachableError())
 }
 
+func (l standardLibrary) ReadRandom(_ []byte) error {
+	// Implementation should never be called,
+	// only its definition is used for type-checking
+	panic(errors.NewUnreachableError())
+}
+
 func newStandardLibrary() (result standardLibrary) {
 	result.baseValueActivation = sema.NewVariableActivation(sema.BaseValueActivation)
 	for _, valueDeclaration := range stdlib.DefaultStandardLibraryValues(result) {