stl: recompile

AluVM · Jun 16, 2023 · d9a77d6 · d9a77d6
1 parent 5f7c92a
commit d9a77d6
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 8 deletions.
diff --git a/src/stl.rs b/src/stl.rs
@@ -23,16 +23,16 @@
 
 //! Strict types library generator methods.
 
-use strict_types::typelib::{LibBuilder, TranslateError};
+use strict_types::typelib::{CompileError, LibBuilder};
 use strict_types::TypeLib;
 
 use crate::library::LibSite;
 use crate::LIB_NAME_ALUVM;
 
 /// Strict type id for the library providing data types from this crate.
-pub const LIB_ID_ALUVM: &str = "edition_cuba_sahara_9njuRyHw1Jt7XpohKc7LuNR92R9DWQGvuygn5XJgzpzP";
+pub const LIB_ID_ALUVM: &str = "degree_boston_heart_DVtm25LRKU4TjbyZmVxPhvCmctZ6vKkPKqfpU2QsDNUo";
 
-fn _aluvm_stl() -> Result<TypeLib, TranslateError> {
+fn _aluvm_stl() -> Result<TypeLib, CompileError> {
     LibBuilder::new(libname!(LIB_NAME_ALUVM), tiny_bset! {
         strict_types::stl::strict_types_stl().to_dependency()
     })

diff --git a/stl/[email protected] b/stl/[email protected]
@@ -1,10 +1,10 @@
 -----BEGIN STRICT TYPE LIB-----
-Id: collect_equator_sahara_9ar2N9jT1gHk5Ei9b5uoVoVbvWAXFpiWE2Dxg49iMR2R
+Id: degree_boston_heart_DVtm25LRKU4TjbyZmVxPhvCmctZ6vKkPKqfpU2QsDNUo
 Name: AluVM
 Dependencies: ~
 
-BUFsdVZNAAIABUxpYklkBQEABwAAQCAAB0xpYlNpdGUGAgNsaWIBBUxpYklkh8ae
-K6YeIqRbxn3uizSDY6egue1nXWvNeW9Qxu0PzH8DcG9zAAAC
+BUFsdVZNAAACAAVMaWJJZAUBAAcAAEAgAAdMaWJTaXRlBgIDbGliAacwVQIt+VzI
+8ImjRaI/lt5RKcATtw7xJ9ghkEGV+1MKA3BvcwAAAg==
 
 -----END STRICT TYPE LIB-----
 
diff --git a/stl/[email protected] b/stl/[email protected]
diff --git a/stl/[email protected] b/stl/[email protected]
@@ -1,5 +1,5 @@
 {-
-  Id: collect_equator_sahara_9ar2N9jT1gHk5Ei9b5uoVoVbvWAXFpiWE2Dxg49iMR2R
+  Id: degree_boston_heart_DVtm25LRKU4TjbyZmVxPhvCmctZ6vKkPKqfpU2QsDNUo
   Name: AluVM
   Version: 0.1.0
   Description: AluVM data type library
@@ -8,10 +8,12 @@
   License: Apache-2.0
 -}
 
-typelib AluVM -- collect_equator_sahara_9ar2N9jT1gHk5Ei9b5uoVoVbvWAXFpiWE2Dxg49iMR2R
+typelib AluVM
 
 -- no dependencies
 
+-- ExhibitBostonArthur0CFdqBJb1FVEwSwuQp47acj2bCFJgJn9J9NKVdoZuG625
 data LibId            :: [Byte ^ 32]
+-- YogaDeclareStock05qdW1A6UeLXGeVtAzs3mDCSYR8vSNoNFprCavrL9H4u7
 data LibSite          :: lib LibId, pos U16