syntaxAlchemist/lt-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

runtime: change typenames to use . for namespaces ; please fixup

Browse source
This commit is contained in:
Michael Sippel 2024-10-01 15:35:00 +02:00
parent 7441826f58
commit 70e5ef734c
Signed by: senvas
GPG key ID: F96CF119C34B64A6
1 changed files with 18 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
lib-ltcore/src/runtime.rs
View file

@ -14,8 +14,8 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"dup", "dup",
vec!["T"], vec!["T"],
vec!["T~machine::Word"], vec!["T~machine.Word"],
vec!["T~machine::Word", "T~machine::Word"], vec!["T~machine.Word", "T~machine.Word"],
); );
/* drop topmost element /* drop topmost element
@ -23,7 +23,7 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"drop", "drop",
vec!["T"], vec!["T"],
vec!["T~machine::Word"], vec!["T~machine.Word"],
vec![], vec![],
); );
/* Put a single Ascii character on stdout /* Put a single Ascii character on stdout
@ -31,14 +31,14 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"emit", "emit",
vec![], vec![],
vec!["Char~Ascii~machine::Word"], vec!["Char~Ascii~machine.Word"],
vec![], vec![],
); );
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"accept", "accept",
vec![], vec![],
vec![], vec![],
vec!["Char~Ascii~machine::Word"], vec!["Char~Ascii~machine.Word"],
); );
linker.add_procedure("dup", tisc::Assembler::new().inst(tisc::VM_Instruction::Dup).build()); linker.add_procedure("dup", tisc::Assembler::new().inst(tisc::VM_Instruction::Dup).build());
@ -58,7 +58,7 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
"ℤ_2^64~machine.UInt64~machine.Word", "ℤ_2^64~machine.UInt64~machine.Word",
"ℤ_2^64~machine.UInt64~machine.Word", "ℤ_2^64~machine.UInt64~machine.Word",
], ],
vec!["ℤ_2^64~machine::UInt64~machine::Word"], vec!["ℤ_2^64~machine.UInt64~machine.Word"],
); );
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"i-", "i-",
@ -67,7 +67,7 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
"ℤ_2^64~machine.UInt64~machine.Word", "ℤ_2^64~machine.UInt64~machine.Word",
"ℤ_2^64~machine.UInt64~machine.Word", "ℤ_2^64~machine.UInt64~machine.Word",
], ],
vec!["ℤ_2^64~machine::UInt64~machine::Word"], vec!["ℤ_2^64~machine::UInt64~machine.Word"],
); );
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"i*", "i*",
@ -85,7 +85,7 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
"ℤ_2^64~machine.UInt64~machine.Word", "ℤ_2^64~machine.UInt64~machine.Word",
"ℤ_2^64~machine.UInt64~machine.Word", "ℤ_2^64~machine.UInt64~machine.Word",
], ],
vec!["ℤ_2^64~machine::UInt64~machine::Word"], vec!["ℤ_2^64~machine.UInt64~machine.Word"],
); );
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"i%", "i%",
@ -163,27 +163,27 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"bit-neg", "bit-neg",
vec![], vec!["machine::Word", "machine::Word"], vec!["machine::Word"], vec![], vec!["machine.Word", "machine.Word"], vec!["machine.Word"],
); );
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"bit-and", "bit-and",
vec![], vec!["machine::Word", "machine::Word"], vec!["machine::Word"], vec![], vec!["machine.Word", "machine.Word"], vec!["machine.Word"],
); );
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"bit-or", "bit-or",
vec![], vec!["machine::Word", "machine::Word"], vec!["machine::Word"], vec![], vec!["machine.Word", "machine.Word"], vec!["machine.Word"],
); );
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"bit-xor", "bit-xor",
vec![], vec!["machine::Word", "machine::Word"], vec!["machine::Word"], vec![], vec!["machine.Word", "machine.Word"], vec!["machine.Word"],
); );
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"bit-shl", "bit-shl",
vec![], vec!["machine::Word", "machine::Word"], vec!["machine::Word"], vec![], vec!["machine.Word", "machine.Word"], vec!["machine.Word"],
); );
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"bit-shr", "bit-shr",
vec![], vec!["machine::Word", "machine::Word"], vec!["machine::Word"], vec![], vec!["machine.Word", "machine.Word"], vec!["machine.Word"],
); );
linker.add_procedure("bit-neg", tisc::Assembler::new().inst(tisc::VM_Instruction::BitNeg).build()); linker.add_procedure("bit-neg", tisc::Assembler::new().inst(tisc::VM_Instruction::BitNeg).build());
@ -221,7 +221,7 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
symbols.write().unwrap().declare_static_parse( symbols.write().unwrap().declare_static_parse(
"data-frame-ptr", "data-frame-ptr",
"<MutRef <Seq machine::Word>>~machine::Address~machine::Word", "<MutRef <Seq machine.Word>>~machine.Address~machine.Word",
); );
linker.add_static("data-frame-ptr", vec![0x1000]); linker.add_static("data-frame-ptr", vec![0x1000]);
@ -230,7 +230,7 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
vec!["T"], vec!["T"],
vec![ vec![
"T~machine::Word", "T~machine::Word",
"<RefMut T~machine::Word>~LocalVariableId~machine::UInt64~machine::Word", "<RefMut T~machine.Word>~LocalVariableId~machine.UInt64~machine.Word",
], ],
vec![], vec![],
); );
@ -248,8 +248,8 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
symbols.write().unwrap().declare_proc_parse( symbols.write().unwrap().declare_proc_parse(
"data-frame-get", "data-frame-get",
vec!["T"], vec!["T"],
vec!["<Ref T~machine::Word>~DataFrameRef~machine::UInt64~machine::Word"], vec!["<Ref T~machine.Word>~DataFrameRef~machine.UInt64~machine.Word"],
vec!["T~machine::Word"], vec!["T~machine.Word"],
); );
linker.add_procedure( linker.add_procedure(
"data-frame-get", "data-frame-get",